Publications in ai-romatre-pubs.bib - Author: Cialdea Mayer, Marta
2018
[30] Integrating resource management and timeline-based planning (, , and ), In Proceedings International Conference on Automated Planning and Scheduling, ICAPS, volume 2018-June, . [bibtex] [url]
[29]A game-theoretic approach to timeline-based planning with uncertainty (, , , and ), In 25th International Symposium on Temporal Representation and Reasoning, TIME 2018, Warsaw, Poland, October 15-17, 2018, volume 120, . [bibtex] [doi]
2017
[28] Complexity of timeline-based planning (, , and ), In Proceedings International Conference on Automated Planning and Scheduling, ICAPS, . [bibtex] [url]
2016
[27]Steps in assessing a timeline-based planner (, , and ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 10037 LNAI, . [bibtex] [doi]
[26]An executable semantics of flexible plans in terms of timed game automata ( and ), In Proceedings of the International Workshop on Temporal Representation and Reasoning, volume 2016-January, . [bibtex] [doi]
[25]Timelines Are Expressive Enough to Capture Action-Based Temporal Planning (, , and ), In Proceedings of the International Workshop on Temporal Representation and Reasoning, volume 2016-December, . [bibtex] [doi]
[24]Planning and execution with flexible timelines: a formal account (, and ), In Acta Informatica, volume 53, . [bibtex] [doi]
2015
[23]Enriching a temporal planner with resources and a Hierarchy-based Heuristic (, and ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 9336 LNCS, . [bibtex] [doi]
[22] Quality metrics to evaluate flexible timeline-based plans (, and ), In Proceedings of the 6th Italian Workshop on Planning and Scheduling, volume 1493, . [bibtex] [url]
[21]Erratum to: Extension of a Decision Procedure for a Fragment of Hybrid Logic with Binders [Journal of Automated Reasoning, DOI 10.1007/s10817-014-9307-z] (), In Journal of Automated Reasoning, volume 55, . [bibtex] [doi]
2014
[20]A formal account of planning with flexible timelines (, and ), In Proceedings of the International Workshop on Temporal Representation and Reasoning, . [bibtex] [doi]
[19]Extended Decision Procedure for a Fragment of HL with Binders (), In Journal of Automated Reasoning, volume 53, . [bibtex] [doi]
2013
[18]A proof procedure for hybrid logic with binders, transitivity and relation hierarchies (), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 7898 LNAI, . [bibtex] [doi]
[17]A tableau based decision procedure for an expressive fragment of hybrid logic with binders, converse and global modalities ( and ), In Journal of Automated Reasoning, volume 51, . [bibtex] [doi]
2011
[16]A tableaux based decision procedure for a broad class of hybrid formulae with binders ( and ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 6793 LNAI, . [bibtex] [doi]
2010
[15]Herod and pilate: Two tableau provers for basic hybrid logic ( and ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 6173 LNAI, . [bibtex] [doi]
[14] Nominal substitution at work with the global and converse modalities ( and ), In Advances in Modal Logic 2006, volume 8, . [bibtex] [url]
[13]An efficient approach to nominal equalities in hybrid logic tableaux ( and ), In Journal of Applied Non-Classical Logics, volume 20, . [bibtex] [doi]
2009
[12]Abduction and consequence generation in a support system for the design of logical multiple-choice questions (), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 5607 LNAI, . [bibtex] [doi]
2007
[11]Linear temporal logic as an executable semantics for planning languages (, , and ), In Journal of Logic, Language and Information, volume 16, . [bibtex] [doi]
2005
[10]Pdk: The system and its language (, , and ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 3702 LNAI, . [bibtex] [doi]
2003
[9] Planning under uncertainty in linear time logic (, , and ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 2829, . [bibtex] [url]
2002
[8] A general theorem prover for quantified modal logics (, and ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 2381 LNAI, . [bibtex] [url]
2001
[7] Ground and free-variable tableaux for variants of quantified modal logics ( and ), In Studia Logica, volume 69, . [bibtex] [url] [doi]
[6] Free-variable tableaux for constant-domain quantified modal logics with rigid and non-rigid designation ( and ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 2083 LNAI, . [bibtex] [url]
2000
[5]Variants of first-order modal logics ( and ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 1847 LNAI, . [bibtex] [doi]
1999
[4] First order linear temporal logic over finite time structures (, and ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 1705 LNAI, . [bibtex] [url]
1998
[3] Using linear temporal logic to model and solve planning problems ( and ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 1480 LNAI, . [bibtex] [url]
[2] Bounded model search in linear temporal logic and its application to planning ( and ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 1397 LNAI, . [bibtex] [url]
1997
[1]Hintikka multiplicities in matrix decision methods for some propositional modal logics ( and ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 1227, . [bibtex] [doi]
Powered by bibtexbrowser