Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Appears in Proceedings of 18th Int'l Joint Conference on Artificial Intelligence (IJCAI '03). Practical Partition-Based Theorem Proving for Large Knowledge Bases
 

Summary: Appears in Proceedings of 18th Int'l Joint Conference on Artificial Intelligence (IJCAI '03).
Practical Partition-Based Theorem Proving for Large Knowledge Bases
Bill MacCartney
Knowledge Systems Lab
Computer Science Dept.
Stanford University
bmac@ksl.stanford.edu
Sheila McIlraith
Knowledge Systems Lab
Computer Science Dept.
Stanford University
sam@ksl.stanford.edu
Eyal Amir
Computer Science Div.
University of California
Berkeley, CA
eyal@cs.berkeley.edu
Tom´as E. Uribe
AI Center
SRI International

  

Source: Amir, Eyal - Department of Computer Science, University of Illinois at Urbana-Champaign

 

Collections: Computer Technologies and Information Sciences