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
1431993
Planning and execution with flexible timelines: a formal account
M Cialdea Mayer, A Orlandini, A Umbrico
Acta Informatica 53 (6), 649-680, 2016
1042016
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
622007
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
612017
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
471999
Abduction is not deduction-in-reverse
M Cialdea Mayer, F Pirri
Logic Journal of IGPL 4 (1), 95, 1996
451996
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
352018
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
351998
Using linear temporal logic to model and solve planning problems
S Cerrito, M Cialdea Mayer
Artificial Intelligence: Methodology, Systems, and Applications, 141-152, 1998
351998
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
312016
Complexity of timeline-based planning
N Gigante, A Montanari, MC Mayer, A Orlandini
Proceedings of the International Conference on Automated Planning and …, 2017
282017
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
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
242015
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
231997
Reasoning about student knowledge and reasoning
LC Aiello, M Cialdea, D Nardi
Journal of Artificial Intelligence in Education 4, 397-397, 1993
231993
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
Une methode de deduction automatique en logique modale
M Cialdea
Phd Thesis, Universite ́ Paul Sabatier, Toulouse, 1986
211986
Nominal substitution at work with the global and converse modalities
S Cerrito, M Cialdea Mayer
Advances in Modal Logic 8, 57-74, 2010
202010
The system can't perform the operation now. Try again later.
Articles 1–20