Beschreibung
This volume is the proceedings of a workshop on logics in AI. The main themes are: logic programming and automated theorem proving, computational semantics for natural language, applications of non-classical logics, partial and dynamic logics.
Herstellerkennzeichnung:
Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE
E-Mail: juergen.hartmann@springer.com




































































































