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