On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations
(pdf)
Franz Baader, Hans-Jürgen Bürckert, Bernhard Nebel, Werner Nutt, Gert Smolka
Journal of Logic, Language and Information
Attributive Description Formalisms and the Rest of the World
(pdf)
Bernhard Nebel, Gert Smolka
Text Understanding in LILOG
Representation and Reasoning with Attributive Descriptions
(pdf)
Bernhard Nebel, Gert Smolka
Sorts and Types in Artificial Intelligence