Marta Cialdea Mayer

Serenella Cerrito, Marta Cialdea Mayer: A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders. TABLEAUX 2011: 104-118

Serenella Cerrito, Marta Cialdea Mayer: An efficient approach to nominal equalities in hybrid logic tableaux. Journal of Applied Non-Classical Logics 20(1-2): 39-61 (2010)

Serenella Cerrito, Marta Cialdea Mayer: Nominal Substitution at Work with the Global and Converse Modalities. Advances in Modal Logic 2010: 59-76

Marta Cialdea Mayer, Serenella Cerrito: Herod and Pilate: Two Tableau Provers for Basic Hybrid Logic. IJCAR 2010: 255-262

Marta Cialdea Mayer: Abduction and Consequence Generation in a Support System for the Design of Logical Multiple-Choice Questions. TABLEAUX 2009: 167-172

Marta Cialdea Mayer, Carla Limongelli, Andrea Orlandini, Valentina Poggioni: Linear temporal logic as an executable semantics for planning languages. Journal of Logic, Language and Information 16(1): 63-89 (2007)

Marta Cialdea Mayer, Carla Limongelli, Andrea Orlandini, Valentina Poggioni: A Proposal for Planning with Graded Fluents and Actions. Intelligenza Artificiale 2(4): 66-73 (2005)

Marta Cialdea Mayer, Carla Limongelli, Andrea Orlandini, Valentina Poggioni: Planning with graded fluents and actions. IJCAI 2005: 1711-1712

Marta Cialdea Mayer, Carla Limongelli, Andrea Orlandini, Valentina Poggioni: Pdk: The System and Its Language. TABLEAUX 2005: 307-311

Marta Cialdea Mayer, Carla Limongelli, Andrea Orlandini, Valentina Poggioni: Planning under Uncertainty in Linear Time Logic. AI*IA 2003: 324-335

Marta Cialdea Mayer, Fiora Pirri (Eds.): Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings. Lecture Notes in Computer Science 2796, Springer 2003, isbn 3-540-40787-1

Marta Cialdea Mayer, Carla Limongelli: Linear Time Logic, Conditioned Models, and Planning with Incomplete Knowledge. TABLEAUX 2002: 70-84

Virginie Thion, Serenella Cerrito, Marta Cialdea Mayer: A General Theorem Prover for Quantified Modal Logics. TABLEAUX 2002: 266-280

Marta Cialdea Mayer, Serenella Cerrito: Ground and Free-Variable Tableaux for Variants of Quantified Modal Logics. Studia Logica 69(1): 97-131 (2001)

Serenella Cerrito, Marta Cialdea Mayer: Free-Variable Tableaux for Constant-Domain Quantified Modal Logics with Rigid and Non-rigid Designation. IJCAR 2001: 137-151

Marta Cialdea Mayer, Andrea Orlandini, Giulio Balestreri, Carla Limongelli: A Planning Fully Based on Linear Time Logic. AIPS 2000: 347-354

Marta Cialdea Mayer, Serenella Cerrito: Variants of First-Order Modal Logics. TABLEAUX 2000: 175-189

Serenella Cerrito, Marta Cialdea Mayer, Sébastien Praud: First Order Linear Temporal Logic over Finite Time Structures. LPAR 1999: 62-76

Serenella Cerrito, Marta Cialdea Mayer: Using Linear Temporal Logic to Model and Solve Planning Problems. AIMSA 1998: 141-152

Serenella Cerrito, Marta Cialdea Mayer: Bounded Model Search in Linear Temporal Logic and Its Application to Planning. TABLEAUX 1998: 124-140

Serenella Cerrito, Marta Cialdea Mayer: A Polynomial Translation of S4 into T and Contraction-Free Tableaux for S4. Logic Journal of the IGPL 5(2): 287-300 (1997)

Serenella Cerrito, Marta Cialdea Mayer: Hintikka Multiplicities in Matrix Decision Methods for Some Propositional Modal Logics. TABLEAUX 1997: 138-152

Marta Cialdea Mayer, Fiora Pirri: Abduction is not Deduction-in-Reverse. Logic Journal of the IGPL 4(1): 95-108 (1996)

Marta Cialdea Mayer, Fiora Pirri: A Study on the Logic of Abduction. ECAI 1996: 18-22

Marta Cialdea Mayer, Fiora Pirri: Propositional Abduction in Modal Logic. Logic Journal of the IGPL 3(6): 907-919 (1995)

Marta Cialdea Mayer, Fiora Pirri: First order abduction via tableau and sequent calculi. Logic Journal of the IGPL 1(1): 99-117 (1993)