Logics in AI: European Workshop Jelia '90, Amsterdam, the Netherlands, September 10-14, 1990. Proceedings

by Jan van Eijck

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...

• Format: Paperback
• Language: English
• ISBN: 3540536868
• ISBN13: 9783540536864
• Release Date: February 1991
• Publisher: Springer
• Length: 569 Pages
• Weight: 1.78 lbs.
• Dimensions: 1.2" x 6.1" x 9.2"