Sorts and Types in Artificial Intelligence

Keyphrases

Publications

1989

Peter H. Schmitt, Wolfgang Wernecke
Tableau Calculus for Order Sorted Logic. Sorts and Types in Artificial Intelligence (1989)
Ulrich Hedtstück, Peter H. Schmitt
A Calculus for Order-Sorted Predicate Logic with Sort Literals. Sorts and Types in Artificial Intelligence (1989)
Christoph Beierle
Types, Modules and Databases in the Logic Programming Language PROTOS-L. Sorts and Types in Artificial Intelligence (1989)
Arnold Oberschelp
Order Sorted Predicate Logic. Sorts and Types in Artificial Intelligence (1989)
Bernd Owsnicki-Klewe
A General Characterization of Term Description Languages. Sorts and Types in Artificial Intelligence (1989)
Werner Dilger, Hans Voß
Sorts in Qualitative Reasoning. Sorts and Types in Artificial Intelligence (1989)
Karl-Hans Bläsius, Claus-Rainer Rollinger, Jörg H. Siekmann
Structure and Control of the L-LILOG Inference System. Sorts and Types in Artificial Intelligence (1989)
Udo Pletat, Kai von Luck
Knowledge Representation in LILOG. Sorts and Types in Artificial Intelligence (1989)
Jürgen Allgayer, Carola Reddig-Siekmann
What KL-ONE Lookalikes Need to Cope with Natural Language: Scope and Aspect of Plural Noun Phrases. Sorts and Types in Artificial Intelligence (1989)
Christoph Walther
Many-Sorted Inferences in Automated Theorem Proving. Sorts and Types in Artificial Intelligence (1989)
Bernd Mahr, Carla Umbach
Functor-Argument Structures for the Meaning of Natural Language Sentences and Their Formal Interpretation. Sorts and Types in Artificial Intelligence (1989)
Bernhard Nebel, Gert Smolka
Representation and Reasoning with Attributive Descriptions. Sorts and Types in Artificial Intelligence (1989)
Kurt Eberle
Eventualities in a Natural Language Understanding System. Sorts and Types in Artificial Intelligence (1989)