Abstract is missing.
- The Well-Founded Semantics Is the Principle of Inductive DefinitionMarc Denecker. 1-16 [doi]
- Combining Introspection and Communication with Rationality and Reactivity in AgentsPierangelo Dell Acqua, Fariba Sadri, Francesca Toni. 17-32 [doi]
- Disjunctive Logic Program = Horn Program + Control ProgramWenjin Lu, Ulrich Furbach. 33-46 [doi]
- Semantics of Partial-Order ProgramsMauricio Osorio. 47-61 [doi]
- Persistence and Minimality in Epistemic LogicWiebe van der Hoek, Jan Jaspars, Elias Thijsse. 62-76 [doi]
- Prohairetic Deontic Logic (PDL)Leendert W. N. van der Torre, Yao-Hua Tan. 77-91 [doi]
- Phased Labeled Logics of Conditional GoalsLeendert W. N. van der Torre. 92-106 [doi]
- Analysis of Distributed-Search Contraction-Based StrategiesMaria Paola Bonacina. 107-121 [doi]
- A Deduction Method Complete for Refutation and Finite SatisfiabilityFrançois Bry, Sunna Torge. 122-138 [doi]
- Requirement-Based Cooperative Theorem ProvingDirk Fuchs. 139-153 [doi]
- Omega-Resolution: An Inference Rule for Regular Multiple-Valued LogicsSonia M. Leach, James J. Lu, Neil V. Murray, Erik Rosenthal. 154-168 [doi]
- A Matrix Characterization for MELLHeiko Mantel, Christoph Kreitz. 169-183 [doi]
- A Resolution Calculus for Dynamic SemanticsChristof Monz, Maarten de Rijke. 184-198 [doi]
- Algorithms on Atomic Representations of Herbrand ModelsReinhard Pichler. 199-215 [doi]
- On the Intertranslatability of Autoepistemic, Default and Priority Logics, and Parallel CircumscriptionTomi Janhunen. 216-232 [doi]
- An Approach to Query-Answering in Reiter s Default Logic and the Underlying Existence of Extensions ProblemThomas Linke, Torsten Schaub. 233-247 [doi]
- Towards State Update Axioms: Reifying Successor State AxiomsMichael Thielscher. 248-263 [doi]
- A Mechanised Proof System for Relation Algebra using Display LogicJeremy E. Dawson, Rajeev Goré. 264-278 [doi]
- Relative Similarity Logics are Decidable: Reduction to FO:::2::: with EqualityStéphane Demri, Beata Konikowska. 279-293 [doi]
- A Conditional Logic for Belief RevisionLaura Giordano, Valentina Gliozzi, Nicola Olivetti. 294-308 [doi]
- Implicates and Reduction Techniques for Temporal LogicsInman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde. 309-323 [doi]
- A Logic for Anytime Deduction and Anytime CompilationFrédéric Koriche. 324-341 [doi]
- On Knowledge, Strings, and ParadoxesManfred Kerber. 342-354 [doi]
- Propositional Lower Bounds: Generalization and AlgorithmsMarco Cadoli, Luigi Palopoli, Francesco Scarcello. 355-367 [doi]
- Higher Order GeneralizationJianguo Lu, Masateru Harao, Masami Hagiya. 368-381 [doi]
- The Logical Characterization of Goal-Directed Behavior in the Presence of Exogenous EventsErik Sandewall. 382-384 [doi]
- Towards Inference and Computation Mobility: The Jinni ExperimentPaul Tarau. 385-390 [doi]