LPAR-20: Volume Information
Volume:Ansgar Fehnker, Annabelle McIver, Geoff Sutcliffe and Andrei Voronkov (editors).
LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations

Volume Information

Title:LPAR-20. 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations
Editors:Ansgar Fehnker, Annabelle McIver, Geoff Sutcliffe and Andrei Voronkov
Series:EPiC Series in Computing
Volume:35
Pages:130
Publication date:December 18, 2015

Papers

AuthorsTitlePages
Negin Arhami and Geoff SutcliffeAutomated Theorem Proving by Translation to Description Logic1-14
Nikolaj Bjorner and Mikolas JanotaPlaying with Quantified Satisfaction15-27
Nikolaj Bjorner, Mikolas Janota and William KlieberOn Conflicts and Strategies in QBF28-41
Guillaume Bury, David Delahaye, Damien Doligez, Pierre Halmagrand and Olivier HermantAutomated Deduction in the B Set Theory using Typed Proof Search and Deduction Modulo42-58
Loris D'Antoni and Margus VeanesSymbolic WS1S59-66
Graham Deane, Krysia Broda and Alessandra RussoReasoning in the presence of inconsistency through Preferential ALC67-80
Frederic GilbertA Lightweight Double-negation Translation81-93
Hoang Nam Ho, Mourad Rabah, Samuel Nowakowski and Pascal EstraillierApplication of Trace-Based Subjective Logic to User Preferences Modeling94-105
Rustan LeinoCompiling Hilbert's epsilon operator106-118
Satoshi MatsuokaA New Proof of P-time Completeness of Linear Lambda Calculus119-130

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, 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.