Using access paths to guide inference with conceptual graphs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1257, Issue , 1997, Pages 521-535

  Clark, Peter ^a   Porter, Bruce ^b  

^a BOEING COMPANY   (United States)

^b UNIVERSITY OF TEXAS AT AUSTIN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; GRAPH THEORY;

AUTOMATED REASONING; CONCEPTUAL GRAPH; DOMAIN-SPECIFIC INFORMATION; EXPRESSIVE POWER; FIRST ORDER LOGIC; INFERENCE ALGORITHM; KNOWLEDGE BASE; SUBGOALS;

INFERENCE ENGINES;

EID: 84948965053     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0027895     Document Type: Conference Paper

References (14)

1. James Crawford. Access-limited logic: A language for knowledge representation. Technical Report AI90-141, Dept CS, Univ Texas at Austin, Austin, TX, Oct 1990.
2. B. W. Porter, J. Lester, K. Murray, K. Pittman, A. Souther, L. Acker, and T. Jones. The botany knowledge base project. Tech Report AI-88-88, Dept CS, Univ Texas at Austin, Sept 1988.
3. Peter Clark and Bruce Porter. The dee help-desk project. (http://www.cs.utexas.edu/users/mfkb/dce.html), 1996.
4. Peter Clark. KM/KQL: Syntax and semantics. (Internal document, AI Lab, Univ Texas at Austin, http://www.cs.utexas.edu/users/mfkb/manuals/kql.ps), 1996.
5. J. F. Sowa. Conceptual structures Addison Wesley, 1984.
6. R. J. Brachman, D. L. McGuinness, P. F. Patel-Schneider, L. A. Resnick, and A. Borgida. Living with CLASSIC: When and how to use a KL-ONE like language. In J. Sowa, editor, Principles of Semantic Networks. Kaufmann, CA, 1991.
7. Adil Kabbaj. Prolog cg-object-oriented programming with PROLOG+CG. Master’s thesis, Univ Montreal, Canada, May 1995.
8. Jon Doyle and Ramesh S. Patil. Two theses of knowledge representation: Language restrictions, taxonomic classification, and the utility of representation services. Artificial Intelligence, pages 261-297, 1991.
9. J. M. Crawford and B. J. Kuipers. Algernon - a tractable system for knowledge-representation. SIGART Bulletin, 2 (3):35-44, June 1991.
10. R. MacGregor. Loom users guide (version 1.4). Tech report, ISI, CA, 1991.
11. Ronald J. Brachman, Richard E. Fikes, and Hector J. Levesque. KRYPTON: A functional approach to knowledge representation. In Ronald J. Brachman and Hector J. Levesque, editors, Readings in Knowledge Representation, pages 412-429. Kaufmann, CA, 1985.
12. William A. Woods. Understanding subsumption and taxonomy. In John F. Sowa, editor, Principles of Semantic Networks, pages 45-94. Kaufmann, CA, 1991.
13. Hassan Ait-Kaei and Andreas Podelski. Towards a meaning of LIFE. Logic Programming, 16:195-234, 1993.
14. Stefano Ceri, Georg Gottlob, and Letizia Tanca. What you always wanted to know about datalog (and never dared to ask). IEEE Transactions on Knowledge and Data Engineering, 1 (1):146-166, Mar 1989.