Marta Cialdea Mayer

According to our database1, Marta Cialdea Mayer
  • authored at least 37 papers between 1993 and 2016.
  • has a "Dijkstra number"2 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2016
Planning and execution with flexible timelines: a formal account.
Acta Inf., 2016

Timelines Are Expressive Enough to Capture Action-Based Temporal Planning.
Proceedings of the 23rd International Symposium on Temporal Representation and Reasoning, 2016

Steps in Assessing a Timeline-Based Planner.
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.
J. Autom. Reasoning, 2015

An Executable Semantics of Flexible Plans in Terms of Timed Game Automata.
Proceedings of the 22nd International Symposium on Temporal Representation and Reasoning, 2015

Quality Metrics to Evaluate Flexible Timeline-Based Plans.
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.
Proceedings of the AI*IA 2015, Advances in Artificial Intelligence, 2015

2014
Extended Decision Procedure for a Fragment of HL with Binders.
J. Autom. Reasoning, 2014

A Formal Account of Planning with Flexible Timelines.
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.
J. Autom. Reasoning, 2013

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

A Proof Procedure for Hybrid Logic with Binders, Transitivity and Relation Hierarchies.
Proceedings of the Automated Deduction - CADE-24, 2013

2011
A Tableaux Based Decision Procedure for a Broad Class of Hybrid Formulae with Binders.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2011

2010
An efficient approach to nominal equalities in hybrid logic tableaux.
Journal of Applied Non-Classical Logics, 2010

Herod and Pilate: Two Tableau Provers for Basic Hybrid Logic.
Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010

Nominal Substitution at Work with the Global and Converse Modalities.
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.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2009

2007
Linear temporal logic as an executable semantics for planning languages.
Journal of Logic, Language and Information, 2007

2005
A Proposal for Planning with Graded Fluents and Actions.
Intelligenza Artificiale, 2005

Pdk: The System and Its Language.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2005

Planning with graded fluents and actions.
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.
Proceedings of the AI*IA 2003: Advances in Artificial Intelligence, 2003

2002
A General Theorem Prover for Quantified Modal Logics.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2002

Linear Time Logic, Conditioned Models, and Planning with Incomplete Knowledge.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2002

2001
Ground and Free-Variable Tableaux for Variants of Quantified Modal Logics.
Studia Logica, 2001

Free-Variable Tableaux for Constant-Domain Quantified Modal Logics with Rigid and Non-rigid Designation.
Proceedings of the Automated Reasoning, First International Joint Conference, 2001

2000
Variants of First-Order Modal Logics.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2000

A Planning Fully Based on Linear Time Logic.
Proceedings of the Fifth International Conference on Artificial Intelligence Planning Systems, 2000

1999
First Order Linear Temporal Logic over Finite Time Structures.
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.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1998

Using Linear Temporal Logic to Model and Solve Planning Problems.
Proceedings of the Artificial Intelligence: Methodology, 1998

1997
A Polynomial Translation of S4 into T and Contraction-Free Tableaux for S4.
Logic Journal of the IGPL, 1997

Hintikka Multiplicities in Matrix Decision Methods for Some Propositional Modal Logics.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1997

1996
Abduction is not Deduction-in-Reverse.
Logic Journal of the IGPL, 1996

A Study on the Logic of Abduction.
Proceedings of the 12th European Conference on Artificial Intelligence, 1996

1995
Propositional Abduction in Modal Logic.
Logic Journal of the IGPL, 1995

1993
First order abduction via tableau and sequent calculi.
Logic Journal of the IGPL, 1993


  Loading...