LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations10 articles•130 pages•Published: December 18, 2015 PapersPages 1-14 | Pages 15-27 | Pages 28-41 | Pages 42-58 | Pages 59-66 | Pages 67-80 | Pages 81-93 | Pages 94-105 | Pages 106-118 | Pages 119-130 |
KeyphrasesAnswer Set Program, automated deduction, B method, Boolean circuits, Choose operator, classical logic, compilation, conflict analysis, constructive logic, deduction modulo, Dedukti, Description Logic, Double negation translation, Encoding for SMT solver, first-order logic, Hilbert's epsilon operator, inconsistency-tolerant, linear lambda calculus, linear logic, logics, MSO, opinion, P-time Completeness, QBF2, quantification, quantifier elimination, Russell's definite description operator, set theory, SMT2, strategies, Subjective Logic, symbolic automata, Tableau, theorem proving, traces, translation, Typed Proof Search, user preferences, Verification-aware programming language, Zenon Modulo |
|