Follow
marta cialdea
marta cialdea
Dipartimento di Informatica e Automazione, Universita` di Roma Tre
Verified email at dia.uniroma3.it - Homepage
Title
Cited by
Cited by
Year
First order abduction via tableau and sequent calculi
M Cialdea Mayer, F Pirri
Logic Journal of IGPL 1 (1), 99-117, 1993
1441993
Planning and execution with flexible timelines: a formal account
M Cialdea Mayer, A Orlandini, A Umbrico
Acta Informatica 53 (6), 649-680, 2016
842016
Propositional abduction in modal logic
M Cialdea Mayer, F Pirri
Logic Journal of IGPL 3 (6), 907-919, 1995
62*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
542007
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
431999
Abduction is not deduction-in-reverse
M Cialdea Mayer, F Pirri
Logic Journal of IGPL 4 (1), 95, 1996
411996
PLATINUm: A New Framework for Planning and Acting
A Umbrico, A Cesta, M Cialdea Mayer, A Orlandini
Conference of the Italian Association for Artificial Intelligence, 498-512, 2017
402017
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
331998
Using linear temporal logic to model and solve planning problems
S Cerrito, M Cialdea Mayer
Artificial Intelligence: Methodology, Systems, and Applications, 141-152, 1998
291998
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
282018
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
282015
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
272016
Complexity of timeline-based planning
N Gigante, A Montanari, MC Mayer, A Orlandini
Proceedings of the International Conference on Automated Planning and …, 2017
232017
Reasoning about student knowledge and reasoning
LC Aiello, M Cialdea, D Nardi
Journal of Artificial Intelligence in Education 4, 397-397, 1993
221993
Enriching a temporal planner with resources and a hierarchy-based heuristic
A Umbrico, A Orlandini, MC Mayer
Congress of the Italian Association for Artificial Intelligence, 410-423, 2015
212015
A formal account of planning with flexible timelines
MC Mayer, A Orlandini, A Umbrico
2014 21st International Symposium on Temporal Representation and Reasoning …, 2014
212014
Nominal substitution at work with the global and converse modalities
S Cerrito, M Cialdea Mayer
Advances in Modal Logic 8, 57-74, 2010
212010
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
21*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
201997
Resolution for some first-order modal systems
M Cialdea
Theoretical Computer Science 85 (2), 213-229, 1991
171991
The system can't perform the operation now. Try again later.
Articles 1–20