| First order abduction via tableau and sequent calculi M Cialdea Mayer, F Pirri Logic Journal of IGPL 1 (1), 99-117, 1993 | 143 | 1993 |
| Planning and execution with flexible timelines: a formal account M Cialdea Mayer, A Orlandini, A Umbrico Acta Informatica 53 (6), 649-680, 2016 | 104 | 2016 |
| Propositional abduction in modal logic M Cialdea Mayer, F Pirri Logic Journal of IGPL 3 (6), 907-919, 1995 | 64* | 1995 |
| Linear temporal logic as an executable semantics for planning languages M Cialdea Mayer, C Limongelli, A Orlandini, V Poggioni Journal of Logic, Language and Information 16 (1), 63-89, 2007 | 62 | 2007 |
| PLATINUm: A New Framework for Planning and Acting A Umbrico, A Cesta, M Cialdea Mayer, A Orlandini AI* IA 2017 Advances in Artificial Intelligence: XVIth International …, 2017 | 61 | 2017 |
| First order linear temporal logic over finite time structures S Cerrito, M Cialdea Mayer, S Praud Logic for Programming and Automated Reasoning, 62-76, 1999 | 47 | 1999 |
| Abduction is not deduction-in-reverse M Cialdea Mayer, F Pirri Logic Journal of IGPL 4 (1), 95, 1996 | 45 | 1996 |
| Integrating resource management and timeline-based planning A Umbrico, A Cesta, MC Mayer, A Orlandini Proceedings of the International Conference on Automated Planning and …, 2018 | 35 | 2018 |
| Bounded model search in linear temporal logic and its application to planning S Cerrito, M Cialdea Mayer Automated Reasoning with Analytic Tableaux and Related Methods, 124-140, 1998 | 35 | 1998 |
| Using linear temporal logic to model and solve planning problems S Cerrito, M Cialdea Mayer Artificial Intelligence: Methodology, Systems, and Applications, 141-152, 1998 | 35 | 1998 |
| Timelines are expressive enough to capture action-based temporal planning N Gigante, A Montanari, MC Mayer, A Orlandini 2016 23rd International Symposium on Temporal Representation and Reasoning …, 2016 | 31 | 2016 |
| Complexity of timeline-based planning N Gigante, A Montanari, MC Mayer, A Orlandini Proceedings of the International Conference on Automated Planning and …, 2017 | 28 | 2017 |
| An executable semantics of flexible plans in terms of timed game automata MC Mayer, A Orlandini 2015 22nd International Symposium on Temporal Representation and Reasoning …, 2015 | 28 | 2015 |
| Enriching a temporal planner with resources and a hierarchy-based heuristic A Umbrico, A Orlandini, MC Mayer AI* IA 2015 Advances in Artificial Intelligence: XIVth International …, 2015 | 24 | 2015 |
| A planner fully based on linear time logic M Cialdea Mayer, A Orlandini, G Balestreri, C Limongelli Proc. of the 5th Int. Conf. on Artificial Intelligence Planning and …, 2000 | 23* | 2000 |
| A polynomial translation of S4 into T and contraction–free tableaux for S4 S Cerrito, M Cialdea Mayer Logic Journal of IGPL 5 (2), 287, 1997 | 23 | 1997 |
| Reasoning about student knowledge and reasoning LC Aiello, M Cialdea, D Nardi Journal of Artificial Intelligence in Education 4, 397-397, 1993 | 23 | 1993 |
| A formal account of planning with flexible timelines MC Mayer, A Orlandini, A Umbrico 2014 21st International Symposium on Temporal Representation and Reasoning …, 2014 | 21 | 2014 |
| Une methode de deduction automatique en logique modale M Cialdea Phd Thesis, Universite ́ Paul Sabatier, Toulouse, 1986 | 21 | 1986 |
| Nominal substitution at work with the global and converse modalities S Cerrito, M Cialdea Mayer Advances in Modal Logic 8, 57-74, 2010 | 20 | 2010 |
AndreA OrlandiniInstitute of Cognitive Science and Technology - National Research Council of ItalyVerified email at istc.cnr.it
