Knowledge Representation for Natural Language Understanding: The L_LILOG Approach.

@article{DBLP:journals/tkde/BeierlePS93,
  author    = {Christoph Beierle and
               Udo Pletat and
               Rudi Studer},
  title     = {Knowledge Representation for Natural Language Understanding:
               The L$_{\mbox{LILOG}}$ Approach},
  journal   = {IEEE Trans. Knowl. Data Eng.},
  volume    = {5},
  number    = {3},
  year      = {1993},
  pages     = {386-401},
  ee        = {db/journals/tkde/BeierlePS93.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1993 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-3 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]

Hassan Aït-Kaci, Roger Nasr: LOGIN: A Logic Programming Language with Built-In Inheritance. J. Log. Program. 3(3): 185-215(1986)

[3]

Christoph Beierle, Jochen Dörre, Udo Pletat, Claus-Rainer Rollinger, Peter H. Schmitt, Rudi Studer: The Knowledge Representation Language L_LILOG. CSL 1988: 14-51

[4]

Christoph Beierle, Ulrich Hedtstück, Udo Pletat, Peter H. Schmitt, Jörg H. Siekmann: An Order-Sorted Logic for Knowledge Representation Systems. Artif. Intell. 55(2): 149-191(1992)

[5]

...

[6]

...

[7]

Karl-Hans Bläsius, Ulrich Hedtstück, Claus-Rainer Rollinger (Eds.): Sorts and Types in Artificial Intelligence, Workshop, Eringerfeld, FRG, April 24-26, 1989, Proceedings. Lecture Notes in Computer Science 418 Springer 1989, ISBN 3-540-52337-5
Contents

[8]

...

[9]

...

[10]

...

[11]

Gosse Bouma, Esther König, Hans Uszkoreit: A Flexible Graph-Unification Formalism and Its Application to Natural-Language Processing. IBM Journal of Research and Development 32(2): 170-184(1988)

[12]

...

[13]

Ronald J. Brachman, Victoria P. Gilbert, Hector J. Levesque: An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts of KRYPTON. IJCAI 1985: 532-539

[14]

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

[15]

...

[16]

...

[17]

...

[18]

...

[19]

...

[20]

...

[21]

...

[22]

...

[23]

...

[24]

...

[25]

...

[26]

...

[27]

Thomas Ludwig, Bernd Walter, Michael Ley, Albert Maier, Erich Gehlen: LILOG-DB: Database Support for Knowledge-Based Systems. BTW 1989: 176-195

[28]

...

[29]

...

[30]

...

[31]

Udo Pletat, Kai von Luck: Knowledge Representation in LILOG. Sorts and Types in Artificial Intelligence 1989: 140-164

[32]

Simone Pribbenow: Verträglichkeitsprüfungen für die Verarbeitung räumlichen Wissens. GWAI 1988: 226-235

[33]

Raymond Reiter: A Logic for Default Reasoning. Artif. Intell. 13(1-2): 81-132(1980)

[34]

...

[35]

...

[36]

...

[37]

Gert Smolka, Hassan Aït-Kaci: Inheritance Hierarchies: Semantics and Unification. J. Symb. Comput. 7(3/4): 343-370(1989)

[38]

Mark E. Stickel: Automated Deduction by Theory Resolution. J. Autom. Reasoning 1(4): 333-355(1985)

[39]

David S. Touretzky: The Mathematics of Inheritance Systems. Morgan Kaufmann 1986, ISBN 0-934613-06-0

[40]

...

[41]

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

[42]

...

[43]

Christoph Walther: Many-sorted unification. J. ACM 35(1): 1-17(1988)

[44]

Christoph Walther: A Mechanical Solution of Schubert's Steamroller by Many-Sorted Resolution. Artif. Intell. 26(2): 217-224(1985)

[45]

...