LPAR20: Volume InformationLPAR20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning  Short Presentations10 articles•130 pages•Published: December 18, 2015 PapersKeyphrasesAnswer 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. 
