LPAR-17-short. short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning.

12 articles63 pagesPublished: March 25, 2013


Pages 1-6
Pages 7-12
Pages 13-14
Pages 15-19
Pages 20-25
Pages 26-29
Pages 30-34
Pages 35-40
Pages 41-46
Pages 47-51
Pages 52-57
Pages 58-63


AC-completion, admissible rules, Answer Set Programming, Argumentation, associativity and commutativity, axiom, BCI logic, clause elimination, computational complexity2, contraction-free logics, counterexample generation, decision procedure, dialogical logic2, dialogue game2, dynamics, feasibility, gradualness, Gödel logic, heuristic, higher-order logic, interactive theorem proving, intuitionistic logic, local deduction theorems, logical omniscience, model finding, non-monotonic logic, non-monotonic reasoning, non-recursiveness, object-oriented programming, proof theory, puzzle, Reasoning about actions and change, ring operator, SAT, SAT preprocessing, satisfiability checking, Shostak theories, simplification, SMT solvers, stochastic search, Sudoku, t-norm logics, web mathematics, Łukasiewicz logic