Conferences in DBLP

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

1. 
   Justification Logic. [Citation Graph (, )][DBLP]
   
   
2. 
   Voting in Combinatorial Domains: What Logic and AI Have to Say. [Citation Graph (, )][DBLP]
   
   
3. 
   Strongly Equivalent Temporal Logic Programs. [Citation Graph (, )][DBLP]
   
   
4. 
   Consistency Preservation and Crazy Formulas in BMS. [Citation Graph (, )][DBLP]
   
   
5. 
   Propositional Clausal Defeasible Logic. [Citation Graph (, )][DBLP]
   
   
6. 
   Complexity and Succinctness Issues for Linear-Time Hybrid Logics. [Citation Graph (, )][DBLP]
   
   
7. 
   Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders. [Citation Graph (, )][DBLP]
   
   
8. 
   Normal Form Nested Programs. [Citation Graph (, )][DBLP]
   
   
9. 
   A Logic for Closed-World Interaction. [Citation Graph (, )][DBLP]
   
   
10. 
    Declarative Semantics for Revision Programming and Connections to Active Integrity Constraints. [Citation Graph (, )][DBLP]
    
    
11. 
    Recovering Consistency by Forgetting Inconsistency. [Citation Graph (, )][DBLP]
    
    
12. 
    On the Credal Structure of Consistent Probabilities. [Citation Graph (, )][DBLP]
    
    
13. 
    A Fluent Calculus Semantics for ADL with Plan Constraints. [Citation Graph (, )][DBLP]
    
    
14. 
    Computational Complexity of Semi-stable Semantics in Abstract Argumentation Frameworks. [Citation Graph (, )][DBLP]
    
    
15. 
    Query Answering in the Description Logic Horn-. [Citation Graph (, )][DBLP]
    
    
16. 
    Accommodative Belief Revision. [Citation Graph (, )][DBLP]
    
    
17. 
    Reasoning about Typicality in Preferential Description Logics. [Citation Graph (, )][DBLP]
    
    
18. 
    Counting Complexity of Minimal Cardinality and Minimal Weight Abduction. [Citation Graph (, )][DBLP]
    
    
19. 
    Uniform Interpolation by Resolution in Modal Logic. [Citation Graph (, )][DBLP]
    
    
20. 
    GOAL Agents Instantiate Intention Logic. [Citation Graph (, )][DBLP]
    
    
21. 
    Linear Exponentials as Resource Operators: A Decidable First-order Linear Logic with Bounded Exponentials. [Citation Graph (, )][DBLP]
    
    
22. 
    Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness. [Citation Graph (, )][DBLP]
    
    
23. 
    Confluence Operators. [Citation Graph (, )][DBLP]
    
    
24. 
    A Game-Theoretic Measure of Argument Strength for Abstract Argumentation. [Citation Graph (, )][DBLP]
    
    
25. 
    A Tableau for RoBCTL. [Citation Graph (, )][DBLP]
    
    
26. 
    A Proof-Theoretic Approach to Deciding Subsumption and Computing Least Common Subsumer in w.r.t. Hybrid TBoxes. [Citation Graph (, )][DBLP]
    
    
27. 
    Extending Carinto the Description Logics of the Family. [Citation Graph (, )][DBLP]
    
    
28. 
    How to Restore Compactness into Probabilistic Logics?. [Citation Graph (, )][DBLP]
    
    
29. 
    Combining Modes of Reasoning: An Application of Abstract Argumentation. [Citation Graph (, )][DBLP]
    
    
30. 
    Cheap Boolean Role Constructors for Description Logics. [Citation Graph (, )][DBLP]
    
    
31. 
    Improved Second-Order Quantifier Elimination in Modal Logic. [Citation Graph (, )][DBLP]
    
    
32. 
    Literal Projection for First-Order Logic. [Citation Graph (, )][DBLP]
    
    
33. 
    Meta Level Reasoning and Default Reasoning. [Citation Graph (, )][DBLP]
    
    
34. 
    Rule Calculus: Semantics, Axioms and Applications. [Citation Graph (, )][DBLP]