Autor der Publikation

Planning with First-Order Temporally Extended Goals using Heuristic Search.

, und . AAAI, Seite 788-795. AAAI Press, (2006)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Simulation, verification and automated composition of web services., und . WWW, Seite 77-88. ACM, (2002)A Categorization of KR&R Methods for Requirement Analysis of a Query Answering Knowledge Base., , , , und . FOIS, Volume 209 von Frontiers in Artificial Intelligence and Applications, Seite 158-171. IOS Press, (2010)An automated approach to monitoring and diagnosing requirements., , , und . ASE, Seite 293-302. ACM, (2007)Planning the transformation of overlays., , , , und . SAC, Seite 500-507. ACM, (2016)Numeric Planning via Abstraction and Policy Guided Search., und . IJCAI, Seite 4338-4345. ijcai.org, (2017)A Heuristic Search Approach to Planning with Temporally Extended Preferences., , und . IJCAI, Seite 1808-1815. (2007)Practical Partition-Based Theorem Proving for Large Knowledge Bases., , , und . IJCAI, Seite 89-98. Morgan Kaufmann, (2003)Invited talk: towards declarative programming for web services.. PEPM, Seite 1-2. ACM, (2004)Mobilizing the Semantic Web with DAML-enabled Web Services., , und . SemWeb, Volume 40 von CEUR Workshop Proceedings, CEUR-WS.org, (2001)Improving the Efficiency of Reasoning Through Structure-Based Reformulation., und . SARA, Volume 1864 von Lecture Notes in Computer Science, Seite 247-259. Springer, (2000)