Marta Cialdea Mayer

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