( en | de | ru )

 

Disambiguierung von "Mayer, Marta Cialdea"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Using Linear Temporal Logic to Model and Solve Planning Problems.

, und . AIMSA, Volume 1480 von Lecture Notes in Computer Science, Seite 141-152. Springer, (1998)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Fares Martak

Martarizal

Hans Martan

Thomas Martau

Kenneth Martay

 

Weitere Publikationen von Autoren mit dem selben Namen

Enriching a Temporal Planner with Resources and a Hierarchy-Based Heuristic., , und . AI*IA, Volume 9336 von Lecture Notes in Computer Science, Seite 410-423. Springer, (2015)Planning with graded fluents and actions., , , und . IJCAI, Seite 1711-1712. Professional Book Center, (2005)A Proof Procedure for Hybrid Logic with Binders, Transitivity and Relation Hierarchies.. CADE, Volume 7898 von Lecture Notes in Computer Science, Seite 76-90. Springer, (2013)Abduction and Consequence Generation in a Support System for the Design of Logical Multiple-Choice Questions.. TABLEAUX, Volume 5607 von Lecture Notes in Computer Science, Seite 167-172. Springer, (2009)A General Theorem Prover for Quantified Modal Logics., , und . TABLEAUX, Volume 2381 von Lecture Notes in Computer Science, Seite 266-280. Springer, (2002)Hintikka Multiplicities in Matrix Decision Methods for Some Propositional Modal Logics., und . TABLEAUX, Volume 1227 von Lecture Notes in Computer Science, Seite 138-152. Springer, (1997)Steps in Assessing a Timeline-Based Planner., , , und . AI*IA, Volume 10037 von Lecture Notes in Computer Science, Seite 508-522. Springer, (2016)Pdk: The System and Its Language., , , und . TABLEAUX, Volume 3702 von Lecture Notes in Computer Science, Seite 307-311. Springer, (2005)Ground and Free-Variable Tableaux for Variants of Quantified Modal Logics., und . Stud Logica, 69 (1): 97-131 (2001)Option Discovery for Autonomous Generation of Symbolic Knowledge., , , , , und . AI*IA, Volume 13196 von Lecture Notes in Computer Science, Seite 153-167. Springer, (2021)