Author of the publication

Practical Partition-Based Theorem Proving for Large Knowledge Bases.

, , , and . IJCAI, page 89-98. Morgan Kaufmann, (2003)

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.

 

Other publications of authors with the same name

Input Feedback Networks: Classification and Inference Based on Network Structure., and . AGI, volume 171 of Frontiers in Artificial Intelligence and Applications, page 15-26. IOS Press, (2008)A Turing Game for Commonsense Knowledge Extraction., and . AAAI Fall Symposium: Commonsense Knowledge, volume FS-10-02 of AAAI Technical Report, AAAI, (2010)Reasoning about RoboCup Soccer Narratives, , , and . CoRR, (2012)Lifted Relational Variational Inference., and . UAI, page 196-206. AUAI Press, (2012)Factored Planning for Controlling a Robotic Arm., and . AAAI Fall Symposium: Integrating Reasoning into Everyday Applications, volume FS-06-04 of AAAI Technical Report, page 9-14. AAAI Press, (2006)Theorem Proving with Structured Theories (Preliminary Report)*., and . Electron. Notes Discret. Math., (2001)Logical Circuit Filtering., and . IJCAI, page 2611-2618. (2007)Theorem Proving with Structured Theories., and . IJCAI, page 624-634. Morgan Kaufmann, (2001)Greedy Algorithms for Sequential Sensing Decisions., , , and . IJCAI, page 1908-1915. (2009)Approximation Algorithms for Treewidth.. Algorithmica, 56 (4): 448-479 (2010)