Nonclassical Logics and Information Processing

Nonclassical Logics and Information Processing

Author: David Pearce

Publisher: Springer

ISBN: 3540557458

Category: Computers

Page: 175

View: 706

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.
Nonclassical Logics and Information Processing
Language: un
Pages: 175

Nonclassical Logics and Information Processing

Authors: David Pearce, Heinrich Wansing
Categories: Computers
Type: BOOK - Published: 1992-07-22 - Publisher: Springer

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
Nonclassical Logics and Information Processing
Language: un
Pages: 171

Nonclassical Logics and Information Processing

Authors: David A. Pearce, Heinrich Wansing
Categories: Computers
Type: BOOK - Published: 1992 - Publisher: Springer Verlag

"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
Nonclassical Logics and Information Processing
Language: un
Pages: 175

Nonclassical Logics and Information Processing

Authors: David Pearce, Heinrich Wansing
Categories: Computers
Type: BOOK - Published: 2014-03-12 - Publisher: Springer

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
Mathematical Reviews
Language: en
Pages:

Mathematical Reviews

Authors: David Pearce, Heinrich Wansing
Categories: Mathematics
Type: BOOK - Published: 1999-12 - Publisher:

Books about Mathematical Reviews
Vivid Logic
Language: en
Pages: 148

Vivid Logic

Authors: Gerd Wagner, Institute for Documentation Information and Statistics German Cancer Research Centre G Wagner
Categories: Computers
Type: BOOK - Published: 1994 - Publisher: Springer Verlag

"Knowledge representation research is not only formal, it is also descriptiveand normative. Its aim is to implement a formal system which captures a practically relevant body of cognitive faculties employed by humans and capitalizes on its technical strength to extend human knowledge representation and reasoning capabilities. In this monograph, the