Volume
@proceedings{LPAR-21,
title = {LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Thomas Eiter and David Sands},
series = {EPiC Series in Computing},
volume = {46},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
year = {2017}}
Papers
@inproceedings{LPAR-21:Programming_Composing_Filters,
author = {Jeffrey Fischer and Rupak Majumdar},
title = {Programming by Composing Filters},
booktitle = {LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Thomas Eiter and David Sands},
series = {EPiC Series in Computing},
volume = {46},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/ZP6P},
doi = {10.29007/w8s9},
pages = {1-13},
year = {2017}}
@inproceedings{LPAR-21:Theorem_Provers_Every_Normal,
author = {Tobias Gleißner and Alexander Steen and Christoph Benzmüller},
title = {Theorem Provers For Every Normal Modal Logic},
booktitle = {LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Thomas Eiter and David Sands},
series = {EPiC Series in Computing},
volume = {46},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/6bjv},
doi = {10.29007/jsb9},
pages = {14-30},
year = {2017}}
@inproceedings{LPAR-21:Blocked_Clauses_First_Order,
author = {Benjamin Kiesl and Martin Suda and Martina Seidl and Hans Tompits and Armin Biere},
title = {Blocked Clauses in First-Order Logic},
booktitle = {LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Thomas Eiter and David Sands},
series = {EPiC Series in Computing},
volume = {46},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/Bl2v},
doi = {10.29007/c3wq},
pages = {31-48},
year = {2017}}
@inproceedings{LPAR-21:First_Order_Interpolation_Interpolating,
author = {Laura Kovács and Andrei Voronkov},
title = {First-Order Interpolation and Interpolating Proof Systems},
booktitle = {LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Thomas Eiter and David Sands},
series = {EPiC Series in Computing},
volume = {46},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/r2J},
doi = {10.29007/1qb8},
pages = {49-64},
year = {2017}}
@inproceedings{LPAR-21:Towards_Semantics_Unsatisfiability_Proofs,
author = {Tobias Philipp and Adrián Rebola-Pardo},
title = {Towards a Semantics of Unsatisfiability Proofs with Inprocessing},
booktitle = {LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Thomas Eiter and David Sands},
series = {EPiC Series in Computing},
volume = {46},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/V8G},
doi = {10.29007/7jgq},
pages = {65-84},
year = {2017}}
@inproceedings{LPAR-21:Deep_Network_Guided_Proof,
author = {Sarah Loos and Geoffrey Irving and Christian Szegedy and Cezary Kaliszyk},
title = {Deep Network Guided Proof Search},
booktitle = {LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Thomas Eiter and David Sands},
series = {EPiC Series in Computing},
volume = {46},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/ND13},
doi = {10.29007/8mwc},
pages = {85-105},
year = {2017}}
@inproceedings{LPAR-21:Deep_Proof_Search_MELL,
author = {Ozan Kahramanogullari},
title = {Deep Proof Search in MELL},
booktitle = {LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Thomas Eiter and David Sands},
series = {EPiC Series in Computing},
volume = {46},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/q3S},
doi = {10.29007/p1fd},
pages = {106-124},
year = {2017}}
@inproceedings{LPAR-21:TacticToe_Learning_Reason_with,
author = {Thibault Gauthier and Cezary Kaliszyk and Josef Urban},
title = {TacticToe: Learning to Reason with HOL4 Tactics},
booktitle = {LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Thomas Eiter and David Sands},
series = {EPiC Series in Computing},
volume = {46},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/WsM},
doi = {10.29007/ntlb},
pages = {125-143},
year = {2017}}
@inproceedings{LPAR-21:Automated_analysis_Stateflow_models,
author = {Hamza Bourbouh and Pierre-Loic Garoche and Christophe Garion and Arie Gurfinkel and Temesghen Kahsai and Xavier Thirioux},
title = {Automated analysis of Stateflow models},
booktitle = {LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Thomas Eiter and David Sands},
series = {EPiC Series in Computing},
volume = {46},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/fPz},
doi = {10.29007/b8gq},
pages = {144-161},
year = {2017}}
@inproceedings{LPAR-21:Quantified_Boolean_Formulas_Call,
author = {Josef Lindsberger and Alexander Maringele and Georg Moser},
title = {Quantified Boolean Formulas: Call the Plumber!},
booktitle = {LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Thomas Eiter and David Sands},
series = {EPiC Series in Computing},
volume = {46},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/XWg},
doi = {10.29007/g8g8},
pages = {162-170},
year = {2017}}
@inproceedings{LPAR-21:Cauliflower_Solver_Generator_Context,
author = {Nicholas Hollingum and Bernhard Scholz},
title = {Cauliflower: a Solver Generator for Context-Free Language Reachability},
booktitle = {LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Thomas Eiter and David Sands},
series = {EPiC Series in Computing},
volume = {46},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/bnVq},
doi = {10.29007/tbm7},
pages = {171-180},
year = {2017}}
@inproceedings{LPAR-21:Decidable_linear_list_constraints,
author = {Sabine Bauer and Martin Hofmann},
title = {Decidable linear list constraints},
booktitle = {LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Thomas Eiter and David Sands},
series = {EPiC Series in Computing},
volume = {46},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/nzB},
doi = {10.29007/d7t4},
pages = {181-199},
year = {2017}}
@inproceedings{LPAR-21:RACCOON_Connection_Reasoner_Description,
author = {Dimas Melo Filho and Fred Freitas and Jens Otten},
title = {RACCOON: A Connection Reasoner for the Description Logic ALC},
booktitle = {LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Thomas Eiter and David Sands},
series = {EPiC Series in Computing},
volume = {46},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/NXs2},
doi = {10.29007/3xxd},
pages = {200-211},
year = {2017}}
@inproceedings{LPAR-21:Interaction_Inclusion_Dependencies_with,
author = {Miika Hannula and Juha Kontinen and Sebastian Link},
title = {On the Interaction of Inclusion Dependencies with Independence Atoms},
booktitle = {LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Thomas Eiter and David Sands},
series = {EPiC Series in Computing},
volume = {46},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/Df},
doi = {10.29007/2pgn},
pages = {212-226},
year = {2017}}
@inproceedings{LPAR-21:Propagators_Solvers_Algebra_Modular,
author = {Bart Bogaerts and Eugenia Ternovska and David Mitchell},
title = {Propagators and Solvers for the Algebra of Modular Systems},
booktitle = {LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Thomas Eiter and David Sands},
series = {EPiC Series in Computing},
volume = {46},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/6XKf},
doi = {10.29007/t7r9},
pages = {227-248},
year = {2017}}
@inproceedings{LPAR-21:Analyzing_Runtime_Complexity_via,
author = {Florian Frohn and Jürgen Giesl},
title = {Analyzing Runtime Complexity via Innermost Runtime Complexity},
booktitle = {LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Thomas Eiter and David Sands},
series = {EPiC Series in Computing},
volume = {46},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/TPg},
doi = {10.29007/1nbh},
pages = {249-268},
year = {2017}}
@inproceedings{LPAR-21:Higher_order_interpretation_higher,
author = {Emmanuel Hainry and Romain Péchoux},
title = {Higher order interpretation for higher order complexity},
booktitle = {LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Thomas Eiter and David Sands},
series = {EPiC Series in Computing},
volume = {46},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/7F},
doi = {10.29007/1tkw},
pages = {269-285},
year = {2017}}
@inproceedings{LPAR-21:From_SAT_Maximum_Independent,
author = {Yazid Boumarafi and Lakhdar Sais and Yakoub Salhi},
title = {From SAT to Maximum Independent Set: A New Approach to Characterize Tractable Classes},
booktitle = {LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Thomas Eiter and David Sands},
series = {EPiC Series in Computing},
volume = {46},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/65},
doi = {10.29007/c9f6},
pages = {286-299},
year = {2017}}
@inproceedings{LPAR-21:Parallel_Graph_Rewriting_with,
author = {Rachid Echahed and Aude Maignan},
title = {Parallel Graph Rewriting with Overlapping Rules},
booktitle = {LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Thomas Eiter and David Sands},
series = {EPiC Series in Computing},
volume = {46},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/DG5},
doi = {10.29007/576h},
pages = {300-318},
year = {2017}}
@inproceedings{LPAR-21:Quantitative_Partial_Model_Checking,
author = {Stefano Bistarelli and Fabio Martinelli and Ilaria Matteucci and Francesco Santini},
title = {A Quantitative Partial Model-Checking Function and Its Optimisation},
booktitle = {LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Thomas Eiter and David Sands},
series = {EPiC Series in Computing},
volume = {46},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/n7j},
doi = {10.29007/rb2p},
pages = {319-337},
year = {2017}}
@inproceedings{LPAR-21:Synchronizing_Constrained_Horn_Clauses,
author = {Dmitry Mordvinov and Grigory Fedyukovich},
title = {Synchronizing Constrained Horn Clauses},
booktitle = {LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Thomas Eiter and David Sands},
series = {EPiC Series in Computing},
volume = {46},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/LlxW},
doi = {10.29007/gr5c},
pages = {338-355},
year = {2017}}
@inproceedings{LPAR-21:Seminator_Tool_Semi_Determinization,
author = {František Blahoudek and Alexandre Duret-Lutz and Mikuláš Klokočka and Mojmír Křetínský and Jan Strejček},
title = {Seminator: A Tool for Semi-Determinization of Omega-Automata},
booktitle = {LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Thomas Eiter and David Sands},
series = {EPiC Series in Computing},
volume = {46},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/Fq7c},
doi = {10.29007/k5nl},
pages = {356-367},
year = {2017}}
@inproceedings{LPAR-21:Quantified_Heap_Invariants_Object,
author = {Temesghen Kahsai and Rody Kersten and Philipp Rümmer and Martin Schäf},
title = {Quantified Heap Invariants for Object-Oriented Programs},
booktitle = {LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Thomas Eiter and David Sands},
series = {EPiC Series in Computing},
volume = {46},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/Pmh},
doi = {10.29007/zrct},
pages = {368-384},
year = {2017}}
@inproceedings{LPAR-21:Proving_uniformity_independence_self,
author = {Gilles Barthe and Thomas Espitau and Benjamin Grégoire and Justin Hsu and Pierre-Yves Strub},
title = {Proving uniformity and independence by self-composition and coupling},
booktitle = {LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Thomas Eiter and David Sands},
series = {EPiC Series in Computing},
volume = {46},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/L9T5},
doi = {10.29007/vz48},
pages = {385-403},
year = {2017}}
@inproceedings{LPAR-21:Gödel_logics_fully_boxed,
author = {Matthias Baaz and Norbert Preining},
title = {Gödel logics and the fully boxed fragment of LTL},
booktitle = {LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Thomas Eiter and David Sands},
series = {EPiC Series in Computing},
volume = {46},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/xfX},
doi = {10.29007/bdbm},
pages = {404-416},
year = {2017}}
@inproceedings{LPAR-21:Bunched_Hypersequent_Calculi_Distributive,
author = {Agata Ciabattoni and Revantha Ramanayake},
title = {Bunched Hypersequent Calculi for Distributive Substructural Logics},
booktitle = {LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Thomas Eiter and David Sands},
series = {EPiC Series in Computing},
volume = {46},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/sr2D},
doi = {10.29007/ngp3},
pages = {417-434},
year = {2017}}
@inproceedings{LPAR-21:uniform_framework_substructural_logics,
author = {Bjoern Lellmann and Carlos Olarte and Elaine Pimentel},
title = {A uniform framework for substructural logics with modalities},
booktitle = {LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Thomas Eiter and David Sands},
series = {EPiC Series in Computing},
volume = {46},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/d5zT},
doi = {10.29007/93qg},
pages = {435-455},
year = {2017}}
@inproceedings{LPAR-21:One_Pass_Tree_Shaped,
author = {Nicola Gigante and Angelo Montanari and Mark Reynolds},
title = {A One-Pass Tree-Shaped Tableau for LTL+Past},
booktitle = {LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Thomas Eiter and David Sands},
series = {EPiC Series in Computing},
volume = {46},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/kllw},
doi = {10.29007/3hb9},
pages = {456-473},
year = {2017}}
@inproceedings{LPAR-21:Coq_without_Type_Casts,
author = {Jean-Pierre Jouannaud and Pierre-Yves Strub},
title = {Coq without Type Casts: A Complete Proof of Coq Modulo Theory},
booktitle = {LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Thomas Eiter and David Sands},
series = {EPiC Series in Computing},
volume = {46},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/BKQ},
doi = {10.29007/bjpg},
pages = {474-489},
year = {2017}}
@inproceedings{LPAR-21:Reasoning_about_Translation_Lookaside,
author = {Hira Syeda and Gerwin Klein},
title = {Reasoning about Translation Lookaside Buffers},
booktitle = {LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Thomas Eiter and David Sands},
series = {EPiC Series in Computing},
volume = {46},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/gNH},
doi = {10.29007/c2f1},
pages = {490-508},
year = {2017}}
@inproceedings{LPAR-21:Formally_Proving_Boolean_Pythagorean,
author = {Luís Cruz-Filipe and Peter Schneider-Kamp},
title = {Formally Proving the Boolean Pythagorean Triples Conjecture},
booktitle = {LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Thomas Eiter and David Sands},
series = {EPiC Series in Computing},
volume = {46},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/xq6J},
doi = {10.29007/jvdj},
pages = {509-522},
year = {2017}}