Logics in Artificial Intelligence 11th European Conference JELIA 2008 Dresden Germany September 28 October 1 2008 Proceedings 2008th Edition by Steffen Holldobler, Carsten Lutz, Heinrich Wansing ISBN 3540878025 978-3540878025 by Sergei Artemov (auth.), Steffen Hölldobler, Carsten Lutz, Heinrich Wansing (eds.) 9783540878025, 3540878025 instant download after payment.

Logics in Artificial Intelligence: 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings 2008th Edition by Steffen Hölldobler, Carsten Lutz, Heinrich Wansing - Ebook PDF Instant Download/Delivery: 3540878025, 978-3540878025

Full download Logics in Artificial Intelligence: 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings 2008th Edition after payment

Product details:

ISBN 10: 3540878025

ISBN 13: 978-3540878025 

Author: Steffen Hölldobler, Carsten Lutz, Heinrich Wansing 

This book constitutes the refereed proceedings of the 11th European Conference on Logics in Artificial Intelligence, JELIA 2008, held in Dresden, Germany, Liverpool, in September/October 2008. The 32 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 98 submissions. The papers cover a broad range of topics including belief revision, description logics, non-monotonic reasoning, multi-agent systems, probabilistic logic, and temporal logic.

Table of contents:

1. Front Matter

2. Invited Talks

3. Justification Logic

4. Voting in Combinatorial Domains: What Logic and AI Have to Say

5. Regular Papers

6. Strongly Equivalent Temporal Logic Programs

7. Consistency Preservation and Crazy Formulas in BMS

8. Propositional Clausal Defeasible Logic

9. Complexity and Succinctness Issues for Linear-Time Hybrid Logics

10. Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders

11. Normal Form Nested Programs

12. A Logic for Closed-World Interaction

13. Declarative Semantics for Revision Programming and Connections to Active Integrity Constraints

14. Recovering Consistency by Forgetting Inconsistency

15. On the Credal Structure of Consistent Probabilities

16. A Fluent Calculus Semantics for ADL with Plan Constraints

17. Computational Complexity of Semi-stable Semantics in Abstract Argumentation Frameworks

18. Query Answering in the Description Logic Horn-

19. Accommodative Belief Revision

20. Reasoning about Typicality in Preferential Description Logics

21. Counting Complexity of Minimal Cardinality and Minimal Weight Abduction

22. Uniform Interpolation by Resolution in Modal Logic

23. GOAL Agents Instantiate Intention Logic

24. Linear Exponentials as Resource Operators: A Decidable First-order Linear Logic with Bounded Exponentials

25. Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness

26. Confluence Operators

27. A Game-Theoretic Measure of Argument Strength for Abstract Argumentation

28. A Tableau for RoBCTL

29. A Proof-Theoretic Approach to Deciding Subsumption and Computing Least Common Subsumer

30. Extending Carin to the Description Logics of the Family

31. How to Restore Compactness into Probabilistic Logics?

32. Combining Modes of Reasoning: An Application of Abstract Argumentation

33. Cheap Boolean Role Constructors for Description Logics

34. Improved Second-Order Quantifier Elimination in Modal Logic

35. Literal Projection for First-Order Logic

36. Meta Level Reasoning and Default Reasoning

37. Rule Calculus: Semantics, Axioms and Applications

38. Back Matter

People also search for:

logics in artificial intelligence 11th european
    
logique intelligence artificielle
    
logic-mathematical intelligence
    
artificial intelligence europe
    
logical foundations of artificial intelligence
    
artificial intelligence 1990

Tags: Steffen Holldobler, Carsten Lutz, Heinrich Wansing, Logics, Artificial Intelligence, JELIA, Conference, 2008, Dresden, Proceedings