default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJELIA 1992: Berlin, Germany
- David Pearce, Gerd Wagner:
Logics in AI, European Workshop, JELIA '92, Berlin, Germany, September 7-10, 1992, Proceedings. Lecture Notes in Computer Science 633, Springer 1992, ISBN 3-540-55887-X - Dimiter Vakarelov:
A Modal Theory of Arrows. Arrow Logics I. 1-24 - Craig MacNish:
Knowledge without Modality: A Simplified Framework for Chronological Ignorance. 25-35 - Regimantas Pliuskevicius:
Design Complete Sequential Calculus for Continuous Fixpoint Temporal Logic. 36-51 - Reinhard Muskens:
Logical Omniscience and Classical Logic. 52-64 - Karen L. Kwast, Sieger van Denneheuvel:
Weak Implication: Theory and Applications. 65-83 - Véronique Royer, Joachim Quantz:
Deriving Inference Rules for Terminological Logics. 84-105 - Bertram Fronhöfer:
Linear Proofs and Linear Logic. 106-125 - Emil Weydert:
Relevance and Revision - About Generalizing Syntax-based Belief Revision. 126-138 - Hans Rott
:
Modellings for Belief Change: Base Contraction, Multiple Contraction, and Epistemic Entrenchment. 139-153 - Christine Froidevaux, Jérôme Mengin:
A Framework for Default Logics. 154-173 - Anthony Hunter:
A Conceptualization of Preferences in Non-Monotonic Proof Theory. 174-188 - Gerard Vreeswijk:
Reasoning with Defeasible Arguments: Examples and Applications. 189-211 - Philippe Besnard, Éric Grégoire:
About Deductive Generalization. 212-231 - Tim Fernando:
Transition Systems and Dynamic Semantics. 232-251 - Marion Sarkis Mircheva:
Declarative Semantics for Inconsistent Database Programs. 252-261 - Oliver Bittel:
Tableau-Based Theorem Proving and Synthesis of Lambda-Terms in the Intuitionistic Logic. 262-278 - Hans-Joachim Goltz:
A Constructive Type System Based on Data Terms. 279-303 - Nicolas Zabel:
An Ordered Resolution and Paramodulation Calculus for Finite Many-Valued Logics. 304-318 - Christian Prehofer:
An Efficient Constraint Language for Polymorphic Order-sorted Resoluton. 319-338 - Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício:
Default Theory for Well Founded Semantics with Explicit Negation. 339-356 - Ulrich Furbach:
Computing Answers for Disjunctive Logic Programs. 357-372 - Cees Witteveen:
Expanding Logic Programs. 373-390 - Heinrich Herre, David Pearce:
Disjunctive Logic Programming, Constructivity and Strong Negation. 391-410
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-09-19 23:30 CEST 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:
