Für statistische Zwecke und um bestmögliche Funktionalität zu bieten, speichert diese Website Cookies auf Ihrem Gerät. Das Speichern von Cookies kann in den Browser-Einstellungen deaktiviert werden. Wenn Sie die Website weiter nutzen, stimmen Sie der Verwendung von Cookies zu.

Cookie akzeptieren
Wansing, Heinrich / David Pearce (Hrsg.). Nonclassical Logics and Information Processing - International Workshop, Berlin, Germany, November 9-10, 1990. Proceedings. Springer Berlin Heidelberg, 1992.
eng

Nonclassical Logics and Information Processing

International Workshop, Berlin, Germany, November 9-10, 1990. Proceedings
  • Springer Berlin Heidelberg
  • 1992
  • Taschenbuch
  • 184 Seiten
  • ISBN 9783540557456
Herausgeber: Heinrich Wansing / David Pearce

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.

in Kürze