Nonclassical Logics and Information Processing

Keyphrases

Publications

volume 619, 1992

Nonclassical Logics and Information Processing, International Workshop, Berlin, Germany, November 9-10, Proceedings Nonclassical Logics and Information Processing 619 (1992)

1990

Ewa Orlowska
Algebraic Aspects of the Relational Knowledge Representation: Modal Relation Algebras. Nonclassical Logics and Information Processing (1990)
André Fuhrmann
Conditional Logics and Cumulative Logics. Nonclassical Logics and Information Processing (1990)
Peter Schroeder-Heister
Cut Elimination for Logics with Definitional Reflection. Nonclassical Logics and Information Processing (1990)
Heinrich Herre
Semantics of Nonmonotonic Reasoning in Logic Programming. Nonclassical Logics and Information Processing (1990)
David Pearce
Reasoning with Negative Information, II: Hard Negation, Strong Negation and Logic Programs. Nonclassical Logics and Information Processing (1990)
Jürgen Gehne
Testclasses and Closed World Assumptions for Non-Horn Theories. Nonclassical Logics and Information Processing (1990)
Christian Schumacher
A Logic for Memory. Nonclassical Logics and Information Processing (1990)
Michael Morreau
Actions with Preconditions and Postconditions. Nonclassical Logics and Information Processing (1990)
Gerd Wagner
Lindenbaum-Algebraic Semantics of Logic Programs. Nonclassical Logics and Information Processing (1990)
Heinrich Wansing
Formulas-as-types for a Hierarchy of Sublogics of Intuitionistic Propositional Logic. Nonclassical Logics and Information Processing (1990)