This volume contains the proceedings of JELIA '92, les Journ es Europ ennes sur la Logique en Intelligence Artificielle, or the Third European Workshop on Logics in Artificial Intelligence. The volume contains 2 invited addresses and 21 selected papers covering such topics as: - Logical foundations of logic programming and knowledge-based systems, - Automated theorem proving, - Partial and dynamic logics, - Systems of nonmonotonic reasoning, - Temporal and epistemic logics, - Belief revision.
One invited paper, by D. Vakarelov, is on arrow logics, i.e., modal logics for representing graph information. The other, by L.M.
Pereira,J.J. Alferes, and J.N. Apar cio, is on default theory for well founded semantics with explicit negation.
| ISBN: | 9783540558873 |
| Publication date: | 19th August 1992 |
| Author: | David Pearce, Gerd Wagner |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 412 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Artificial intelligence Mathematical logic Mathematical theory of computation Mathematical foundations |
This volume contains the proceedings of JELIA '92, les Journ es Europ ennes sur la Logique en Intelligence Artificielle, or the Third European Workshop on Logics in Artificial Intelligence. The volume contains 2 invited addresses and 21 selected papers covering such topics as: - Logical foundations of logic programming and knowledge-based systems, - Automated theorem proving, - Partial and dynamic logics, - Systems of nonmonotonic reasoning, - Temporal and epistemic logics, - Belief revision.
Logics in AI Lecture Notes in Artificial Intelligence features in the following genres: Artificial intelligence, Mathematical logic, Mathematical theory of computation, Mathematical foundations
Paperback. Not Available.
Logics in AI Lecture Notes in Artificial Intelligence was written by David Pearce, Gerd Wagner and published by Springer an imprint of Springer Berlin Heidelberg
Logics in AI Lecture Notes in Artificial Intelligence has 412 pages
Yes it is part of Lecture Notes in Computer Science series