Back to Results
First PageMeta Content
Coffee preparation / Espresso machine / Boiler / Engineering / Technology / Steam engines / Heating / ventilating / and air conditioning / Plumbing


Practical Partition-Based Theorem Proving for Large Knowledge Bases Bill MacCartney (Stanford KSL) Sheila A. McIlraith (Stanford KSL) Eyal Amir (UC Berkeley)
Add to Reading List

Document Date: 2006-03-17 18:05:23

Open Document

File Size: 157,26 KB

Share Result on Facebook

City

Practical Partition / /

IndustryTerm

proof search / /

Organization

UC Berkeley / /

Person

Algorithm / Sheila A. McIlraith / Tomas Uribe / Mark Stickel / Bill MacCartney / /

Position

MP / MP MP / Enhancing vanilla MP / /

Technology

MP algorithm / MP MP Algorithm / partition-based reasoning Algorithms / large KBs The MP algorithm / /

SocialTag