LPAR17short. short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning.12 articles•63 pages•Published: March 25, 2013 PapersPages 16  Pages 712  Pages 1314  Pages 1519  Pages 2025  Pages 2629  Pages 3034  Pages 3540  Pages 4146  Pages 4751  Pages 5257  Pages 5863 
KeyphrasesACcompletion, admissible rules, Answer Set Programming, Argumentation, associativity and commutativity, axiom, BCI logic, clause elimination, computational complexity^{2}, contractionfree logics, counterexample generation, decision procedure, dialogical logic^{2}, dialogue game^{2}, dynamics, feasibility, gradualness, Gödel logic, heuristic, higherorder logic, interactive theorem proving, intuitionistic logic, local deduction theorems, logical omniscience, model finding, nonmonotonic logic, nonmonotonic reasoning, nonrecursiveness, objectoriented programming, proof theory, puzzle, Reasoning about actions and change, ring operator, SAT, SAT preprocessing, satisfiability checking, Shostak theories, simplification, SMT solvers, stochastic search, Sudoku, tnorm logics, web mathematics, Łukasiewicz logic 
