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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
year = {2023}}
Papers
@inproceedings{LPAR2023:Formalization_Algebraic_Theorems_PVS,
author = {Mauricio Ayala-Rincón and Thaynara Arielly de Lima and Andréia B. Avelar and André 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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/93F2},
doi = {10.29007/7jbv},
pages = {1-10},
year = {2023}}
@inproceedings{LPAR2023:Interactive_SMT_Tactic_Coq,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/lNvq},
doi = {10.29007/432m},
pages = {11-22},
year = {2023}}
@inproceedings{LPAR2023:Model_Checking_Omega_Regular,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/d1VW},
doi = {10.29007/1xjt},
pages = {23-35},
year = {2023}}
@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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/mHz7},
doi = {10.29007/h65j},
pages = {36-47},
year = {2023}}
@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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/6jb8},
doi = {10.29007/8br1},
pages = {48-72},
year = {2023}}
@inproceedings{LPAR2023:Trace_based_Deductive_Verification,
author = {Richard Bubel and Dilian Gurov and Reiner Hähnle 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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/XJgr},
doi = {10.29007/vdfd},
pages = {73-95},
year = {2023}}
@inproceedings{LPAR2023:How_Much_Should_This,
author = {Filip Bártek 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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/2BSs},
doi = {10.29007/5f4r},
pages = {96-111},
year = {2023}}
@inproceedings{LPAR2023:Guiding_Instantiation_Prover_with,
author = {Karel Chvalovský 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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/5z94},
doi = {10.29007/tp23},
pages = {112-123},
year = {2023}}
@inproceedings{LPAR2023:Tighter_Abstract_Queries_Neural,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/q7L6},
doi = {10.29007/3mk7},
pages = {124-143},
year = {2023}}
@inproceedings{LPAR2023:Keep_me_out_loop,
author = {Luís 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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/mqzR},
doi = {10.29007/wbw3},
pages = {144-163},
year = {2023}}
@inproceedings{LPAR2023:Syntactic_computation_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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/6LgH},
doi = {10.29007/9pjn},
pages = {164-180},
year = {2023}}
@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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/sWZw},
doi = {10.29007/qtw7},
pages = {181-204},
year = {2023}}
@inproceedings{LPAR2023:excursion_border_decidability_between,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/KVm2},
doi = {10.29007/1xns},
pages = {205-223},
year = {2023}}
@inproceedings{LPAR2023:Mathematical_Benchmark_Inductive_Theorem,
author = {Thibault Gauthier and Chad Brown and Mikoláš 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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/3hgH},
doi = {10.29007/jr72},
pages = {224-237},
year = {2023}}
@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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/KWWq},
doi = {10.29007/4n6w},
pages = {238-256},
year = {2023}}
@inproceedings{LPAR2023:Overapproximation_Non_Linear_Integer,
author = {Petra Hozzová and Jaroslav Bendík 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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/BlrQ},
doi = {10.29007/h4p7},
pages = {257-269},
year = {2023}}
@inproceedings{LPAR2023:Fast_Accurate_ASP_Counting,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/8zhh},
doi = {10.29007/kc6q},
pages = {270-287},
year = {2023}}
@inproceedings{LPAR2023:Collaborative_Inference_Combined_Invariants,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/GRNG},
doi = {10.29007/kv72},
pages = {288-305},
year = {2023}}
@inproceedings{LPAR2023:Analyzing_Multiple_Conflicts_SAT,
author = {Albert Oliveras and Enric Rodríguez 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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/8DDd},
doi = {10.29007/fj74},
pages = {306-316},
year = {2023}}
@inproceedings{LPAR2023:Experiments_Infinite_Model_Finding,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/TLbl},
doi = {10.29007/slrm},
pages = {317-328},
year = {2023}}
@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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/8jNL},
doi = {10.29007/b294},
pages = {329-349},
year = {2023}}
@inproceedings{LPAR2023:Complexity_Convex_Reverse_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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/T6kG},
doi = {10.29007/wdd7},
pages = {350-368},
year = {2023}}
@inproceedings{LPAR2023:Representation_Verification_Visualization_Tarskian,
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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/PFxz},
doi = {10.29007/1rhx},
pages = {369-385},
year = {2023}}
@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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/b8Cn},
doi = {10.29007/qrmp},
pages = {386-404},
year = {2023}}
@inproceedings{LPAR2023:Cartesian_Reachability_Logic_Language,
author = {Jan Tuš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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/8vTf},
doi = {10.29007/1874},
pages = {405-456},
year = {2023}}
@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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/k25n},
doi = {10.29007/5t69},
pages = {457-472},
year = {2023}}
@inproceedings{LPAR2023:Logic_Differentiable_Logics_Towards,
author = {Natalia Ślusarz 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},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2398-7340},
url = {/publications/paper/Qw1c},
doi = {10.29007/c1nt},
pages = {473-493},
year = {2023}}
