| Invited Talks |
| Representing and Reasoning with Preferences / F. Rossi |
| Engineering of Logics for the Content-Based Representation of Information / F. Baader |
| Formal Methods in Robotics / B. Nebel |
| Multi-agent Systems |
| Games for Cognitive Agents / M. Dastani ; L. van der Torre |
| Knowledge-Theoretic Properties of Strategic Voting / S. Chopra ; E. Pacuit ; R. Parikh |
| The CIFF Proof Procedure for Abductive Logic Programming with Constraints / U. Endriss ; P. Mancarella ; F. Sadri ; G. Terreni ; F. Toni |
| Hierarchical Decision Making by Autonomous Agents / S. Heymans ; D. Van Nieuwenborgh ; D. Vermeir |
| Verifying Communicating Agents by Model Checking in a Temporal Action Logic / L. Giordano ; A. Martelli ; C. Schwind |
| Qualitative Action Theory (A Comparison of the Semantics of Alternating-Time Temporal Logic and the Kutschera-Belnap Approach to Agency) / S. Wölfl |
| Practical Reasoning for Uncertain Agents / N. de C. Ferreira ; M. Fisher ; W. van der Hoek |
| Modelling Communicating Agents in Timed Reasoning Logics / N. Alechina ; B. Logan ; M. Whitsey |
| Logic Programming and Nonmonotonic Reasoning |
| On the Relation Between ID-Logic and Answer Set Programming / M. Mariën ; D. Gilis ; M. Denecker |
| An Implementation of Statistical Default Logic / G.R. Wheeler ; C.V. Damásio |
| Capturing Parallel Circumscription with Disjunctive Logic Programs / T. Janhunen ; E. Oikarinen |
| Towards a First Order Equilibrium Logic for Nonmonotonic Reasoning / D. Pearce ; A. Valverde |
| Characterizations for Relativized Notions of Equivalence in Answer Set Programming / S. Woltran |
| Equivalence of Logic Programs Under Updates / K. Inoue ; C. Sakama |
| Cardinality Constraint Programs / T. Syrjänen |
| Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity / W. Faber ; N. Leone ; G. Pfeifer |
| Reasoning Under Uncertainty |
| A Logic for Reasoning About Coherent Conditional Probability: A Modal Fuzzy Logic Approach / E. Marchioni ; L. Godo |
| A Logic with Conditional Probabilities / M. Rašković ; Z. Ognjanović ; Z. Marković |
| Reasoning About Quantum Systems / P. Mateus ; A. Sernadas |
| Sorted Multi-adjoint Logic Programs: Termination Results and Applications / J. Medina ; M. Ojeda-Aciego |
| Logic Programming |
| The Modal Logic Programming System MProlog / L.A. Nguyen |
| Soundness and Completeness of an "Efficient" Negation for Prolog / J.J. Moreno-Navarro ; S. Muñoz-Hernández |
| Logic Programs with Functions and Default Values / P. Cabalar ; D. Lorenzo |
| Actions and Causation |
| Parallel Encodings of Classical Planning as Satisfiability / J. Rintanen ; K. Heljanko ; I. Niemelä |
| Relational Markov Games / A. Finzi ; T. Lukasiewicz |
| On the Logic of `Being Motivated to Achieve ρ, Before δ' / J. Broersen |
| Complexity Issues |
| Representation and Complexity in Boolean Games / P.E. Dunne |
| Complexity in Value-Based Argument Systems / T. Bench-Capon |
| A Polynomial Translation from the Two-Variable Guarded Fragment with Number Restrictions to the Guarded Fragment / Y. Kazakov |
| Description Logics |
| Transforming Fuzzy Description Logics into Classical Description Logics / U. Straccia |
| Computing the Least Common Subsumer w.r.t. a Background Terminology / B. Sertkaya ; A.-Y. Turhan |
| Explaining Subsumption by Optimal Interpolation / S. Schlobach |
| Belief Revision |
| Two Approaches to Merging Knowledge Bases / J.P. Delgrande ; T. Schaub |
| An Algebraic Approach to Belief Contraction and Nonmonotonic Entailment / L. Flax |
| Logical Connectives for Nonmonotonicity: A Choice Function-Based Approach / J. Mengin |
| On Sceptical Versus Credulous Acceptance for Abstract Argument Systems / S. Doutre |
| Modal, Spacial, and Temporal Logics |
| Line-Based Affine Reasoning in Euclidean Plane / P. Balbiani ; T. Tinchev |
| Measure Logics for Spatial Reasoning / M. Giritli |
| Only Knowing with Confidence Levels: Reductions and Complexity / E.H. Lian ; T. Langholm ; A. Waaler |
| Time Granularities and Ultimately Periodic Automata / D. Bresolin ; A. Montanari ; G. Puppis |
| Theorem Proving |
| Polynomial Approximations of Full Propositional Logic via Limited Bivalence / M. Finger |
| Some Techniques for Branch-Saturation in Free-Variable Tableaux / N. Peltier |
| Semantic Knowledge Partitioning / C. Wernhard |
| Negative Hyper-resolution as Procedural Semantics of Disjunctive Logic Programs |
| Applications |
| Discovering Anomalies in Evidential Knowledge by Logic Programming / F. Angiulli ; G. Greco ; L. Palopoli |
| Logic Programming Infrastructure for Inferences on FrameNet / P. Baumgartner ; A. Burchardt |
| An Answer Set Programming Encoding of Prioritized Removed Sets Revision: Application to GIS / J. Ben-Naim ; S. Benferhat ; O. Papini ; E. Würbel |
| Automatic Compilation of Protocol Insecurity Problems into Logic Programming / A. Armando ; L. Compagna ; Y. Lierler |
| Exploiting Functional Dependencies in Declarative Problem Specifications / M. Cadoli ; T. Mancini |
| Combining Decision Procedures for Sorted Theories / C. Tinelli ; C.G. Zarba |
| Meta-level Verification of the Quality of Medical Guidelines Using Interactive Theorem Proving / A. Hommersom ; P. Lucas ; M. Balser |
| Towards a Logical Analysis of Biochemical Pathways / P. Doherty ; S. Kertes ; M. Magnusson ; A. Szalas |
| Systems Session |
| Abductive Logic Programming with CIFF: System Description |
| The DALI Logic Programming Agent-Oriented Language / S. Costantini ; A. Tocchio |
| Qsmodels: ASP Planning in Interactive Gaming Environment / L. Padovani ; A. Provetti |
| A System with Template Answer Set Programs / F. Calimeri ; G. Ianni ; G. Ielpa ; A. Pietramala ; M.C. Santoro |
| New DLV Features for Data Integration / M. Citrigno ; C. Cumbo ; S. Perri |
| Profiling Answer Set Programming: The Visualization Component of the noMoRe System / A. Bösel ; T. Linke |
| The PLP System / T. Wakaki ; K. Nitta |
| The MyYapDB Deductive Database System / M. Ferreira ; R. Rocha |
| InterProlog: Towards a Declarative Embedding of Logic Programming in Java / M. Calejo |
| Invited Talks |
| Representing and Reasoning with Preferences / F. Rossi |
| Engineering of Logics for the Content-Based Representation of Information / F. Baader |
| Formal Methods in Robotics / B. Nebel |
| Multi-agent Systems |
| Games for Cognitive Agents / M. Dastani ; L. van der Torre |
