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