Abstract is missing.
- Order Sorted Predicate LogicArnold Oberschelp. 8-17
- Many-Sorted Inferences in Automated Theorem ProvingChristoph Walther. 18-48
- Tableau Calculus for Order Sorted LogicPeter H. Schmitt, Wolfgang Wernecke. 49-60
- A Calculus for Order-Sorted Predicate Logic with Sort LiteralsUlrich Hedtstück, Peter H. Schmitt. 61-72
- Types, Modules and Databases in the Logic Programming Language PROTOS-LChristoph Beierle. 73-110
- Representation and Reasoning with Attributive DescriptionsBernhard Nebel, Gert Smolka. 112-139
- Knowledge Representation in LILOGUdo Pletat, Kai von Luck. 140-164
- Structure and Control of the L-LILOG Inference SystemKarl-Hans Bläsius, Claus-Rainer Rollinger, Jörg H. Siekmann. 165-182
- A General Characterization of Term Description LanguagesBernd Owsnicki-Klewe. 183-189
- Sorts in Qualitative ReasoningWerner Dilger, Hans Voß. 190-207
- Eventualities in a Natural Language Understanding SystemKurt Eberle. 209-239
- What KL-ONE Lookalikes Need to Cope with Natural Language: Scope and Aspect of Plural Noun PhrasesJürgen Allgayer, Carola Reddig-Siekmann. 240-285
- Functor-Argument Structures for the Meaning of Natural Language Sentences and Their Formal InterpretationBernd Mahr, Carla Umbach. 286-304