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

Front Matter....Pages -
Justification Logic....Pages 1-4
Voting in Combinatorial Domains: What Logic and AI Have to Say....Pages 5-7
Strongly Equivalent Temporal Logic Programs....Pages 8-20
Consistency Preservation and Crazy Formulas in BMS....Pages 21-33
Propositional Clausal Defeasible Logic....Pages 34-47
Complexity and Succinctness Issues for Linear-Time Hybrid Logics....Pages 48-61
Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders....Pages 62-75
Normal Form Nested Programs....Pages 76-88
A Logic for Closed-World Interaction....Pages 89-99
Declarative Semantics for Revision Programming and Connections to Active Integrity Constraints....Pages 100-112
Recovering Consistency by Forgetting Inconsistency....Pages 113-125
On the Credal Structure of Consistent Probabilities....Pages 126-139
A Fluent Calculus Semantics for ADL with Plan Constraints....Pages 140-152
Computational Complexity of Semi-stable Semantics in Abstract Argumentation Frameworks....Pages 153-165
Query Answering in the Description Logic Horn - $\\mathcal{SHIQ}$ ....Pages 166-179
Accommodative Belief Revision....Pages 180-191
Reasoning about Typicality in Preferential Description Logics....Pages 192-205
Counting Complexity of Minimal Cardinality and Minimal Weight Abduction....Pages 206-218
Uniform Interpolation by Resolution in Modal Logic....Pages 219-231
GOAL Agents Instantiate Intention Logic....Pages 232-244
Linear Exponentials as Resource Operators: A Decidable First-order Linear Logic with Bounded Exponentials....Pages 245-257
Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness....Pages 258-271
Confluence Operators....Pages 272-284
A Game-Theoretic Measure of Argument Strength for Abstract Argumentation....Pages 285-297
A Tableau for RoBCTL....Pages 298-310
A Proof-Theoretic Approach to Deciding Subsumption and Computing Least Common Subsumer in $\\cal EL$ w.r.t. Hybrid TBoxes....Pages 311-323
Extending Carin to the Description Logics of the $\\mathcal{SH}$ Family....Pages 324-337
How to Restore Compactness into Probabilistic Logics?....Pages 338-348
Combining Modes of Reasoning: An Application of Abstract Argumentation....Pages 349-361
Cheap Boolean Role Constructors for Description Logics....Pages 362-374
Improved Second-Order Quantifier Elimination in Modal Logic....Pages 375-388
Literal Projection for First-Order Logic....Pages 389-402
Meta Level Reasoning and Default Reasoning....Pages 403-415
Rule Calculus: Semantics, Axioms and Applications....Pages 416-428
Back Matter....Pages -