LPAR-17-short: Author Index

Author	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