( en | de | ru )

 

Disambiguation of "Mayer, Marta Cialdea"

Author of the publication

copydeleteadd this publication to your clipboard
Evaluating Robustness of an Acting Framework over Temporally Uncertain Domains.

, , , and . AI*IA, volume 11946 of Lecture Notes in Computer Science, page 250-263. Springer, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Fares Martak

Martarizal

Hans Martan

Thomas Martau

Kenneth Martay

 

Other publications of authors with the same name

Ground and Free-Variable Tableaux for Variants of Quantified Modal Logics., and . Stud Logica, 69 (1): 97-131 (2001)Planning and execution with flexible timelines: a formal account., , and . Acta Inf., 53 (6-8): 649-680 (2016)Steps in Assessing a Timeline-Based Planner., , , and . AI*IA, volume 10037 of Lecture Notes in Computer Science, page 508-522. Springer, (2016)Pdk: The System and Its Language., , , and . TABLEAUX, volume 3702 of Lecture Notes in Computer Science, page 307-311. Springer, (2005)A Framework for Modelling Molecular Interaction Maps., , , , and . FLAP, 8 (7): 1917-1952 (2021)Option Discovery for Autonomous Generation of Symbolic Knowledge., , , , , and . AI*IA, volume 13196 of Lecture Notes in Computer Science, page 153-167. Springer, (2021)An Executable Semantics of Flexible Plans in Terms of Timed Game Automata., and . TIME, page 160-169. IEEE Computer Society, (2015)Timelines Are Expressive Enough to Capture Action-Based Temporal Planning., , , and . TIME, page 100-109. IEEE Computer Society, (2016)A Proof Procedure for Hybrid Logic with Binders, Transitivity and Relation Hierarchies (extended version).. CoRR, (2013)A Polynomial Translation of S4 into T and Contraction-Free Tableaux for S4., and . Logic Journal of the IGPL, 5 (2): 287-300 (1997)