Marta Cialdea Mayer

J. Autom. Reason., 2020

A Language for Timeline-based Planning.

[BibT_eX]

[DOI]

Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, 2020

An AI-Based Approach to Automatic Waste Sorting.

[BibT_eX]

[DOI]

Proceedings of the HCI International 2020 - Posters - 22nd International Conference, 2020

Design of Timeline-Based Planning Systems for Safe Human-Robot Collaboration.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Engineering Tools and Techniques for AI Planning, 2020

2019

Evaluating Robustness of an Acting Framework over Temporally Uncertain Domains.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2019 - Advances in Artificial Intelligence, 2019

A Prototype for the Robust Execution of Flexible Plans.

[BibT_eX]

[DOI]

Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, 2019

2018

A Game-Theoretic Approach to Timeline-Based Planning with Uncertainty.

[BibT_eX]

[DOI]

Proceedings of the 25th International Symposium on Temporal Representation and Reasoning, 2018

Integrating Resource Management and Timeline-Based Planning.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018

2017

Temporal abductive reasoning about biochemical reactions.

[BibT_eX]

[DOI]

Robert Demolombe

J. Appl. Non Class. Logics, 2017

Complexity of Timeline-Based Planning.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, 2017

PLATINUm: A New Framework for Planning and Acting.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2017 Advances in Artificial Intelligence, 2017

2016

Planning and execution with flexible timelines: a formal account.

[BibT_eX]

[DOI]

Acta Informatica, 2016

Timelines Are Expressive Enough to Capture Action-Based Temporal Planning.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Symposium on Temporal Representation and Reasoning, 2016

Steps in Assessing a Timeline-Based Planner.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2016: Advances in Artificial Intelligence - XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29, 2016

2015

Erratum to: Extension of a Decision Procedure for a Fragment of Hybrid Logic with Binders.

[BibT_eX]

[DOI]

J. Autom. Reason., 2015

An Executable Semantics of Flexible Plans in Terms of Timed Game Automata.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Symposium on Temporal Representation and Reasoning, 2015

Quality Metrics to Evaluate Flexible Timeline-Based Plans.

[BibT_eX]

[DOI]

Proceedings of the 6th Italian Workshop on Planning and Scheduling A workshop of the XIV International Conference of the Italian Association for Artificial Intelligence (AI*IA 2015), 2015

Enriching a Temporal Planner with Resources and a Hierarchy-Based Heuristic.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2015, Advances in Artificial Intelligence, 2015

2014

Extended Decision Procedure for a Fragment of HL with Binders.

[BibT_eX]

[DOI]

J. Autom. Reason., 2014

A Formal Account of Planning with Flexible Timelines.

[BibT_eX]

[DOI]

Proceedings of the 21st International Symposium on Temporal Representation and Reasoning, 2014

2013

A Tableau Based Decision Procedure for an Expressive Fragment of Hybrid Logic with Binders, Converse and Global Modalities.

[BibT_eX]

[DOI]

J. Autom. Reason., 2013

A Proof Procedure for Hybrid Logic with Binders, Transitivity and Relation Hierarchies (extended version).

[BibT_eX]

[DOI]

CoRR, 2013

A Proof Procedure for Hybrid Logic with Binders, Transitivity and Relation Hierarchies.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction - CADE-24, 2013

2011

A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2011

2010

An efficient approach to nominal equalities in hybrid logic tableaux.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2010

Herod and Pilate: Two Tableau Provers for Basic Hybrid Logic.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010

Nominal Substitution at Work with the Global and Converse Modalities.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic 8, 2010

2009

Abduction and Consequence Generation in a Support System for the Design of Logical Multiple-Choice Questions.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2009

2007

Linear temporal logic as an executable semantics for planning languages.

[BibT_eX]

[DOI]

J. Log. Lang. Inf., 2007

2005

A Proposal for Planning with Graded Fluents and Actions.

[BibT_eX]

Intelligenza Artificiale, 2005

Pdk: The System and Its Language.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2005

Planning with graded fluents and actions.

[BibT_eX]

[DOI]

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

2003

Planning under Uncertainty in Linear Time Logic.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2003: Advances in Artificial Intelligence, 2003

2002

A General Theorem Prover for Quantified Modal Logics.

[BibT_eX]

[DOI]

Virginie Thion

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2002

Linear Time Logic, Conditioned Models, and Planning with Incomplete Knowledge.

[BibT_eX]

[DOI]

Carla Limongelli

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2002

2001

Ground and Free-Variable Tableaux for Variants of Quantified Modal Logics.

[BibT_eX]

[DOI]

Stud Logica, 2001

Free-Variable Tableaux for Constant-Domain Quantified Modal Logics with Rigid and Non-rigid Designation.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning, First International Joint Conference, 2001

2000

Variants of First-Order Modal Logics.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2000

A Planning Fully Based on Linear Time Logic.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Artificial Intelligence Planning Systems, 2000

1999

First Order Linear Temporal Logic over Finite Time Structures.

[BibT_eX]

[DOI]

Sébastien Praud

Proceedings of the Logic Programming and Automated Reasoning, 6th International Conference, 1999

1998

Bounded Model Search in Linear Temporal Logic and Its Application to Planning.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1998

Using Linear Temporal Logic to Model and Solve Planning Problems.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence: Methodology, 1998

1997

A Polynomial Translation of S4 into T and Contraction-Free Tableaux for S4.

[BibT_eX]

[DOI]

Log. J. IGPL, 1997

Hintikka Multiplicities in Matrix Decision Methods for Some Propositional Modal Logics.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1997

1996

Abduction is not Deduction-in-Reverse.

[BibT_eX]

[DOI]

Log. J. IGPL, 1996

A Study on the Logic of Abduction.

[BibT_eX]

Proceedings of the 12th European Conference on Artificial Intelligence, 1996

1995

Propositional Abduction in Modal Logic.

[BibT_eX]

[DOI]

Log. J. IGPL, 1995

1993

Herbrand style proof procedures for modal logic.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 1993

First order abduction via tableau and sequent calculi.

[BibT_eX]

[DOI]

Log. J. IGPL, 1993

1991

Resolution for Some First-Order Modal Systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1991

1986

A Modal Herbrand's Property.

[BibT_eX]

[DOI]

Luis Fariñas del Cerro

Math. Log. Q., 1986

Some Remarks on the Possibility of Extending Resolution Proof Procedures to Intuitionistic Logic.

[BibT_eX]

[DOI]