JELIA 2008: Dresden, Germany

Invited Talks

• Sergei N. Artëmov:
  Justification Logic. 1-4
  Electronic Edition (link) BibTeX
• Jérôme Lang:
  Voting in Combinatorial Domains: What Logic and AI Have to Say. 5-7
  Electronic Edition (link) BibTeX

Regular Papers

• Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal:
  Strongly Equivalent Temporal Logic Programs. 8-20
  Electronic Edition (link) BibTeX
• Guillaume Aucher:
  Consistency Preservation and Crazy Formulas in BMS. 21-33
  Electronic Edition (link) BibTeX
• David Billington:
  Propositional Clausal Defeasible Logic. 34-47
  Electronic Edition (link) BibTeX
• Laura Bozzelli, Ruggero Lanotte:
  Complexity and Succinctness Issues for Linear-Time Hybrid Logics. 48-61
  Electronic Edition (link) BibTeX
• Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco:
  Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders. 62-75
  Electronic Edition (link) BibTeX
• Annamaria Bria, Wolfgang Faber, Nicola Leone:
  Normal Form Nested Programs. 76-88
  Electronic Edition (link) BibTeX
• Jan Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini:
  A Logic for Closed-World Interaction. 89-99
  Electronic Edition (link) BibTeX
• Luciano Caroprese, Miroslaw Truszczynski:
  Declarative Semantics for Revision Programming and Connections to Active Integrity Constraints. 100-112
  Electronic Edition (link) BibTeX
• Sylvie Coste-Marquis, Pierre Marquis:
  Recovering Consistency by Forgetting Inconsistency. 113-125
  Electronic Edition (link) BibTeX
• Fabio Cuzzolin:
  On the Credal Structure of Consistent Probabilities. 126-139
  Electronic Edition (link) BibTeX
• Conrad Drescher, Michael Thielscher:
  A Fluent Calculus Semantics for ADL with Plan Constraints. 140-152
  Electronic Edition (link) BibTeX
• Paul E. Dunne, Martin Caminada:
  Computational Complexity of Semi-stable Semantics in Abstract Argumentation Frameworks. 153-165
  Electronic Edition (link) BibTeX
• Thomas Eiter, Georg Gottlob, Magdalena Ortiz, Mantas Simkus:
  Query Answering in the Description Logic Horn-. 166-179
  Electronic Edition (link) BibTeX
• Satu Eloranta, Raul Hakli, Olli Niinivaara, Matti Nykänen:
  Accommodative Belief Revision. 180-191
  Electronic Edition (link) BibTeX
• Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
  Reasoning about Typicality in Preferential Description Logics. 192-205
  Electronic Edition (link) BibTeX
• Miki Hermann, Reinhard Pichler:
  Counting Complexity of Minimal Cardinality and Minimal Weight Abduction. 206-218
  Electronic Edition (link) BibTeX
• Andreas Herzig, Jérôme Mengin:
  Uniform Interpolation by Resolution in Modal Logic. 219-231
  Electronic Edition (link) BibTeX
• Koen iV. indriks, Wiebe van der Hoek:
  GOAL Agents Instantiate Intention Logic. 232-244
  Electronic Edition (link) BibTeX
• Norihiro Kamide:
  Linear Exponentials as Resource Operators: A Decidable First-order Linear Logic with Bounded Exponentials. 245-257
  Electronic Edition (link) BibTeX
• Ekaterina Komendantskaya, John Power:
  Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness. 258-271
  Electronic Edition (link) BibTeX
• Sébastien Konieczny, Ramón Pino Pérez:
  Confluence Operators. 272-284
  Electronic Edition (link) BibTeX
• Paul-Amaury Matt, Francesca Toni:
  A Game-Theoretic Measure of Argument Strength for Abstract Argumentation. 285-297
  Electronic Edition (link) BibTeX
• John C. McCabe-Dansted:
  A Tableau for RoBCTL. 298-310
  Electronic Edition (link) BibTeX
• Novak Novakovic:
  A Proof-Theoretic Approach to Deciding Subsumption and Computing Least Common Subsumer in w.r.t. Hybrid TBoxes. 311-323
  Electronic Edition (link) BibTeX
• Magdalena Ortiz:
  Extending Carinto the Description Logics of the Family. 324-337
  Electronic Edition (link) BibTeX
• Aleksandar Perovic, Zoran Ognjanovic, Miodrag Raskovic, Zoran Markovic:
  How to Restore Compactness into Probabilistic Logics?. 338-348
  Electronic Edition (link) BibTeX
• Henry Prakken:
  Combining Modes of Reasoning: An Application of Abstract Argumentation. 349-361
  Electronic Edition (link) BibTeX
• Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler:
  Cheap Boolean Role Constructors for Description Logics. 362-374
  Electronic Edition (link) BibTeX
• Renate A. Schmidt:
  Improved Second-Order Quantifier Elimination in Modal Logic. 375-388
  Electronic Edition (link) BibTeX
• Christoph Wernhard:
  Literal Projection for First-Order Logic. 389-402
  Electronic Edition (link) BibTeX
• Yi Zhou, Yan Zhang:
  Meta Level Reasoning and Default Reasoning. 403-415
  Electronic Edition (link) BibTeX
• Yi Zhou, Yan Zhang:
  Rule Calculus: Semantics, Axioms and Applications. 416-428
  Electronic Edition (link) BibTeX