LPAR-17-short:Author Index

AuthorPapers
A
Alama, JesseProof rules for the dialogical logic N
Playing Lorenzen Dialogue Games on the Web
B
Baaz, MatthiasGödel logics with an operator shifting truth values
Behounek, LiborFeasibility as a gradual notion
Biere, ArminCovered Clause Elimination
Blanchette, Jasmin ChristianNitpick: A Counterexample Generator for Isabelle/HOL Based on the Relational Model Finder Kodkod
C
Chvalovský, KarelNote on Deduction Theorems in Contraction-Free Logics
Cintula, PetrNote on Deduction Theorems in Contraction-Free Logics
Complexity of Admissible Rules in the Implication-Negation Fragment of Intuitionistic Logic
Conchon, SylvainGround Associative and Commutative Completion Modulo Shostak Theories
Contejean, ÉvelyneGround Associative and Commutative Completion Modulo Shostak Theories
F
Fasching, OliverGödel logics with an operator shifting truth values
H
Heule, MarijnCovered Clause Elimination
I
Iguernlala, MohamedGround Associative and Commutative Completion Modulo Shostak Theories
J
Jin, LiDynamics of Argumentation Systems: A Basic Theory
Järvisalo, MattiCovered Clause Elimination
K
Karnagel, TomasA Sudoku-Solver for Large Puzzles using SAT
Koons, RobertDynamics of Argumentation Systems: A Basic Theory
L
Liao, BeishuiDynamics of Argumentation Systems: A Basic Theory
M
Metcalfe, GeorgeComplexity of Admissible Rules in the Implication-Negation Fragment of Intuitionistic Logic
P
Pfeiffer, UweA Sudoku-Solver for Large Puzzles using SAT
S
Scheffler, GuidoA Sudoku-Solver for Large Puzzles using SAT
Strass, HannesDefault Reasoning in Action Domains with Conditional, Non-Local Effect Actions
T
Thielscher, MichaelDefault 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