LPAR23:BibTeX Entries

Volume

@proceedings{LPAR23,
  title     = {LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Elvira Albert and Laura Kovacs},
  series    = {EPiC Series in Computing},
  volume    = {73},
  year      = {2020},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340}}

Papers

@inproceedings{LPAR23:Decision_levels_are_stable,
  author    = {Robert Nieuwenhuis and Adri\textbackslash{}`a Lozano and Albert Oliveras and Enric Rodr\textbackslash{}'iguez-Carbonell},
  title     = {Decision levels are stable: towards better SAT heuristics},
  booktitle = {LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Elvira Albert and Laura Kovacs},
  series    = {EPiC Series in Computing},
  volume    = {73},
  pages     = {1--11},
  year      = {2020},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/Bz5Z},
  doi       = {10.29007/cz1f}}

@inproceedings{LPAR23:Parameter_Synthesis_for_Probabilistic,
  author    = {Erika Abraham and Ezio Bartocci and Borzoo Bonakdarpour and Oyendrila Dobe},
  title     = {Parameter Synthesis for Probabilistic Hyperproperties},
  booktitle = {LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Elvira Albert and Laura Kovacs},
  series    = {EPiC Series in Computing},
  volume    = {73},
  pages     = {12--31},
  year      = {2020},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/BTZg},
  doi       = {10.29007/37lf}}

@inproceedings{LPAR23:Finding_Small_Proofs_for,
  author    = {Christian Alrabbaa and Franz Baader and Stefan Borgwardt and Patrick Koopmann and Alisa Kovtunova},
  title     = {Finding Small Proofs for Description Logic Entailments: Theory and Practice},
  booktitle = {LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Elvira Albert and Laura Kovacs},
  series    = {EPiC Series in Computing},
  volume    = {73},
  pages     = {32--67},
  year      = {2020},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/qgX6},
  doi       = {10.29007/nhpp}}

@inproceedings{LPAR23:typed_parallel_lambda_calculus_via,
  author    = {Federico Aschieri and Agata Ciabattoni and Francesco Antonio Genco},
  title     = {A typed parallel lambda-calculus via 1-depth intermediate proofs},
  booktitle = {LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Elvira Albert and Laura Kovacs},
  series    = {EPiC Series in Computing},
  volume    = {73},
  pages     = {68--89},
  year      = {2020},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/hPQJ},
  doi       = {10.29007/g15z}}

@inproceedings{LPAR23:Learning_What_Others_Know,
  author    = {Alexandru Baltag and Sonja Smets},
  title     = {Learning What Others Know},
  booktitle = {LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Elvira Albert and Laura Kovacs},
  series    = {EPiC Series in Computing},
  volume    = {73},
  pages     = {90--119},
  year      = {2020},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/V8Jp},
  doi       = {10.29007/plm4}}

@inproceedings{LPAR23:Rotation_Based_MSS_MCS_Enumeration,
  author    = {Jaroslav Bend\textbackslash{}'ik and Ivana Cerna},
  title     = {Rotation Based MSS/MCS Enumeration},
  booktitle = {LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Elvira Albert and Laura Kovacs},
  series    = {EPiC Series in Computing},
  volume    = {73},
  pages     = {120--137},
  year      = {2020},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/rXZL},
  doi       = {10.29007/8btb}}

@inproceedings{LPAR23:Tactic_Learning_and_Proving,
  author    = {Lasse Blaauwbroek and Josef Urban and Herman Geuvers},
  title     = {Tactic Learning and Proving for the Coq Proof Assistant},
  booktitle = {LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Elvira Albert and Laura Kovacs},
  series    = {EPiC Series in Computing},
  volume    = {73},
  pages     = {138--150},
  year      = {2020},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/JLdB},
  doi       = {10.29007/wg1q}}

@inproceedings{LPAR23:Learning_Data_Structure_Shapes,
  author    = {Jan H. Boockmann and Gerald Luettgen},
  title     = {Learning Data Structure Shapes from Memory Graphs},
  booktitle = {LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Elvira Albert and Laura Kovacs},
  series    = {EPiC Series in Computing},
  volume    = {73},
  pages     = {151--168},
  year      = {2020},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/mkjl},
  doi       = {10.29007/dhpw}}

@inproceedings{LPAR23:Induction_Models_on_mathbbN,
  author    = {A. Dileep and Kuldeep S. Meel and Ammar F. Sabili},
  title     = {Induction Models on \textbackslash{}\$\textbackslash{}textbackslash\{\}mathbb\textbackslash{}\{N\textbackslash{}\}\textbackslash{}\$},
  booktitle = {LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Elvira Albert and Laura Kovacs},
  series    = {EPiC Series in Computing},
  volume    = {73},
  pages     = {169--190},
  year      = {2020},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/3WMv},
  doi       = {10.29007/kvp3}}

@inproceedings{LPAR23:Entailment_Checking_in_Separation,
  author    = {Mnacho Echenim and Radu Iosif and Nicolas Peltier},
  title     = {Entailment Checking in Separation Logic with Inductive Definitions is 2-EXPTIME hard},
  booktitle = {LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Elvira Albert and Laura Kovacs},
  series    = {EPiC Series in Computing},
  volume    = {73},
  pages     = {191--211},
  year      = {2020},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/DdNg},
  doi       = {10.29007/f5wh}}

@inproceedings{LPAR23:Verified_SAT_Solver_Framework,
  author    = {Mathias Fleury and Christoph Weidenbach},
  title     = {A Verified SAT Solver Framework including Optimization and Partial Valuations},
  booktitle = {LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Elvira Albert and Laura Kovacs},
  series    = {EPiC Series in Computing},
  volume    = {73},
  pages     = {212--229},
  year      = {2020},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/b7Cr},
  doi       = {10.29007/96wb}}

@inproceedings{LPAR23:Deep_Reinforcement_Learning_for,
  author    = {Thibault Gauthier},
  title     = {Deep Reinforcement Learning for Synthesizing Functions in Higher-Order  Logic},
  booktitle = {LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Elvira Albert and Laura Kovacs},
  series    = {EPiC Series in Computing},
  volume    = {73},
  pages     = {230--248},
  year      = {2020},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/Tctp},
  doi       = {10.29007/7jmg}}

@inproceedings{LPAR23:NACRE__Nogood_And,
  author    = {Gael Glorian and Jean-Marie Lagniez and Christophe Lecoutre},
  title     = {NACRE - A Nogood And Clause Reasoning Engine},
  booktitle = {LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Elvira Albert and Laura Kovacs},
  series    = {EPiC Series in Computing},
  volume    = {73},
  pages     = {249--259},
  year      = {2020},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/rN67},
  doi       = {10.29007/dxnb}}

@inproceedings{LPAR23:Minimal_Modifications_of_Deep,
  author    = {Ben Goldberger and Guy Katz and Yossi Adi and Joseph Keshet},
  title     = {Minimal Modifications of Deep Neural Networks using Verification},
  booktitle = {LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Elvira Albert and Laura Kovacs},
  series    = {EPiC Series in Computing},
  volume    = {73},
  pages     = {260--278},
  year      = {2020},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/CWhF},
  doi       = {10.29007/699q}}

@inproceedings{LPAR23:Polynomial_Loops_Beyond_Termination,
  author    = {Marcel Hark and Florian Frohn and J\textbackslash{}"urgen Giesl},
  title     = {Polynomial Loops: Beyond Termination},
  booktitle = {LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Elvira Albert and Laura Kovacs},
  series    = {EPiC Series in Computing},
  volume    = {73},
  pages     = {279--297},
  year      = {2020},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/Bl5n},
  doi       = {10.29007/nxv1}}

@inproceedings{LPAR23:Antiprenexing_for_WSkS_Little,
  author    = {Vojt\textbackslash{}v\{e\}ch Havlena and Luk\textbackslash{}'a\textbackslash{}v\{s\} Hol\textbackslash{}'ik and Ondrej Lengal and Ondrej Vales and Tomas Vojnar},
  title     = {Antiprenexing for WSkS: A Little Goes a Long Way},
  booktitle = {LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Elvira Albert and Laura Kovacs},
  series    = {EPiC Series in Computing},
  volume    = {73},
  pages     = {298--316},
  year      = {2020},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/4JDl},
  doi       = {10.29007/6bfc}}

@inproceedings{LPAR23:An_ASP_based_Approach_for,
  author    = {Tarek Khaled and Belaid Benhamou},
  title     = {An ASP-based Approach for Boolean Networks Representation and Attractor Detection},
  booktitle = {LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Elvira Albert and Laura Kovacs},
  series    = {EPiC Series in Computing},
  volume    = {73},
  pages     = {317--333},
  year      = {2020},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/SFdP},
  doi       = {10.29007/fb4f}}

@inproceedings{LPAR23:Triguarded_Fragment_with_Transitivity,
  author    = {Emanuel Kieronski and Adam Malinowski},
  title     = {The Triguarded Fragment with Transitivity},
  booktitle = {LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Elvira Albert and Laura Kovacs},
  series    = {EPiC Series in Computing},
  volume    = {73},
  pages     = {334--353},
  year      = {2020},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/3r7V},
  doi       = {10.29007/z359}}

@inproceedings{LPAR23:compositional_semantics_for_Repairable,
  author    = {Ra\textbackslash{}'ul E. Monti and Carlos E. Budde and Pedro R. D'Argenio},
  title     = {A compositional semantics for Repairable Fault Trees with general distributions},
  booktitle = {LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Elvira Albert and Laura Kovacs},
  series    = {EPiC Series in Computing},
  volume    = {73},
  pages     = {354--372},
  year      = {2020},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/SWBh},
  doi       = {10.29007/p16v}}

@inproceedings{LPAR23:Coloring_Unit_Distance_Strips_using,
  author    = {Peter Oostema and Ruben Martins and Marijn Heule},
  title     = {Coloring Unit-Distance Strips using SAT},
  booktitle = {LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Elvira Albert and Laura Kovacs},
  series    = {EPiC Series in Computing},
  volume    = {73},
  pages     = {373--389},
  year      = {2020},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/69T4},
  doi       = {10.29007/btmj}}

@inproceedings{LPAR23:Beyond_Symbolic_Heaps_Deciding,
  author    = {Jens Pagel and Florian Zuleger},
  title     = {Beyond Symbolic Heaps: Deciding Separation Logic With Inductive Definitions},
  booktitle = {LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Elvira Albert and Laura Kovacs},
  series    = {EPiC Series in Computing},
  volume    = {73},
  pages     = {390--408},
  year      = {2020},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/VTGk},
  doi       = {10.29007/vkmj}}

@inproceedings{LPAR23:Stateful_Premise_Selection_by,
  author    = {Bartosz Piotrowski and Josef Urban},
  title     = {Stateful Premise Selection by Recurrent Neural Networks},
  booktitle = {LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Elvira Albert and Laura Kovacs},
  series    = {EPiC Series in Computing},
  volume    = {73},
  pages     = {409--422},
  year      = {2020},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/g38n},
  doi       = {10.29007/j5hd}}

@inproceedings{LPAR23:RAT_Elimination,
  author    = {Adrian Rebola Pardo and Georg Weissenbacher},
  title     = {RAT Elimination},
  booktitle = {LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Elvira Albert and Laura Kovacs},
  series    = {EPiC Series in Computing},
  volume    = {73},
  pages     = {423--448},
  year      = {2020},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/cMtF},
  doi       = {10.29007/fccb}}

@inproceedings{LPAR23:On_Reasoning_about_Access,
  author    = {Yakoub Salhi},
  title     = {On Reasoning about Access to Knowledge},
  booktitle = {LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Elvira Albert and Laura Kovacs},
  series    = {EPiC Series in Computing},
  volume    = {73},
  pages     = {449--464},
  year      = {2020},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/TtRG},
  doi       = {10.29007/z15j}}

@inproceedings{LPAR23:Finding_Periodic_Apartments_via,
  author    = {Jarkko Savela and Emilia Oikarinen and Matti J\textbackslash{}"arvisalo},
  title     = {Finding Periodic Apartments via Boolean Satisfiability and Orderly Generation},
  booktitle = {LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Elvira Albert and Laura Kovacs},
  series    = {EPiC Series in Computing},
  volume    = {73},
  pages     = {465--482},
  year      = {2020},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/H5Tb},
  doi       = {10.29007/k8jd}}

@inproceedings{LPAR23:Sensitivity_Analysis_of_Locked,
  author    = {Joseph Sweeney and Marijn J. H. Heule and Lawrence Pileggi},
  title     = {Sensitivity Analysis of Locked Circuits},
  booktitle = {LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Elvira Albert and Laura Kovacs},
  series    = {EPiC Series in Computing},
  volume    = {73},
  pages     = {483--497},
  year      = {2020},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/HHHP},
  doi       = {10.29007/7tpd}}

@inproceedings{LPAR23:Mechanised_Semantics_for_HOL,
  author    = {Johannes \textbackslash{}r\{A\}man Pohjola and Arve Gengelbach},
  title     = {A Mechanised Semantics for HOL with Ad-hoc Overloading},
  booktitle = {LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Elvira Albert and Laura Kovacs},
  series    = {EPiC Series in Computing},
  volume    = {73},
  pages     = {498--515},
  year      = {2020},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/9Hcd},
  doi       = {10.29007/413d}}

@inproceedings{LPAR23:Models_of_Concurrent_Kleene,
  author    = {Alexandra Silva},
  title     = {Models of Concurrent Kleene Algebra},
  booktitle = {LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Elvira Albert and Laura Kovacs},
  series    = {EPiC Series in Computing},
  volume    = {73},
  pages     = {516},
  year      = {2020},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/6C8R},
  doi       = {10.29007/qp92}}