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.
Author(s): Ewa Orlowska (auth.), David Pearce, Heinrich Wansing (eds.)
Series: Lecture Notes in Computer Science 619
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1992
Language: English
Pages: 175
Tags: Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages; Mathematical Logic and Foundations
Algebraic aspects of the relational knowledge representation: Modal relation algebras....Pages 1-22
A logic for memory....Pages 23-45
Actions with preconditions and postconditions....Pages 46-55
Testclasses and closed world assumptions for non-horn theories....Pages 56-62
Reasoning with negative information, II: Hard negation, strong negation and logic programs....Pages 63-79
Lindenbaum-algebraic semantics of logic programs....Pages 80-91
Conditional logics and cumulative logics....Pages 92-103
Semantics of nonmonotonic reasoning in logic programming....Pages 104-124
Formulas-as-types for a hierarchy of sublogics of intuitionistic propositional logic....Pages 125-145
Cut-elimination in logics with definitional reflection....Pages 146-171
