Front matter
1-16
The Well-Founded Semantics Is the Principle of Inductive Definition
Marc Denecker
17-32
Combining Introspection and Communication with Rationality and Reactivity in Agents
Pierangelo Dell’Acqua, Fariba Sadri and Francesca Toni
33-46
Disjunctive Logic Program = Horn Program + Control Program
Wenjin Lu and Ulrich Furbach
47-62
Semantics of Partial-Order Programs
Mauricio Osorio
62-77
Persistence and Minimality in Epistemic Logic
Wiebe van der Hoek, Jan Jaspars and Elias Thijsse
77-91
Prohairetic Deontic Logic (PDL)
Leendert W. N. van der Torre and Yao-Hua Tan
92-106
Phased Labeled Logics of Conditional Goals
Leendert W. N. van der Torre
107-121
Analysis of Distributed-Search Contraction-Based Strategies
Maria Paola Bonacina
122-138
A Deduction Method Complete for Refutation and Finite Satisfiability
François Bry and Sunna Torge
139-153
Requirement-Based Cooperative Theorem Proving
Dirk Fuchs
154-168
℧-Resolution: An Inference Rule for Regular Multiple-Valued Logics
Sonia M. Leach, James J. Lu, Neil V. Murray and Erik Rosenthal
169-184
A Matrix Characterization for MELL
\mathcal{M}\mathcal{E}\mathcal{L}\mathcal{L}
Heiko Mantel and Christoph Kreitz
184-198
A Resolution Calculus for Dynamic Semantics
Christof Monz and Maarten de Rijke
199-215
Algorithms on Atomic Representations of Herbrand Models
Reinhard Pichler
216-232
On the Intertranslatability of Autoepistemic, Default and Priority Logics, and Parallel Circumscription
Tomi Janhunen
233-247
An Approach to Query-Answering in Reiter’s Default Logic and the Underlying Existence of Extensions Problem
Thomas Linke and Torsten Schaub
248-263
Towards State Update Axioms: Reifying Successor State Axioms
Michael Thielscher
264-278
A Mechanised Proof System for Relation Algebra Using Display Logic
Jeremy E. Dawson and Rajeev Goré
279-293
Relative Similarity Logics are Decidable: Reduction to FO2 with Equality
Stéphane Demri and Beata Konikowska
294-308
A Conditional Logic for Belief Revision
Laura Giordano, Valentina Gliozzi and Nicola Olivetti
309-323
Implicates and Reduction Techniques for Temporal Logics
Inman P. de Guzmán, Manuel Ojeda-Aciego and Augustín Valverde
324-342
A Logic for Anytime Deduction and Anytime Compilation
Frédéric Koriche
342-354
On Knowledge, Strings, and Paradoxes
Manfred Kerber
355-367
Propositional Lower Bounds: Generalization and Algorithms
Marco Cadoli, Luigi Palopoli and Francesco Scarcello
368-381
Higher Order Generalization
Jianguo Lu, Masateru Harao and Masami Hagiya
382-384
The Logical Characterization of Goal-Directed Behavior in the Presence of Exogenous Events Summary
Erik Sandewall
385-390
Towards Inference and Computation Mobility: The Jinni Experiment
Paul Tarau
Back matter