Conferences in DBLP

Logics in Artificial Intelligence - Journées Européennes sur la Logique en Intelligence Artificielle (JELIA) (jelia)
1992 (conf/jelia/1992)

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