Volume
@proceedings{LPAR2023,
title = {Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Ruzica Piskac and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {94},
year = {2023},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340}}Papers
@inproceedings{LPAR2023:Formalization_of_Algebraic_Theorems,
author = {Mauricio Ayala-Rinc\textbackslash{}'on and Thaynara Arielly de Lima and Andr\textbackslash{}'eia B. Avelar and Andr\textbackslash{}'e Luiz Galdino},
title = {Formalization of Algebraic Theorems in PVS (Invited Talk)},
booktitle = {Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Ruzica Piskac and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {94},
pages = {1--10},
year = {2023},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/93F2},
doi = {10.29007/7jbv}}
@inproceedings{LPAR2023:An_Interactive_SMT_Tactic,
author = {Haniel Barbosa and Chantal Keller and Andrew Reynolds and Arjun Viswanathan and Cesare Tinelli and Clark Barrett},
title = {An Interactive SMT Tactic in Coq using Abductive Reasoning},
booktitle = {Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Ruzica Piskac and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {94},
pages = {11--22},
year = {2023},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/lNvq},
doi = {10.29007/432m}}
@inproceedings{LPAR2023:Model_Checking_Omega_Regular_Hyperproperties,
author = {Raven Beutner and Bernd Finkbeiner},
title = {Model Checking Omega-Regular Hyperproperties with AutoHyperQ},
booktitle = {Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Ruzica Piskac and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {94},
pages = {23--35},
year = {2023},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/d1VW},
doi = {10.29007/1xjt}}
@inproceedings{LPAR2023:Refining_Unification_with_Abstraction,
author = {Ahmed Bhayat and Konstantin Korovin and Laura Kovacs and Johannes Schoisswohl},
title = {Refining Unification with Abstraction},
booktitle = {Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Ruzica Piskac and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {94},
pages = {36--47},
year = {2023},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/mHz7},
doi = {10.29007/h65j}}
@inproceedings{LPAR2023:Exploring_Partial_Models_with,
author = {Martin Bromberger and Simon Schwarz and Christoph Weidenbach},
title = {Exploring Partial Models with SCL},
booktitle = {Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Ruzica Piskac and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {94},
pages = {48--72},
year = {2023},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/6jb8},
doi = {10.29007/8br1}}
@inproceedings{LPAR2023:Trace_based_Deductive_Verification,
author = {Richard Bubel and Dilian Gurov and Reiner H\textbackslash{}"ahnle and Marco Scaletta},
title = {Trace-based Deductive Verification},
booktitle = {Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Ruzica Piskac and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {94},
pages = {73--95},
year = {2023},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/XJgr},
doi = {10.29007/vdfd}}
@inproceedings{LPAR2023:How_Much_Should_This,
author = {Filip B\textbackslash{}'artek and Martin Suda},
title = {How Much Should This Symbol Weigh? A GNN-Advised Clause Selection},
booktitle = {Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Ruzica Piskac and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {94},
pages = {96--111},
year = {2023},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/2BSs},
doi = {10.29007/5f4r}}
@inproceedings{LPAR2023:Guiding_an_Instantiation_Prover,
author = {Karel Chvalovsk\textbackslash{}'y and Konstantin Korovin and Jelle Piepenbrock and Josef Urban},
title = {Guiding an Instantiation Prover with Graph Neural Networks},
booktitle = {Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Ruzica Piskac and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {94},
pages = {112--123},
year = {2023},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/5z94},
doi = {10.29007/tp23}}
@inproceedings{LPAR2023:Tighter_Abstract_Queries_in,
author = {Elazar Cohen and Yizhak Yisrael Elboher and Clark Barrett and Guy Katz},
title = {Tighter Abstract Queries in Neural Network Verification},
booktitle = {Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Ruzica Piskac and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {94},
pages = {124--143},
year = {2023},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/q7L6},
doi = {10.29007/3mk7}}
@inproceedings{LPAR2023:Keep_me_out_of,
author = {Lu\textbackslash{}'is Cruz-Filipe and Fabrizio Montesi and Robert R. Rasmussen},
title = {Keep me out of the loop: a more flexible choreographic projection},
booktitle = {Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Ruzica Piskac and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {94},
pages = {144--163},
year = {2023},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/mqzR},
doi = {10.29007/wbw3}}
@inproceedings{LPAR2023:Syntactic_computation_of_Fagin_Halpern,
author = {Omar Ettarguy and Ahlame Begdouri and Salem Benferhat and Carole Delenne},
title = {Syntactic computation of Fagin-Halpern conditioning in possibility theory},
booktitle = {Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Ruzica Piskac and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {94},
pages = {164--180},
year = {2023},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/6LgH},
doi = {10.29007/9pjn}}
@inproceedings{LPAR2023:Counterfactuals_Modulo_Temporal_Logics,
author = {Bernd Finkbeiner and Julian Siber},
title = {Counterfactuals Modulo Temporal Logics},
booktitle = {Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Ruzica Piskac and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {94},
pages = {181--204},
year = {2023},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/sWZw},
doi = {10.29007/qtw7}}
@inproceedings{LPAR2023:An_excursion_to_border,
author = {Oskar Fiuk and Emanuel Kieronski},
title = {An excursion to the border of decidability: between two- and three-variable logic},
booktitle = {Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Ruzica Piskac and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {94},
pages = {205--223},
year = {2023},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/KVm2},
doi = {10.29007/1xns}}
@inproceedings{LPAR2023:Mathematical_Benchmark_for_Inductive,
author = {Thibault Gauthier and Chad Brown and Mikol\textbackslash{}'a\textbackslash{}v\{s\} Janota and Josef Urban},
title = {A Mathematical Benchmark for Inductive Theorem Provers},
booktitle = {Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Ruzica Piskac and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {94},
pages = {224--237},
year = {2023},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/3hgH},
doi = {10.29007/jr72}}
@inproceedings{LPAR2023:SMT_Solving_over_Finite,
author = {Thomas Hader and Daniela Kaufmann and Laura Kovacs},
title = {SMT Solving over Finite Field Arithmetic},
booktitle = {Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Ruzica Piskac and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {94},
pages = {238--256},
year = {2023},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/KWWq},
doi = {10.29007/4n6w}}
@inproceedings{LPAR2023:Overapproximation_of_Non_Linear_Integer,
author = {Petra Hozzov\textbackslash{}'a and Jaroslav Bend\textbackslash{}'ik and Alexander Nutz and Yoav Rodeh},
title = {Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification},
booktitle = {Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Ruzica Piskac and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {94},
pages = {257--269},
year = {2023},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/BlrQ},
doi = {10.29007/h4p7}}
@inproceedings{LPAR2023:Fast_and_Accurate_ASP,
author = {Mohimenul Kabir and Kuldeep S Meel},
title = {A Fast and Accurate ASP Counting Based Network Reliability Estimator},
booktitle = {Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Ruzica Piskac and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {94},
pages = {270--287},
year = {2023},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/8zhh},
doi = {10.29007/kc6q}}
@inproceedings{LPAR2023:Collaborative_Inference_of_Combined,
author = {Yurii Kostyukov and Dmitry Mordvinov and Grigory Fedyukovich},
title = {Collaborative Inference of Combined Invariants},
booktitle = {Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Ruzica Piskac and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {94},
pages = {288--305},
year = {2023},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/GRNG},
doi = {10.29007/kv72}}
@inproceedings{LPAR2023:Analyzing_Multiple_Conflicts_in,
author = {Albert Oliveras and Enric Rodr\textbackslash{}'iguez Carbonell and Rui Zhao},
title = {Analyzing Multiple Conflicts in SAT: An Experimental Evaluation},
booktitle = {Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Ruzica Piskac and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {94},
pages = {306--316},
year = {2023},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/8DDd},
doi = {10.29007/fj74}}
@inproceedings{LPAR2023:Experiments_on_Infinite_Model,
author = {Julian Parsert and Chad Brown and Mikolas Janota and Cezary Kaliszyk},
title = {Experiments on Infinite Model Finding in SMT Solving},
booktitle = {Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Ruzica Piskac and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {94},
pages = {317--328},
year = {2023},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/TLbl},
doi = {10.29007/slrm}}
@inproceedings{LPAR2023:Embedding_Intuitionistic_into_Classical,
author = {Alexander Pluska and Florian Zuleger},
title = {Embedding Intuitionistic into Classical Logic},
booktitle = {Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Ruzica Piskac and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {94},
pages = {329--349},
year = {2023},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/8jNL},
doi = {10.29007/b294}}
@inproceedings{LPAR2023:On_Complexity_of_Convex,
author = {Rodrigo Raya and Jad Hamza and Viktor Kuncak},
title = {On the Complexity of Convex and Reverse Convex Prequadratic Constraints},
booktitle = {Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Ruzica Piskac and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {94},
pages = {350--368},
year = {2023},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/T6kG},
doi = {10.29007/wdd7}}
@inproceedings{LPAR2023:Representation_Verification_and_Visualization,
author = {Alexander Steen and Geoff Sutcliffe and Pascal Fontaine and Jack McKeown},
title = {Representation, Verification, and Visualization of Tarskian Interpretations for Typed First-order Logic},
booktitle = {Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Ruzica Piskac and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {94},
pages = {369--385},
year = {2023},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/PFxz},
doi = {10.29007/1rhx}}
@inproceedings{LPAR2023:Toward_Optimal_Radio_Colorings,
author = {Bernardo Subercaseaux and Marijn Heule},
title = {Toward Optimal Radio Colorings of Hypercubes via SAT-solving},
booktitle = {Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Ruzica Piskac and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {94},
pages = {386--404},
year = {2023},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/b8Cn},
doi = {10.29007/qrmp}}
@inproceedings{LPAR2023:Cartesian_Reachability_Logic_Language_parametric,
author = {Jan Tu\textbackslash{}v\{s\}il and Traian Serbanuta and Jan Obdrzalek},
title = {Cartesian Reachability Logic: A Language-parametric Logic for Verifying k-Safety Properties},
booktitle = {Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Ruzica Piskac and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {94},
pages = {405--456},
year = {2023},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/8vTf},
doi = {10.29007/1874}}
@inproceedings{LPAR2023:Scalable_Probabilistic_Routes,
author = {Suwei Yang and Victor Liang and Kuldeep S. Meel},
title = {Scalable Probabilistic Routes},
booktitle = {Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Ruzica Piskac and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {94},
pages = {457--472},
year = {2023},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/k25n},
doi = {10.29007/5t69}}
@inproceedings{LPAR2023:Logic_of_Differentiable_Logics,
author = {Natalia \textbackslash{}'Slusarz and Ekaterina Komendantskaya and Matthew Daggitt and Robert Stewart and Kathrin Stark},
title = {Logic of Differentiable Logics: Towards a Uniform Semantics of DL},
booktitle = {Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
editor = {Ruzica Piskac and Andrei Voronkov},
series = {EPiC Series in Computing},
volume = {94},
pages = {473--493},
year = {2023},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {https://easychair.org/publications/paper/Qw1c},
doi = {10.29007/c1nt}}
