Autor der Publikation

Improving the Efficiency of Reasoning Through Structure-Based Reformulation.

, und . SARA, Volume 1864 von Lecture Notes in Computer Science, Seite 247-259. Springer, (2000)

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

Monitoring a Complez Physical System using a Hybrid Dynamic Bayes Net, , , , und . CoRR, (2013)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)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)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)A Heuristic Search Approach to Planning with Temporally Extended Preferences., , und . IJCAI, Seite 1808-1815. (2007)Planning with Preferences., und . AI Magazine, 29 (4): 25-36 (2008)A Recap of the AAAI and IAAI 2018 Conferences and the EAAI Symposium., , , , , und . AI Magazine, 39 (4): 3-16 (2018)