Nonclassical Logics and Information Processing

Beschreibung

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.

Autor*in

David Pearce

Themen in »Nonclassical Logics and Information Processing«

Logic Programming Modal Sytems Modale Systeme Nichtmonotone Logiken Nonmonotonic Logics Reasoning artificial intelligence logic programming proof theory

Stimmen zu »Nonclassical Logics and Information Processing«

Details

Link teilen