Nebel, .

. Terminological reasoning is inherently intractable. Artificial Intelligence, 43
. Terminological cycles emantics and computational properties. In owa, Nebel, .

J. Ed. , Principles of Semantic Networks, chap. , pp.

. organ aufmann.

Neuwirth, A. Inferences for temporal ob ect descriptions in a terminological representation system      esign and implementation. 

erlin, ermany.

into, J. A. Temporal Reasoning in the Situation Calculus. h. .thesis, epartment of omputer cience, niversity of Toronto.

. Natural actions, concurrency and continuous time in the situation calculs.

eiter, .

In Proc. of the 5 th International Conference on Principles of Knowledge Representation and Reasoning  oston,   A.

enz, J., Nebel, new nethe complexity of ualitative spatial reasoning a maximal tractable fragment of the region connection calculus. In Proc. of the 14 th  IJCAI, pp.

Nagoya, Japan.

andewall, E. Features and Fluents. The Representation of Knowledge about Dynamical Systems, Vol. I. xford niversity ress.

andewall, E.,      hoham, Y.

Ed. , Handbook of Artificial Intelligence and Logic programming. xford   niversity ress.

easoning with individuals in concept languages.  Data & Knowledge chaerf, A.

Engineering, 13   ,
child, 111.

. A correspondence theory for terminological logics - reliminary report.

In Proc. of the 12 th IJCAI, pp.

idney, Australia.

child,
. ombining terminological logics with tense logic. In Proceedings of the 6th Portuguese Conference on Artificial Intelligence, EPIA'93.

chmidt- chau ,   .,     molka,   .       . Attributive concept descriptions with complements. Artificial Intelligence, 48   ,
chmiedel, A.       . A temporal terminological logic. In Proc. of AAAI-90, pp.

oston, A.

molka,  .      .  eature constraint logics for unification grammar.  Journal of Logic Programming, 12, enerating pro ect networks. In Proc. of the 5 th IJCAI, pp.

Tate, A.

ambridge,  A.