Sorts and Types in Artificial Intelligence 1989

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 BibTeX

@proceedings{DBLP:conf/lilog/89,
  editor    = {Karl-Hans Bl{\"a}sius and
               Ulrich Hedtst{\"u}ck and
               Claus-Rainer Rollinger},
  title     = {Sorts and Types in Artificial Intelligence, Workshop, Eringerfeld,
               FRG, April 24-26, 1989, Proceedings},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {418},
  year      = {1989},
  isbn      = {3-540-52337-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Sorts and Types in Logic, Theorem Proving and Logic Programming

Arnold Oberschelp: Order Sorted Predicate Logic. 8-17 BibTeX
Christoph Walther: Many-Sorted Inferences in Automated Theorem Proving. 18-48 BibTeX
Peter H. Schmitt, Wolfgang Wernecke: Tableau Calculus for Order Sorted Logic. 49-60 BibTeX
Ulrich Hedtstück, Peter H. Schmitt: A Calculus for Order-Sorted Predicate Logic with Sort Literals. 61-72 BibTeX
Christoph Beierle: Types, Modules and Databases in the Logic Programming Language PROTOS-L. 73-110 BibTeX

Sorte and Types in Knowledge Representation Including Qualitative Reasoning

Bernhard Nebel, Gert Smolka: Representation and Reasoning with Attributive Descriptions. 112-139 BibTeX
Udo Pletat, Kai von Luck: Knowledge Representation in LILOG. 140-164 BibTeX
Karl-Hans Bläsius, Claus-Rainer Rollinger, Jörg H. Siekmann: Structure and Control of the L-LILOG Inference System. 165-182 BibTeX
Bernd Owsnicki-Klewe: A General Characterization of Term Description Languages. 183-189 BibTeX
Werner Dilger, Hans Voß: Sorts in Qualitative Reasoning. 190-207 BibTeX

Sorts and Types in Natural Language (Understanding) Systems

Kurt Eberle: Eventualities in a Natural Language Understanding System. 209-239 BibTeX
Jürgen Allgayer, Carola Reddig-Siekmann: What KL-ONE Lookalikes Need to Cope with Natural Language: Scope and Aspect of Plural Noun Phrases. 240-285 BibTeX
Bernd Mahr, Carla Umbach: Functor-Argument Structures for the Meaning of Natural Language Sentences and Their Formal Interpretation. 286-304 BibTeX