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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
EUR 13,70 für den Versand von Vereinigtes Königreich nach USA
Versandziele, Kosten & DauerAnbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Zustand: New. In. Artikel-Nr. ria9783540557456_new
Anzahl: Mehr als 20 verfügbar
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume comprises the proceedings of the FirstAll-Berlin Workshop on Nonclassical Logics and InformationProcessing, held at the Free University of Berlin, November9-10, 1990.The scope of the ten papers in the volume is broad, coveringvarious different subfields of logic - particularlynonclassical logic - and its applications in artificialintelligence. The papers are grouped according to the fourmajor topics that emerged at the meeting: modal systems,logic programming, nonmonotonic logics, and proof theory.The classification is only a rough guide since the fourareas overlap considerably. Artikel-Nr. 9783540557456
Anzahl: 1 verfügbar