EasyChair Publications
Search
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

LPAR-20 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
Publication date:December 18, 2015

Papers

AuthorsTitlePagesPDF
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

CountKeyphrase
2qbf, smt
1answer 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, quantification, quantifier elimination, russell s definite description operator, set theory, strategies, subjective logic, symbolic automata, tableau, theorem proving, traces, translation, typed proof search, user preferences, verification aware programming language, zenon modulo