JELIA 1992:
Berlin,
Germany
David Pearce, Gerd Wagner (Eds.):
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
Last update Fri May 25 08:24:46 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
