LPAR-17-short. short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning.12 articles•63 pages•Published: March 25, 2013 PapersPages 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 |
KeyphrasesAC-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 |
|