Publication details

Programming Systems

Gert Smolka

Publications

Teaching

Software

Formalizations

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               

@INCOLLECTION{NebelSmolkaRRAD1990,
  title = {Representation and Reasoning with Attributive Descriptions},
  author = {Bernhard Nebel and Gert Smolka},
  year = {1990},
  editor = {{K.H. Blasius and U.Hedtstuck and C.-R. Rolinger}},
  publisher = {{Springer Verlag}},
  booktitle = {Sorts and Types in Artificial Intelligence},
  series = {{Lectures Notes in Artificial Intelligence}},
  volume = {418},
  pages = {{112-139}},
  address = {{Berlin}},
}

Login to edit