CLASP: Integrating Term Subsumption Systems and Production Systems.

@article{DBLP:journals/tkde/YenNM91,
  author    = {John Yen and
               Robert Neches and
               Robert M. MacGregor},
  title     = {CLASP: Integrating Term Subsumption Systems and Production Systems},
  journal   = {IEEE Trans. Knowl. Data Eng.},
  volume    = {3},
  number    = {1},
  year      = {1991},
  pages     = {25-32},
  ee        = {db/journals/tkde/YenNM91.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1991 by The Institute of Electrical and Electronic Engineers, Inc. (IEEE). Abstract used with permission.

Joint ACM SIGMOD / IEEE Computer Society Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An3-2 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD2 or /dvd

References

[1]

...

[2]

Peter F. Patel-Schneider, Bernd Owsnicki-Klewe, Alfred Kobsa, Nicola Guarino, Robert M. MacGregor, William S. Mark, Deborah L. McGuinness, Bernhard Nebel, Albrecht Schmiedel, John Yen: Term Subsumption Languages in Knowledge Representation. AI Magazine 11(2): 16-23(1990) BibTeX

[3]

Ronald J. Brachman, James G. Schmolze: An Overview of the KL-ONE Knowledge Representation System. Cognitive Science 9(2): 171-216(1985) BibTeX

[4]

...

[5]

Ronald J. Brachman: What IS-A Is and Isn't: An Analysis of Taxonomic Links in Semantic Networks. IEEE Computer 16(10): 30-36(1983) BibTeX

[6]

Robert M. MacGregor: A Deductive Pattern Matcher. AAAI 1988: 403-408 BibTeX

[7]

James G. Schmolze, Thomas A. Lipkis: Classification in the KL-ONE Knowledge Representation System. IJCAI 1983: 330-332 BibTeX

[8]

William R. Swartout: XPLAIN: A System for Creating and Explaining Expert Consulting Programs. Artif. Intell. 21(3): 285-325(1983) BibTeX

[9]

Robert Neches, William R. Swartout, Johanna D. Moore: Enhanced Maintenance and Explanation of Expert Systems Through Explicit Models of Their Development. IEEE Trans. Software Eng. 11(11): 1337-1351(1985) BibTeX

[10]

William J. Clancey: The Epistemology of a Rule-Based Expert System - A Framework for Explanation. Artif. Intell. 20(3): 215-251(1983) BibTeX

[11]

...

[12]

William R. Swartout, Robert Neches: The Shifting Terminological Space: An Impediment to Evolvability. AAAI 1986: 936-941 BibTeX

[13]

Richard Fikes, Tom Kehler: The Role of Frame-Based Representation in Reasoning. Commun. ACM 28(9): 904-920(1985) BibTeX

[14]

...

[15]

William Mark: Rule-Based Inference in Large Knowledge Bases. AAAI 1980: 190-194 BibTeX

[16]

...

[17]

...

[18]

...

[19]

...

[20]

Charles Forgy: Rete: A Fast Algorithm for the Many Patterns/Many Objects Match Problem. Artif. Intell. 19(1): 17-37(1982) BibTeX

[21]

John Yen: A Principled Approach to Reasoning About the Specificity ofRules. AAAI 1990: 701-707 BibTeX

[22]

...

[23]

...

[24]

Ronald J. Brachman, Hector J. Levesque: The Tractability of Subsumption in Frame-Based Description Languages. AAAI 1984: 34-37 BibTeX

[25]

M. R. Garey, David S. Johnson: Computers and Intractability: A Guide to the Theory of NP-Completeness. W. H. Freeman 1979, ISBN 0-7167-1044-7
BibTeX

[26]

Bernhard Nebel: Terminological Reasoning is Inherently Intractable. Artif. Intell. 43(2): 235-249(1990) BibTeX

Referenced by

1. Alexander Borgida: Description Logics in Data Management. IEEE Trans. Knowl. Data Eng. 7(5): 671-682(1995)