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.
| ISBN: | 9783540536864 |
| Publication date: | 26th February 1991 |
| Author: | Jan van Eijck |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 569 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Systems analysis and design Mathematical logic Natural language and machine translation Mathematical foundations Mathematical theory of computation Artificial intelligence |
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.
Logics in AI Lecture Notes in Artificial Intelligence features in the following genres: Systems analysis and design, Mathematical logic, Natural language and machine translation, Mathematical foundations, Mathematical theory of computation, Artificial intelligence
Paperback. Not Available.
Logics in AI Lecture Notes in Artificial Intelligence was written by Jan van Eijck and published by Springer an imprint of Springer Berlin Heidelberg
Logics in AI Lecture Notes in Artificial Intelligence has 569 pages
Yes it is part of Lecture Notes in Computer Science series