17th LPAR Conference: Accepted Short Papers

Jasmin Christian Blanchette:
Nitpick: A Counterexample Generator for Isabelle/HOL Based on the Relational Model Finder Kodkod
Hannes Strass, Michael Thielscher:
Default Reasoning in Action Domains with Conditional, Non-Local Effect Actions
Beishui Liao, Li Jin, Robert Koons:
Dynamics of Argumentation Systems: A Basic Theory
Matthias Baaz, Oliver Fasching:
Gödel logics with an operator shifting truth values
Marijn Heule, Matti Järvisalo, Armin Biere:
Covered Clause Elimination
Sara L. Uckelman, Jesse Alama:
Playing Lorenzen Dialogue Games on the Web
Sara L. Uckelman and Jesse Alama:
Proof rules for the dialogical logic N
Sylvain Conchon, Evelyne Contejean, Iguernelala Mohamed:
Ground Associative and Commutative Completion Modulo Shostak Theories
Libor Behounek:
Feasibility as a gradual notion
Uwe Pfeiffer, Tomas Karnagel, Guido Scheffler:
A Sudoku-Solver for Large Puzzles using SAT
Petr Cintula, George Metcalfe:
Complexity of Admissible Rules in the Implication-Negation Fragment of Intuitionistic Logic
Karel Chvalovský, Petr Cintula:
Note on Deduction Theorems in Contraction-Free Logics