This volume comprises the proceedings of the First All-Berlin Workshop on Nonclassical Logics and Information Processing, held at the Free University of Berlin, November 9-10, 1990. The scope of the ten papers in the volume is broad, covering various different subfields of logic - particularly nonclassical logic - and its applications in artificial intelligence. The papers are grouped according to the four major topics that emerged at the meeting: modal systems, logic programming, nonmonotonic logics, and proof theory.
The classification is only a rough guide since the four areas overlap considerably.
| ISBN: | 9783540557456 |
| Publication date: | 22nd July 1992 |
| Author: | David Pearce, Heinrich Wansing |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 175 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Mathematical theory of computation Mathematical logic Mathematical foundations Artificial intelligence |
This volume comprises the proceedings of the First All-Berlin Workshop on Nonclassical Logics and Information Processing, held at the Free University of Berlin, November 9-10, 1990. The scope of the ten papers in the volume is broad, covering various different subfields of logic - particularly nonclassical logic - and its applications in artificial intelligence.
Nonclassical Logics and Information Processing Lecture Notes in Artificial Intelligence features in the following genres: Mathematical theory of computation, Mathematical logic, Mathematical foundations, Artificial intelligence
Paperback. Not Available.
Nonclassical Logics and Information Processing Lecture Notes in Artificial Intelligence was written by David Pearce, Heinrich Wansing and published by Springer an imprint of Springer Berlin Heidelberg
Nonclassical Logics and Information Processing Lecture Notes in Artificial Intelligence has 175 pages
Yes it is part of Lecture Notes in Computer Science series