| 2007 |
|---|
| 21 | EE | 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) |
| 2005 |
|---|
| 20 | EE | Marta Cialdea Mayer,
Carla Limongelli,
Andrea Orlandini,
Valentina Poggioni:
Planning with graded fluents and actions.
IJCAI 2005: 1711-1712 |
| 19 | EE | Marta Cialdea Mayer,
Carla Limongelli,
Andrea Orlandini,
Valentina Poggioni:
Pdk: The System and Its Language.
TABLEAUX 2005: 307-311 |
| 18 | | 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) |
| 2003 |
|---|
| 17 | | Marta Cialdea Mayer,
Fiora Pirri:
Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings
Springer 2003 |
| 16 | EE | Marta Cialdea Mayer,
Carla Limongelli,
Andrea Orlandini,
Valentina Poggioni:
Planning under Uncertainty in Linear Time Logic.
AI*IA 2003: 324-335 |
| 2002 |
|---|
| 15 | EE | Virginie Thion,
Serenella Cerrito,
Marta Cialdea Mayer:
A General Theorem Prover for Quantified Modal Logics.
TABLEAUX 2002: 266-280 |
| 14 | EE | Marta Cialdea Mayer,
Carla Limongelli:
Linear Time Logic, Conditioned Models, and Planning with Incomplete Knowledge.
TABLEAUX 2002: 70-84 |
| 2001 |
|---|
| 13 | EE | Serenella Cerrito,
Marta Cialdea Mayer:
Free-Variable Tableaux for Constant-Domain Quantified Modal Logics with Rigid and Non-rigid Designation.
IJCAR 2001: 137-151 |
| 12 | | Marta Cialdea Mayer,
Serenella Cerrito:
Ground and Free-Variable Tableaux for Variants of Quantified Modal Logics.
Studia Logica 69(1): 97-131 (2001) |
| 2000 |
|---|
| 11 | | Marta Cialdea Mayer,
Andrea Orlandini,
Giulio Balestreri,
Carla Limongelli:
A Planning Fully Based on Linear Time Logic.
AIPS 2000: 347-354 |
| 10 | | Marta Cialdea Mayer,
Serenella Cerrito:
Variants of First-Order Modal Logics.
TABLEAUX 2000: 175-189 |
| 1999 |
|---|
| 9 | | Serenella Cerrito,
Marta Cialdea Mayer,
Sébastien Praud:
First Order Linear Temporal Logic over Finite Time Structures.
LPAR 1999: 62-76 |
| 1998 |
|---|
| 8 | EE | Serenella Cerrito,
Marta Cialdea Mayer:
Using Linear Temporal Logic to Model and Solve Planning Problems.
AIMSA 1998: 141-152 |
| 7 | EE | Serenella Cerrito,
Marta Cialdea Mayer:
Bounded Model Search in Linear Temporal Logic and Its Application to Planning.
TABLEAUX 1998: 124-140 |
| 1997 |
|---|
| 6 | | Serenella Cerrito,
Marta Cialdea Mayer:
Hintikka Multiplicities in Matrix Decision Methods for Some Propositional Modal Logics.
TABLEAUX 1997: 138-152 |
| 5 | EE | 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): (1997) |
| 1996 |
|---|
| 4 | | Marta Cialdea Mayer,
Fiora Pirri:
A Study on the Logic of Abduction.
ECAI 1996: 18-22 |
| 3 | EE | Marta Cialdea Mayer,
Fiora Pirri:
Abduction is not Deduction-in-Reverse.
Logic Journal of the IGPL 4(1): 95-108 (1996) |
| 1995 |
|---|
| 2 | EE | Marta Cialdea Mayer,
Fiora Pirri:
Propositional Abduction in Modal Logic.
Logic Journal of the IGPL 3(6): 907-919 (1995) |
| 1993 |
|---|
| 1 | EE | Marta Cialdea Mayer,
Fiora Pirri:
First order abduction via tableau and sequent calculi.
Logic Journal of the IGPL 1(1): 99-117 (1993) |
