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