Publications in ai-romatre-pubs.bib - Author: Cialdea Mayer, Marta
2020
[38] On timeline-based games and their complexity (, , , and ), In Theor. Comput. Sci., volume 815, . [bibtex] [url] [doi]
[37] A Prover Dealing with Nominals, Binders, Transitivity and Relation Hierarchies (), In J. Autom. Reason., volume 64, . [bibtex] [url] [doi]
[36] A framework for modelling Molecular Interaction Maps (, , and ), In CoRR, volume abs/2008.09546, . [bibtex] [url]
[35] A Language for Timeline-based Planning (, , , and ), In Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Bolzano Summer of Knowledge 2020 (BOSK 2020), September 25, 2020 (Riccardo De Benedictis, Luca Geretti, Andrea Micheli, eds.), CEUR-WS.org, volume 2785, . [bibtex] [pdf]
[34] Design of Timeline-Based Planning Systems for Safe Human-Robot Collaboration (, , and ), Chapter in Knowledge Engineering Tools and Techniques for AI Planning (Mauro Vallati, Diane E. Kitchin, eds.), Springer, . [bibtex] [url] [doi]
[33]An AI-Based Approach to Automatic Waste Sorting (, , , and ), In HCI International 2020 - Posters (Stephanidis, Constantine, Antona, Margherita, eds.), Springer International Publishing, . [bibtex]
2019
[32] Evaluating Robustness of an Acting Framework over Temporally Uncertain Domains (, , and ), In AI*IA 2019 - Advances in Artificial Intelligence - XVIIIth International Conference of the Italian Association for Artificial Intelligence, Rende, Italy, November 19-22, 2019, Proceedings (Mario Alviano, Gianluigi Greco, Francesco Scarcello, eds.), Springer, volume 11946, . [bibtex] [url] [doi]
[31] A Prototype for the Robust Execution of Flexible Plans (, , , and ), In Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, co-located with the 18th International Conference of the Italian Association for Artificial Intelligence, OVERLAY@AI*IA 2019, Rende, Italy, November 19-20, 2019 (Nicola Gigante, Federico Mari, Orlandini, Andrea, eds.), CEUR-WS.org, volume 2509, . [bibtex] [pdf]
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