List of accepted papers in alphabetical order.

Author Title
Bonacina Analysis of distributed-search contraction-based strategies
Bry, Torge A Deduction Method Complete for Refutation and Finite Satisfiability
Cadoli, Palopoli, Scarallo Propositional Lower Bounds: Generalization and Algorithms
Dawson, Gore A Mechanised Proof System for Relation Algebra using Display Logic
Dell'Acqua, Sadri, Toni Combining introspection and communication with rationality and reactivity in agents
Demri, Konikowska Relative Similarity Logics are Decidable: Reduction to FO2 with Equality
Denecker The Well-founded Semantics Is the Principle of Inductive Definition
Fuchs Requirement-Based Cooperative Theorem Proving
Giordano, Gliozzi, Olivetti A Conditional Logic for Belief Revision
Guzman, Ojeda-Aciego, Valverde Implicates and reduction techniques for temporal logics
Hoeck, Jaspars, Thijsse Persistence and Minimality in Epistemic Logic
Janhunen On the Expressive Power of Autoepistemic, Default and Priority Logic and Parallel Circumscription
Kerber On Knowledge, Strings, and Paradoxes
Koriche A Logic for Anytime Deduction and Anytime Compilation
Linke, Schaub An approach to query-answering in Reiter's default logic and the underlying existence of extensions problem
Lu, Furbach Disjunctive Logic Program = Horn Program + Control Program
Lu, Hagiya, Harao Higher Order Generalization
Lu, Murray, Rosenthal Mho-Resolution: An Inference Rule for Regular Multiple-Valued Logics
Mantel, Kreitz A Matrix Characterization for MELL
Monz, Rijke A Resolution Calculus for Dynamic Semantics
Osorio Semantics of Partial-Order Programs
Pichler Algorithms on Atomic Representations of Herbrand Models
Thielscher Towards State Update Axioms: Reifying Successor State Axioms
Torre Phased Labeled Logics of Conditional Goals
Torre, Tan Prohairetic Deontic Logic (PDL)

Created and maintained by: Bernd Thomas