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 BibTeX

@proceedings{DBLP:conf/jelia/1992,
  editor    = {David Pearce and
               Gerd Wagner},
  title     = {Logics in AI, European Workshop, JELIA '92, Berlin, Germany,
               September 7-10, 1992, Proceedings},
  booktitle = {JELIA},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {633},
  year      = {1992},
  isbn      = {3-540-55887-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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