LESPERANCE, YVES
LESPERANCE, YVES
DIPARTIMENTO DI INGEGNERIA INFORMATICA, AUTOMATICA E GESTIONALE -ANTONIO RUBERTI-
A planning approach to the automated synthesis of template-based process models
2017 Marrella, Andrea; Lesperance, Yves
Abstraction in situation calculus action theories
2017 Banihashemi, Bita; De Giacomo, Giuseppe; Lespérance, Yves
Abstraction of Agents Executing Online and their Abilities in the Situation Calculus
2018 Banihashemi, Bita; DE GIACOMO, Giuseppe; Lesperance, Yves
Autonomy in Business Process Execution: Why We Need First-Class Abstractions for Goals and Normative Frames
2025 Calvanese, D.; De Giacomo, G.; Kampik, T.; Lesperance, Y.; Marrella, A.; Matta, A.
Formal semantics for knowledge representation and automated reasoning in BPMN process models
2026 Casciani, A.; Agostinelli, S.; Lesperance, Y.; Marrella, A.; Sardina, S.
Hierarchical agent supervision
2018 Banihashemi, Bita; De Giacomo, Giuseppe; Lesperance, Yves
Situation calculus game structures and GDL
2016 De Giacomo, G.; Lesperance, Y.; Pearce, A. R.
Synthesizing a Library of Process Templates through Partial-Order Planning Algorithms
2013 Marrella, Andrea; Lesperance, Yves
Towards a Goal-oriented Framework for the Automatic Synthesis of Underspecified Activities in Dynamic Processes
2013 Marrella, Andrea; Lesperance, Yves