Publication details

Saarland University Computer Science

Representation and Reasoning with Attributive Descriptions

Bernhard Nebel, Gert Smolka

Sorts and Types in Artificial Intelligence, Vol. 418 of Lectures Notes in Artificial Intelligence, pp. 112-139, Springer Verlag, 1990

This paper surveys terminological representation languages and feature-based unification grammars pointing out the similarities and differences between these two families of attributive description formalisms. Emphasis is given to the logical foundations of these formalisms.

Download PDF        Show BibTeX               

Login to edit

Legal notice, Privacy policy