Whynot: Debugging failed queries in large knowledge bases

Proceedings of the National Conference on Artificial Intelligence

Volumn , Issue , 2002, Pages 870-877

  Chalupsky, Hans ^a   Russ, Thomas A ^a  

^a UNIVERSITY OF SOUTHERN CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

KNOWLEDGE REPRESENTATION; PROGRAM DEBUGGING; QUERY LANGUAGES; USER INTERFACES;

KNOWLEDGE REPRESENTATION (KR) LANGUAGES;

KNOWLEDGE BASED SYSTEMS;

EID: 0036931884     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)

1. Burhans, D., and Shapiro, S. 1999. Finding hypothetical answers with a resolution theorem prover. In Papers from the 1999 AAAI Fall Symposium on Question Answering Systems, Technical Report FS-99-02, 32-38. Menlo Park, CA: AAAI Press.
2. Bylander, T.; Allemang, D.; Tanner, M.; and Josephson, J. 1991. The computational complexity of abduction. Artificial Intelligence 49(1-3):25-60.
3. Chalupsky, H., and MacGregor, R. 1999. STELLA - a Lisp-like language for symbolic programming with delivery in Common Lisp, C++ and Java. In Proceedings of the 1999 Lisp User Group Meeting. Berkeley, CA: Franz Inc.
4. Chalupsky, H. 2000. OntoMorph: a translation system for symbolic knowledge. In Cohn, A.; Giunchiglia, F.; and Selman, B., eds., Principles of Knowledge Representation and Reasoning: Proceedings of the Seventh International Conference (KR2000). San Francisco, CA: Morgan Kaufmann.
5. Chester, D. 1976. The translation of formal proofs into English. Artificial Intelligence 7(3):261-278.
6. Gaasterland, T. 1992. Cooperative explanation in deductive databases. In AAAI Spring Symposium on Cooperative Explanation.
7. Gal, A. 1988. Cooperative Responses in Deductive Databases. Ph.D. Dissertation, University of Maryland, Department of Computer Science. CS-TR-2075.
8. Genesereth, M. 1991. Knowledge interchange format. In Alien, J.; Fikes, R.; and Sandewall, E., eds., Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning, 599-600. San Mateo, CA, USA: Morgan Kaufmann Publishers.
9. Hobbs, J.; Stickel, M.; Appell, D.; and Martin, P. 1993. Interpretation as abduction. Artificial Intelligence 63(12):69-142.
10. Kaufmann, M. 1992. An assistant for reading Nqthm proof output. Technical report 85, Computational Logic.
11. Lenat, D. 1995. CYC: A Large Scale Investment in Knowledge Infrastructure. Communications of the ACM 38(11):32-38.
12. McGuinness, D. 1996. Explaining Reasoning in Description Logics. Ph.d. dissertation, Department of Computer Science, Rutgers University, New Brunswick, New Jersey.
13. Selman, B., and Levesque, H. 1990. Abductive and default reasoning: A computational core. In Dietterich, T., and Swartout, W., eds., Proceedings of the Eighth National Conference on Artificial Intelligence, 343-348. Menlo Park, CA: AAAI Press.
14. Wick, M., and Thompson, W. 1992. Reconstructive expert system explanation. Artificial Intelligence 54(1-2):33-70.