Logics in AI
| Author | : Jan van Eijck |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 580 |
| Release | : 1991-02-26 |
| ISBN-10 | : 3540536868 |
| ISBN-13 | : 9783540536864 |
| Rating | : 4/5 (68 Downloads) |
Book Synopsis Logics in AI by : Jan van Eijck
Download or read book Logics in AI written by Jan van Eijck and published by Springer Science & Business Media. This book was released on 1991-02-26 with total page 580 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
