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},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340}}
Papers
@inproceedings{LPAR-21:Programming_by_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},
pages = {1--13},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/ZP6P},
doi = {10.29007/w8s9}}
@inproceedings{LPAR-21:Theorem_Provers_For_Every,
author = {Tobias Glei\{\textbackslash{}ss\}ner and Alexander Steen and Christoph Benzm\textbackslash{}"uller},
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},
pages = {14--30},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/6bjv},
doi = {10.29007/jsb9}}
@inproceedings{LPAR-21:Blocked_Clauses_in_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},
pages = {31--48},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/Bl2v},
doi = {10.29007/c3wq}}
@inproceedings{LPAR-21:First_Order_Interpolation_and_Interpolating,
author = {Laura Kov\textbackslash{}'acs 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},
pages = {49--64},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/r2J},
doi = {10.29007/1qb8}}
@inproceedings{LPAR-21:Towards_Semantics_of_Unsatisfiability,
author = {Tobias Philipp and Adri\textbackslash{}'an 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},
pages = {65--84},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/V8G},
doi = {10.29007/7jgq}}
@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},
pages = {85--105},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/ND13},
doi = {10.29007/8mwc}}
@inproceedings{LPAR-21:Deep_Proof_Search_in,
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},
pages = {106--124},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/q3S},
doi = {10.29007/p1fd}}
@inproceedings{LPAR-21:TacticToe_Learning_to_Reason,
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},
pages = {125--143},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/WsM},
doi = {10.29007/ntlb}}
@inproceedings{LPAR-21:Automated_analysis_of_Stateflow,
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},
pages = {144--161},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/fPz},
doi = {10.29007/b8gq}}
@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},
pages = {162--170},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/XWg},
doi = {10.29007/g8g8}}
@inproceedings{LPAR-21:Cauliflower_Solver_Generator_for,
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},
pages = {171--180},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/bnVq},
doi = {10.29007/tbm7}}
@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},
pages = {181--199},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/nzB},
doi = {10.29007/d7t4}}
@inproceedings{LPAR-21:RACCOON_Connection_Reasoner_for,
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},
pages = {200--211},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/NXs2},
doi = {10.29007/3xxd}}
@inproceedings{LPAR-21:On_Interaction_of_Inclusion,
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},
pages = {212--226},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/Df},
doi = {10.29007/2pgn}}
@inproceedings{LPAR-21:Propagators_and_Solvers_for,
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},
pages = {227--248},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/6XKf},
doi = {10.29007/t7r9}}
@inproceedings{LPAR-21:Analyzing_Runtime_Complexity_via,
author = {Florian Frohn and J\textbackslash{}"urgen 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},
pages = {249--268},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/TPg},
doi = {10.29007/1nbh}}
@inproceedings{LPAR-21:Higher_order_interpretation_for,
author = {Emmanuel Hainry and Romain P\textbackslash{}'echoux},
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},
pages = {269--285},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/7F},
doi = {10.29007/1tkw}}
@inproceedings{LPAR-21:From_SAT_to_Maximum,
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},
pages = {286--299},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/65},
doi = {10.29007/c9f6}}
@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},
pages = {300--318},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/DG5},
doi = {10.29007/576h}}
@inproceedings{LPAR-21:Quantitative_Partial_Model_Checking_Function,
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},
pages = {319--337},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/n7j},
doi = {10.29007/rb2p}}
@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},
pages = {338--355},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/LlxW},
doi = {10.29007/gr5c}}
@inproceedings{LPAR-21:Seminator_Tool_for_Semi_Determinization,
author = {Franti\textbackslash{}v\{s\}ek Blahoudek and Alexandre Duret-Lutz and Mikul\textbackslash{}'a\textbackslash{}v\{s\} Kloko\textbackslash{}v\{c\}ka and Mojm\textbackslash{}'ir K\textbackslash{}v\{r\}et\textbackslash{}'insk\textbackslash{}'y and Jan Strej\textbackslash{}v\{c\}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},
pages = {356--367},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/Fq7c},
doi = {10.29007/k5nl}}
@inproceedings{LPAR-21:Quantified_Heap_Invariants_for,
author = {Temesghen Kahsai and Rody Kersten and Philipp R\textbackslash{}"ummer and Martin Sch\textbackslash{}"af},
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},
pages = {368--384},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/Pmh},
doi = {10.29007/zrct}}
@inproceedings{LPAR-21:Proving_uniformity_and_independence,
author = {Gilles Barthe and Thomas Espitau and Benjamin Gr\textbackslash{}'egoire 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},
pages = {385--403},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/L9T5},
doi = {10.29007/vz48}}
@inproceedings{LPAR-21:Godel_logics_and_fully,
author = {Matthias Baaz and Norbert Preining},
title = {G\textbackslash{}"odel 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},
pages = {404--416},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/xfX},
doi = {10.29007/bdbm}}
@inproceedings{LPAR-21:Bunched_Hypersequent_Calculi_for,
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},
pages = {417--434},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/sr2D},
doi = {10.29007/ngp3}}
@inproceedings{LPAR-21:uniform_framework_for_substructural,
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},
pages = {435--455},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/d5zT},
doi = {10.29007/93qg}}
@inproceedings{LPAR-21:One_Pass_Tree_Shaped_Tableau_for,
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},
pages = {456--473},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/kllw},
doi = {10.29007/3hb9}}
@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},
pages = {474--489},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/BKQ},
doi = {10.29007/bjpg}}
@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},
pages = {490--508},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/gNH},
doi = {10.29007/c2f1}}
@inproceedings{LPAR-21:Formally_Proving_Boolean_Pythagorean,
author = {Lu\textbackslash{}'is 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},
pages = {509--522},
year = {2017},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/xq6J},
doi = {10.29007/jvdj}}