Autor der Publikation

ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond.

, , und . KR, Seite 600-610. AAAI Press, (2008)

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

Reward Machines: Exploiting Reward Function Structure in Reinforcement Learning., , , und . J. Artif. Intell. Res., (2022)Invited talk: towards declarative programming for web services.. PEPM, Seite 1-2. ACM, (2004)Planning the transformation of overlays., , , , und . SAC, Seite 500-507. ACM, (2016)An automated approach to monitoring and diagnosing requirements., , , und . ASE, Seite 293-302. ACM, (2007)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)Simulation, verification and automated composition of web services., und . WWW, Seite 77-88. ACM, (2002)A Heuristic Search Approach to Planning with Temporally Extended Preferences., , und . IJCAI, Seite 1808-1815. (2007)Numeric Planning via Abstraction and Policy Guided Search., und . IJCAI, Seite 4338-4345. ijcai.org, (2017)Practical Partition-Based Theorem Proving for Large Knowledge Bases., , , und . IJCAI, Seite 89-98. Morgan Kaufmann, (2003)Improving the Efficiency of Reasoning Through Structure-Based Reformulation., und . SARA, Volume 1864 von Lecture Notes in Computer Science, Seite 247-259. Springer, (2000)