Using Resolution for Extending KL-ONE-type Languages.

@inproceedings{DBLP:conf/cikm/Tammet95,
  author    = {Tanel Tammet},
  title     = {Using Resolution for Extending KL-ONE-type Languages},
  booktitle = {CIKM '95, Proceedings of the 1995 International Conference on
               Information and Knowledge Management, November 28 - December
               2, 1995, Baltimore, Maryland, USA},
  publisher = {ACM},
  year      = {1995},
  pages     = {326-332},
  ee        = {db/conf/cikm/Tammet95.html, http://doi.acm.org/10.1145/221270.221605},
  crossref  = {DBLP:conf/cikm/95},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1995 by the ACM, Inc., used by permission. Permission to make digital or hard copies is granted provided that copies are not made or distributed for profit or direct commercial advantage, and that copies show this notice on the first page or initial screen of a display along with the full citation.

ACM SIGMOD 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/An2-4 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/aDVD1 or /dvd

Printed Edition

Online Edition

References

[Borgida et al 89]

Alexander Borgida, Ronald J. Brachman, Deborah L. McGuinness, Lori Alperin Resnick: CLASSIC: A Structural Data Model for Objects. SIGMOD Conference 1989: 58-67 BibTeX

[Brachman, Schmolze 85]

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

[Chang, Lee 73]

...

[Fermüller 91]

...

[FLTZ 93]

...

[Gurevich 73]

...

[Hollunder, Nutt 90]

Bernhard Hollunder, Werner Nutt, Manfred Schmidt-Schauß: Subsumption Algorithms for Concept Description Languages. ECAI 1990: 348-353 BibTeX

[Joyner 76]

William H. Joyner Jr.: Resolution Strategies as Decision Procedures. J. ACM 23(3): 398-417(1976) BibTeX

[Kaczmarek et al 86]

Thomas Kaczmarek, Raymond Bates, Gabriel Robins: Recent Developments in NIKL. AAAI 1986: 978-985 BibTeX

[Leitsch 90]

Alexander Leitsch: Deciding Horn Classes by Hyperresolution. CSL 1989: 225-241 BibTeX

[Maslov 68]

...

[Nebel, von Luck 88]

Bernhard Nebel, Kai von Luck: Hybrid Reasoning in BACK. ISMIS 1988: 260-269 BibTeX

[Patel-Schneider 84]

...

[Robinson 65]

John Alan Robinson: A Machine-Oriented Logic Based on the Resolution Principle. J. ACM 12(1): 23-41(1965) BibTeX

[Schmidt-Schauss, Smolka 88]

...

[Slagle 74]

James R. Slagle: Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity. J. ACM 21(4): 622-642(1974) BibTeX

[Tammet 90]

...

[Tammet 91]

...

[Tammet 92]

...

[Vilain 85]

Marc B. Vilain: The Restricted Language Architecture of a Hybrid Representation System. IJCAI 1985: 547-551 BibTeX

[Zamov 72]

...

[Zamov 89]

N. K. Zamov: Maslov's Inverse Method and Decidable Classes. Ann. Pure Appl. Logic 42(2): 165-194(1989) BibTeX