Lecture Notes in Computer Science: European Workshop JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990. Proceedings

Eijck, Jan van

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.

Details

Published by: Springer

Publication Date: 1991-02-26

Format: Paperback

ISBN-13: 9783540536864

DOI: 10.1007/BFb0018429

Dimensions: 233cm x155cm

Pages: 569