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