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

Papers

@inproceedings{LPAR23:Decision_levels_are_stable,
  author    = {Robert Nieuwenhuis and Adrià Lozano and Albert Oliveras and Enric Rodríguez-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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/Bz5Z},
  doi       = {10.29007/cz1f},
  pages     = {1-11},
  year      = {2020}}


@inproceedings{LPAR23:Parameter_Synthesis_Probabilistic_Hyperproperties,
  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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/BTZg},
  doi       = {10.29007/37lf},
  pages     = {12-31},
  year      = {2020}}


@inproceedings{LPAR23:Finding_Small_Proofs_Description,
  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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/qgX6},
  doi       = {10.29007/nhpp},
  pages     = {32-67},
  year      = {2020}}


@inproceedings{LPAR23:typed_parallel_lambda_calculus,
  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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/hPQJ},
  doi       = {10.29007/g15z},
  pages     = {68-89},
  year      = {2020}}


@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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/V8Jp},
  doi       = {10.29007/plm4},
  pages     = {90-119},
  year      = {2020}}


@inproceedings{LPAR23:Rotation_Based_MSS/MCS_Enumeration,
  author    = {Jaroslav Bendík 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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/rXZL},
  doi       = {10.29007/8btb},
  pages     = {120-137},
  year      = {2020}}


@inproceedings{LPAR23:Tactic_Learning_Proving_Coq,
  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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/JLdB},
  doi       = {10.29007/wg1q},
  pages     = {138-150},
  year      = {2020}}


@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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/mkjl},
  doi       = {10.29007/dhpw},
  pages     = {151-168},
  year      = {2020}}


@inproceedings{LPAR23:Induction_Models_$\mathbb{N}$,
  author    = {A. Dileep and Kuldeep S. Meel and Ammar F. Sabili},
  title     = {Induction Models on $\mathbb{N}$},
  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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/3WMv},
  doi       = {10.29007/kvp3},
  pages     = {169-190},
  year      = {2020}}


@inproceedings{LPAR23:Entailment_Checking_Separation_Logic,
  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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/DdNg},
  doi       = {10.29007/f5wh},
  pages     = {191-211},
  year      = {2020}}


@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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/b7Cr},
  doi       = {10.29007/96wb},
  pages     = {212-229},
  year      = {2020}}


@inproceedings{LPAR23:Deep_Reinforcement_Learning_Synthesizing,
  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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/Tctp},
  doi       = {10.29007/7jmg},
  pages     = {230-248},
  year      = {2020}}


@inproceedings{LPAR23:NACRE_Nogood_Clause_Reasoning,
  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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/rN67},
  doi       = {10.29007/dxnb},
  pages     = {249-259},
  year      = {2020}}


@inproceedings{LPAR23:Minimal_Modifications_Deep_Neural,
  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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/CWhF},
  doi       = {10.29007/699q},
  pages     = {260-278},
  year      = {2020}}


@inproceedings{LPAR23:Polynomial_Loops_Beyond_Termination,
  author    = {Marcel Hark and Florian Frohn and Jürgen 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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/Bl5n},
  doi       = {10.29007/nxv1},
  pages     = {279-297},
  year      = {2020}}


@inproceedings{LPAR23:Antiprenexing_WSkS_Little_Goes,
  author    = {Vojtěch Havlena and Lukáš Holík 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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/4JDl},
  doi       = {10.29007/6bfc},
  pages     = {298-316},
  year      = {2020}}


@inproceedings{LPAR23:ASP_based_Approach_Boolean,
  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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/SFdP},
  doi       = {10.29007/fb4f},
  pages     = {317-333},
  year      = {2020}}


@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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/3r7V},
  doi       = {10.29007/z359},
  pages     = {334-353},
  year      = {2020}}


@inproceedings{LPAR23:compositional_semantics_Repairable_Fault,
  author    = {Raúl 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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/SWBh},
  doi       = {10.29007/p16v},
  pages     = {354-372},
  year      = {2020}}


@inproceedings{LPAR23:Coloring_Unit_Distance_Strips,
  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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/69T4},
  doi       = {10.29007/btmj},
  pages     = {373-389},
  year      = {2020}}


@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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/VTGk},
  doi       = {10.29007/vkmj},
  pages     = {390-408},
  year      = {2020}}


@inproceedings{LPAR23:Stateful_Premise_Selection_Recurrent,
  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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/g38n},
  doi       = {10.29007/j5hd},
  pages     = {409-422},
  year      = {2020}}


@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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/cMtF},
  doi       = {10.29007/fccb},
  pages     = {423-448},
  year      = {2020}}


@inproceedings{LPAR23:Reasoning_about_Access_Knowledge,
  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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/TtRG},
  doi       = {10.29007/z15j},
  pages     = {449-464},
  year      = {2020}}


@inproceedings{LPAR23:Finding_Periodic_Apartments_via,
  author    = {Jarkko Savela and Emilia Oikarinen and Matti Järvisalo},
  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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/H5Tb},
  doi       = {10.29007/k8jd},
  pages     = {465-482},
  year      = {2020}}


@inproceedings{LPAR23:Sensitivity_Analysis_Locked_Circuits,
  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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/HHHP},
  doi       = {10.29007/7tpd},
  pages     = {483-497},
  year      = {2020}}


@inproceedings{LPAR23:Mechanised_Semantics_HOL_with,
  author    = {Johannes Å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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/9Hcd},
  doi       = {10.29007/413d},
  pages     = {498-515},
  year      = {2020}}


@inproceedings{LPAR23:Models_Concurrent_Kleene_Algebra,
  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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/6C8R},
  doi       = {10.29007/qp92},
  pages     = {516},
  year      = {2020}}