Logics in AI : European Workshop JELIA 90

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.