Title:
|
NONCLASSICAL LOGICS AND INFORMATION PROCESSING
INTERNATIONAL WORKSHOP, BERLIN, GERMANY, NOVEMBER 9-10, 1990 - PROCEEDINGS |
By: |
David Pearce (Editor), Heinrich Wansing (Editor) |
Format: |
Paperback |
![](/Images/divider_itemdetail_1a.gif)
List price:
|
£31.99 |
We currently do not stock this item, please contact the publisher directly for
further information.
|
|
|
|
|
ISBN 10: |
3540557458 |
ISBN 13: |
9783540557456 |
Publisher: |
SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG |
Pub. date: |
22 July, 1992 |
Series: |
Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence v. 619 |
Pages: |
175 |
Description: |
This volume contains the proceedings of a workshop held at the Free University of Berlin in November 1990, which discussed various subfields of logic and its applications in artificial intelligence. Papers examine modal systems, logic programming, nonmonotonic logics and proof theory. |
Synopsis: |
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. |
Illustrations: |
biography |
Publication: |
Germany |
Imprint: |
Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
Returns: |
Returnable |