Logics in AI, JELIA '90 : European Workshop, JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990. Proceedings (Lecture Notes in Computer Science Vol.478) (1990. IX, 591 p. 24 cm)

The European Workshop on Logics in Artificial Intelligence was held at the Centre for Mathematics and Computer Science in Amsterdam, September 10-14, 1990. This volume includes the 29 papers selected and presented at the workshop together with 7 invited papers. The main themes are: - Logic programming and automated theorem proving, - Computational semantics for natural language, - Applications of non-classical logics, - Partial and dynamic logics.