LPAR-21: BibTeX Entries

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}}