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},
  year      = {2017},
  publisher = {EasyChair},
  bibsource = {EasyChair, http://www.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, http://www.easychair.org},
  issn      = {2398-7340}}

@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, http://www.easychair.org},
  issn      = {2398-7340}}

@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, http://www.easychair.org},
  issn      = {2398-7340}}

@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, http://www.easychair.org},
  issn      = {2398-7340}}

@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, http://www.easychair.org},
  issn      = {2398-7340}}

@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, http://www.easychair.org},
  issn      = {2398-7340}}

@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, http://www.easychair.org},
  issn      = {2398-7340}}

@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, http://www.easychair.org},
  issn      = {2398-7340}}

@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, http://www.easychair.org},
  issn      = {2398-7340}}

@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, http://www.easychair.org},
  issn      = {2398-7340}}

@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, http://www.easychair.org},
  issn      = {2398-7340}}

@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, http://www.easychair.org},
  issn      = {2398-7340}}

@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, http://www.easychair.org},
  issn      = {2398-7340}}

@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, http://www.easychair.org},
  issn      = {2398-7340}}

@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, http://www.easychair.org},
  issn      = {2398-7340}}

@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, http://www.easychair.org},
  issn      = {2398-7340}}

@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, http://www.easychair.org},
  issn      = {2398-7340}}

@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, http://www.easychair.org},
  issn      = {2398-7340}}

@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, http://www.easychair.org},
  issn      = {2398-7340}}

@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, http://www.easychair.org},
  issn      = {2398-7340}}

@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, http://www.easychair.org},
  issn      = {2398-7340}}

@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, http://www.easychair.org},
  issn      = {2398-7340}}

@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, http://www.easychair.org},
  issn      = {2398-7340}}

@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, http://www.easychair.org},
  issn      = {2398-7340}}

@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, http://www.easychair.org},
  issn      = {2398-7340}}

@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, http://www.easychair.org},
  issn      = {2398-7340}}

@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, http://www.easychair.org},
  issn      = {2398-7340}}

@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, http://www.easychair.org},
  issn      = {2398-7340}}

@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, http://www.easychair.org},
  issn      = {2398-7340}}

@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, http://www.easychair.org},
  issn      = {2398-7340}}

@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, http://www.easychair.org},
  issn      = {2398-7340}}