Marta Cialdea Mayer

Publication Activity (10 Years)

Years Active: 1993-2023
Publications (10 Years): 21

Top Topics

Temporal Planning

Symbolic Knowledge

Proof Procedure

Abductive Reasoning

Top Venues

J. Autom. Reason.

Publications

Marta Cialdea Mayer, Luis Fariñas del Cerro
Logical connectives for two-state semantics. J. Appl. Non Class. Logics 33 (3-4) (2023)
Gabriele Sartor, Davide Zollo, Marta Cialdea Mayer, Angelo Oddi, Riccardo Rasconi, Vieri Giuliano Santucci
Option Discovery for Autonomous Generation of Symbolic Knowledge. CoRR (2022)
Jean-Marc Alliot, Marta Cialdea Mayer, Robert Demolombe, Martín Diéguez, Luis Fariñas del Cerro
A Framework for Modelling Molecular Interaction Maps. FLAP 8 (7) (2021)
Gabriele Sartor, Davide Zollo, Marta Cialdea Mayer, Angelo Oddi, Riccardo Rasconi, Vieri Giuliano Santucci
Autonomous Generation of Symbolic Knowledge via Option Discovery. IPS-RCRA@AI*IA (2021)
Gabriele Sartor, Davide Zollo, Marta Cialdea Mayer, Angelo Oddi, Riccardo Rasconi, Vieri Giuliano Santucci
Option Discovery for Autonomous Generation of Symbolic Knowledge. AI*IA (2021)
Elio Strollo, Giuseppe Sansonetti, Marta Cialdea Mayer, Carla Limongelli, Alessandro Micarelli
An AI-Based Approach to Automatic Waste Sorting. HCI (38) (2020)
Giulio Bernardi, Amedeo Cesta, Andrea Orlandini, Alessandro Umbrico, Marta Cialdea Mayer
A Language for Timeline-based Planning. OVERLAY (2020)
Nicola Gigante, Angelo Montanari, Andrea Orlandini, Marta Cialdea Mayer, Mark Reynolds
On timeline-based games and their complexity. Theor. Comput. Sci. 815 (2020)
Jean-Marc Alliot, Marta Cialdea Mayer, Robert Demolombe, Martín Diéguez, Luis Fariñas del Cerro
A framework for modelling Molecular Interaction Maps. CoRR (2020)
Marta Cialdea Mayer
A Prover Dealing with Nominals, Binders, Transitivity and Relation Hierarchies. J. Autom. Reason. 64 (1) (2020)
Alessandro Umbrico, Amedeo Cesta, Marta Cialdea Mayer, Andrea Orlandini
Evaluating Robustness of an Acting Framework over Temporally Uncertain Domains. AI*IA (2019)
Annarita Lanzilli, Marta Cialdea Mayer, Amedeo Cesta, Andrea Orlandini, Alessandro Umbrico
A Prototype for the Robust Execution of Flexible Plans. OVERLAY@AI*IA (2019)
Nicola Gigante, Angelo Montanari, Marta Cialdea Mayer, Andrea Orlandini, Mark Reynolds
A game-theoretic approach to timeline-based planning with uncertainty. CoRR (2018)
Nicola Gigante, Angelo Montanari, Marta Cialdea Mayer, Andrea Orlandini, Mark Reynolds
A Game-Theoretic Approach to Timeline-Based Planning with Uncertainty. TIME (2018)
Alessandro Umbrico, Amedeo Cesta, Marta Cialdea Mayer, Andrea Orlandini
Integrating Resource Management and Timeline-Based Planning. ICAPS (2018)
Serenella Cerrito, Marta Cialdea Mayer, Robert Demolombe
Temporal abductive reasoning about biochemical reactions. J. Appl. Non Class. Logics 27 (3-4) (2017)
Nicola Gigante, Angelo Montanari, Marta Cialdea Mayer, Andrea Orlandini
Complexity of Timeline-Based Planning. ICAPS (2017)
Alessandro Umbrico, Amedeo Cesta, Marta Cialdea Mayer, Andrea Orlandini
PLATINUm: A New Framework for Planning and Acting. AI*IA (2017)
Marta Cialdea Mayer, Andrea Orlandini, Alessandro Umbrico
Planning and execution with flexible timelines: a formal account. Acta Informatica 53 (6-8) (2016)
Nicola Gigante, Angelo Montanari, Marta Cialdea Mayer, Andrea Orlandini
Timelines Are Expressive Enough to Capture Action-Based Temporal Planning. TIME (2016)
Alessandro Umbrico, Amedeo Cesta, Marta Cialdea Mayer, Andrea Orlandini
Steps in Assessing a Timeline-Based Planner. AI*IA (2016)
Alessandro Umbrico, Andrea Orlandini, Marta Cialdea Mayer
Quality Metrics to Evaluate Flexible Timeline-Based Plans. IPS@AI*IA (2015)
Marta Cialdea Mayer
Erratum to: Extension of a Decision Procedure for a Fragment of Hybrid Logic with Binders. J. Autom. Reason. 55 (2) (2015)
Alessandro Umbrico, Andrea Orlandini, Marta Cialdea Mayer
Enriching a Temporal Planner with Resources and a Hierarchy-Based Heuristic. AI*IA (2015)
Marta Cialdea Mayer, Andrea Orlandini
An Executable Semantics of Flexible Plans in Terms of Timed Game Automata. TIME (2015)
Marta Cialdea Mayer, Andrea Orlandini, Alessandro Umbrico
A Formal Account of Planning with Flexible Timelines. TIME (2014)
Marta Cialdea Mayer
Extended Decision Procedure for a Fragment of HL with Binders. J. Autom. Reason. 53 (3) (2014)
Marta Cialdea Mayer
A Proof Procedure for Hybrid Logic with Binders, Transitivity and Relation Hierarchies (extended version). CoRR (2013)
Serenella Cerrito, Marta Cialdea Mayer
A Tableau Based Decision Procedure for an Expressive Fragment of Hybrid Logic with Binders, Converse and Global Modalities. J. Autom. Reason. 51 (2) (2013)
Marta Cialdea Mayer
A Proof Procedure for Hybrid Logic with Binders, Transitivity and Relation Hierarchies. CADE (2013)
Serenella Cerrito, Marta Cialdea Mayer
A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders. TABLEAUX (2011)
Serenella Cerrito, Marta Cialdea Mayer
An efficient approach to nominal equalities in hybrid logic tableaux. J. Appl. Non Class. Logics 20 (1-2) (2010)
Marta Cialdea Mayer, Serenella Cerrito
Herod and Pilate: Two Tableau Provers for Basic Hybrid Logic. IJCAR (2010)
Serenella Cerrito, Marta Cialdea Mayer
Nominal Substitution at Work with the Global and Converse Modalities. Advances in Modal Logic (2010)
Marta Cialdea Mayer
Abduction and Consequence Generation in a Support System for the Design of Logical Multiple-Choice Questions. TABLEAUX (2009)
Marta Cialdea Mayer, Carla Limongelli, Andrea Orlandini, Valentina Poggioni
Linear temporal logic as an executable semantics for planning languages. J. Log. Lang. Inf. 16 (1) (2007)
Marta Cialdea Mayer, Carla Limongelli, Andrea Orlandini, Valentina Poggioni
A Proposal for Planning with Graded Fluents and Actions. Intelligenza Artificiale 2 (4) (2005)
Marta Cialdea Mayer, Carla Limongelli, Andrea Orlandini, Valentina Poggioni
Pdk: The System and Its Language. TABLEAUX (2005)
Marta Cialdea Mayer, Carla Limongelli, Andrea Orlandini, Valentina Poggioni
Planning with graded fluents and actions. IJCAI (2005)
Marta Cialdea Mayer, Carla Limongelli, Andrea Orlandini, Valentina Poggioni
Planning under Uncertainty in Linear Time Logic. AI*IA (2003)
Marta Cialdea Mayer, Carla Limongelli
Linear Time Logic, Conditioned Models, and Planning with Incomplete Knowledge. TABLEAUX (2002)
Virginie Thion, Serenella Cerrito, Marta Cialdea Mayer
A General Theorem Prover for Quantified Modal Logics. TABLEAUX (2002)
Marta Cialdea Mayer, Serenella Cerrito
Ground and Free-Variable Tableaux for Variants of Quantified Modal Logics. Stud Logica 69 (1) (2001)
Serenella Cerrito, Marta Cialdea Mayer
Free-Variable Tableaux for Constant-Domain Quantified Modal Logics with Rigid and Non-rigid Designation. IJCAR (2001)
Marta Cialdea Mayer, Andrea Orlandini, Giulio Balestreri, Carla Limongelli
A Planning Fully Based on Linear Time Logic. AIPS (2000)
Marta Cialdea Mayer, Serenella Cerrito
Variants of First-Order Modal Logics. TABLEAUX (2000)
Serenella Cerrito, Marta Cialdea Mayer, Sébastien Praud
First Order Linear Temporal Logic over Finite Time Structures. LPAR (1999)
Serenella Cerrito, Marta Cialdea Mayer
Using Linear Temporal Logic to Model and Solve Planning Problems. AIMSA (1998)
Serenella Cerrito, Marta Cialdea Mayer
Bounded Model Search in Linear Temporal Logic and Its Application to Planning. TABLEAUX (1998)
Serenella Cerrito, Marta Cialdea Mayer
A Polynomial Translation of S4 into T and Contraction-Free Tableaux for S4. Log. J. IGPL 5 (2) (1997)
Serenella Cerrito, Marta Cialdea Mayer
Hintikka Multiplicities in Matrix Decision Methods for Some Propositional Modal Logics. TABLEAUX (1997)
Marta Cialdea Mayer, Fiora Pirri
A Study on the Logic of Abduction. ECAI (1996)
Marta Cialdea Mayer, Fiora Pirri
Abduction is not Deduction-in-Reverse. Log. J. IGPL 4 (1) (1996)
Marta Cialdea Mayer, Fiora Pirri
Propositional Abduction in Modal Logic. Log. J. IGPL 3 (6) (1995)
Marta Cialdea Mayer, Fiora Pirri
First order abduction via tableau and sequent calculi. Log. J. IGPL 1 (1) (1993)