LPAR-20: Volume Information

LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations

Papers

Keyphrases

Answer 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, QBF², quantification, quantifier elimination, Russell's definite description operator, set theory, SMT², strategies, Subjective Logic, symbolic automata, Tableau, theorem proving, traces, translation, Typed Proof Search, user preferences, Verification-aware programming language, Zenon Modulo.