evanbu, ., rachman, ., elfridge, .,  allard, .  A IE a knowledgebbbbbbbboooowweers with the formation of the ACM, 34 .

onini,
. The complexity of existential uantification in concept languages. Artificial Int elligence, 53, onini,       .,  enzerini,   ., Nardi,   .,    Nutt, languages.  Tech. rep.

roc. of the  nd International   onference on   rinciples of   nowledge   epresentation and easoning
-
onini, languages   from subsumption to instance checking.  Journal of Logic and  Computation, 4 onini,       .,   enzerini,    ., Nardi,    .,   chaerf, A.,    Nutt, operators to concept languages. In Proc. of the 3 rd International Conference on Principles of Knowledge Representation and Reasoning, pp. 

ikes, E., Nilsson, N. T. I a new approach to the application of theorem proving as problem solving. Artificial Intelligence, 2, ischer, The integration of temporal operators into a terminological representation system. it-report , Technische niverstitat erlin, ermany.

erevini, A.,     chubert,               n point-based temporal dis ointness.  Artificial Int elligence, 70, alpern, J. Y.,      oses, Y.

reliminary draft. In Proc. of the 9 th IJCAI, pp. 100 os Angeles,   A.

apern, J. Y., 
of ACM, 38 ,
einsohn, J.,   udenko,   , Nebel,   ,     rofitlich, actions using terminological logics. Tech. rep.,       I,  aarbrucken,  ermany.

ollunder,  .,    Nutt, rep.

autz, A. A
J, A, Autz, A, A, Elavin, AN, Tenenberg, J. Eds., Reasoning about Plans, chap.  , pp.       .   organ  aufmann.

ifsitz, V.          n the semantics of STRIPS. In The 1986 Workshop on Reasoning about Actions and Plans, pp.     .   organ  aufman.

c arthy, J.,    ayes, J.       .  ome philosophical problems from the standpoint of Artificial Intelligence. In   eltzer,   ., 
Vol. , pp. Edinburgh, Edinburgh niversity ress.