About these proceedings
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
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.
Logic Programming Modal Sytems Modale Systeme Nichtmonotone Logiken Nonmonotonic Logics Reasoning artificial intelligence logic programming proof theory