Practical Partition-Based Theorem Proving for Large Knowledge Bases
by MacCartney, B. and McIlraith, S. and Amir, E. and Uribe, T. E.
in International Joint Conference on Artificial Intelligence (IJCAI)
Address: Acapulco, Mexico Adobe PDF |
 BibTeX |
 EndNote |
 |
A Knowledge Entry System for Subject Matter ExpertsThe goal of SHAKEN project is to enable subject matter experts , without any assistance from AI technologists, to assemble the models of processes and mechanisms so that questions about them can be answered by declarative inference and simulation. |
| Name | Title | ||
|---|---|---|---|
| Uribe, Tomas E | Computer Scientist |  |
