default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDWorkshop on Nonclassical Logics and Information Processing 1990: Berlin, Germany
- David Pearce, Heinrich Wansing
:
Nonclassical Logics and Information Processing, International Workshop, Berlin, Germany, November 9-10, Proceedings. Lecture Notes in Computer Science 619, Springer 1992, ISBN 3-540-55745-8
Modal Systems
- Ewa Orlowska:
Algebraic Aspects of the Relational Knowledge Representation: Modal Relation Algebras. 1-22 - Christian Schumacher:
A Logic for Memory. 23-45 - Michael Morreau:
Actions with Preconditions and Postconditions. 46-55
Logic Programming
- Jürgen Gehne:
Testclasses and Closed World Assumptions for Non-Horn Theories. 56-62 - David Pearce:
Reasoning with Negative Information, II: Hard Negation, Strong Negation and Logic Programs. 63-79 - Gerd Wagner:
Lindenbaum-Algebraic Semantics of Logic Programs. 80-91
Nonmonotonic Logics
- André Fuhrmann:
Conditional Logics and Cumulative Logics. 92-103 - Heinrich Herre:
Semantics of Nonmonotonic Reasoning in Logic Programming. 104-124
Proof Theory
- Heinrich Wansing:
Formulas-as-types for a Hierarchy of Sublogics of Intuitionistic Propositional Logic. 125-145 - Peter Schroeder-Heister:
Cut Elimination for Logics with Definitional Reflection. 146-171
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-15 19:19 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
