Nonclassical Logics and Information Processing, International Workshop, Berlin, Germany, November 9-10, Proceedings - researchr publication

researchr

You are not signed in
Sign in
Sign up

David Pearce, Heinrich Wansing, editors, Nonclassical Logics and Information Processing, International Workshop, Berlin, Germany, November 9-10, Proceedings. Volume 619 of Lecture Notes in Computer Science, Springer, 1992.

Conference: berlin1992

Abstract is missing.

Algebraic Aspects of the Relational Knowledge Representation: Modal Relation AlgebrasEwa Orlowska. 1-22

A Logic for MemoryChristian Schumacher. 23-45

Actions with Preconditions and PostconditionsMichael Morreau. 46-55

Testclasses and Closed World Assumptions for Non-Horn TheoriesJürgen Gehne. 56-62

Reasoning with Negative Information, II: Hard Negation, Strong Negation and Logic ProgramsDavid Pearce. 63-79

Lindenbaum-Algebraic Semantics of Logic ProgramsGerd Wagner. 80-91

Conditional Logics and Cumulative LogicsAndré Fuhrmann. 92-103

Semantics of Nonmonotonic Reasoning in Logic ProgrammingHeinrich Herre. 104-124

Formulas-as-types for a Hierarchy of Sublogics of Intuitionistic Propositional LogicHeinrich Wansing. 125-145

Cut Elimination for Logics with Definitional ReflectionPeter Schroeder-Heister. 146-171

runs on WebDSL