LPAR20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning  Short Presentations10 articles•130 pages•Published: December 18, 2015 PapersPages 114  Pages 1527  Pages 2841  Pages 4258  Pages 5966  Pages 6780  Pages 8193  Pages 94105  Pages 106118  Pages 119130 
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, firstorder logic, Hilbert's epsilon operator, inconsistencytolerant, linear lambda calculus, linear logic, logics, MSO, opinion, Ptime Completeness, QBF^{2}, quantification, quantifier elimination, Russell's definite description operator, set theory, SMT^{2}, strategies, Subjective Logic, symbolic automata, Tableau, theorem proving, traces, translation, Typed Proof Search, user preferences, Verificationaware programming language, Zenon Modulo 
