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