LPAR 2023: Volume Information

Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning

27 articles493 pagesPublished: June 3, 2023

Papers

Mauricio Ayala-Rincón, Thaynara Arielly de Lima, Andréia B. Avelar and André Luiz Galdino
1-10
Haniel Barbosa, Chantal Keller, Andrew Reynolds, Arjun Viswanathan, Cesare Tinelli and Clark Barrett
11-22
Raven Beutner and Bernd Finkbeiner
23-35
Ahmed Bhayat, Konstantin Korovin, Laura Kovacs and Johannes Schoisswohl
36-47
Martin Bromberger, Simon Schwarz and Christoph Weidenbach
48-72
Richard Bubel, Dilian Gurov, Reiner Hähnle and Marco Scaletta
73-95
Filip Bártek and Martin Suda
96-111
Karel Chvalovský, Konstantin Korovin, Jelle Piepenbrock and Josef Urban
112-123
Elazar Cohen, Yizhak Yisrael Elboher, Clark Barrett and Guy Katz
124-143
Luís Cruz-Filipe, Fabrizio Montesi and Robert R. Rasmussen
144-163
Omar Ettarguy, Ahlame Begdouri, Salem Benferhat and Carole Delenne
164-180
Bernd Finkbeiner and Julian Siber
181-204
Oskar Fiuk and Emanuel Kieronski
205-223
Thibault Gauthier, Chad Brown, Mikoláš Janota and Josef Urban
224-237
Thomas Hader, Daniela Kaufmann and Laura Kovacs
238-256
Petra Hozzová, Jaroslav Bendík, Alexander Nutz and Yoav Rodeh
257-269
Mohimenul Kabir and Kuldeep S Meel
270-287
Yurii Kostyukov, Dmitry Mordvinov and Grigory Fedyukovich
288-305
Albert Oliveras, Enric Rodríguez Carbonell and Rui Zhao
306-316
Julian Parsert, Chad Brown, Mikolas Janota and Cezary Kaliszyk
317-328
Alexander Pluska and Florian Zuleger
329-349
Rodrigo Raya, Jad Hamza and Viktor Kuncak
350-368
Alexander Steen, Geoff Sutcliffe, Pascal Fontaine and Jack McKeown
369-385
Bernardo Subercaseaux and Marijn Heule
386-404
Jan Tušil, Traian Serbanuta and Jan Obdrzalek
405-456
Suwei Yang, Victor Liang and Kuldeep S. Meel
457-472
Natalia Ślusarz, Ekaterina Komendantskaya, Matthew Daggitt, Robert Stewart and Kathrin Stark
473-493

Keyphrases

abduction, abstraction refinement, algebraic data types, Answer Set Programming, arithmetic2, Automata-based, automated reasoning2, automated theorem provers, automated theorem proving2, benchmark, causality, CEGAR2, Certified implementation, Choreographic Programming, Clause Evaluation, Clause selection, Collaborative Inference, computational complexity, conditioning, conflict analysis, Constrained Horn Clauses, constraints, contract-based reasoning, Coq, counterfactuals, cvc5, decidability, decision diagrams, declarative semantics, deductive verification, Differentiable Logic, distributed protocols, Euclidean Algorithms, Euclidean Domains, experimental evaluation, finite fields, finite satisfiability problem, first-order model building, first-order reasoning, formal verification, Formalization of Algebraic Structures, Fuzzy Logic, Graph Neural Network, Graph Neural Networks, hypercubes, Hyperproperties2, HyperQPTL, induction, inductive invariants, inductive theorem provers, infinite model, interpretations, intuitionistic logic, k-safety, knowledge compilation, Language-parametric, Linear Integer Arithmetic, logic, machine learning3, modal logic, model checking, model theory, mu-calculus, network reliability, neural networks, non-linear arithmetic, non-linear integer arithmetic, non-linear real arithmetic, non-redundant learning, OEIS, polynomial arithmetic, possibility theory, probabilistic logic, Promptness, proof theory, PVS, QPTL, Quaternions, radio colorings, Routing, sampling, SAT2, Satisfiability Modulo Theories, satisfiability problem, saturation-based theorem proving, SCL, smart contracts, SMT, SMT solving2, SMTCoq, SyGuS, symbolic execution, temporal logic, theorem proving2, three-variable logic, TPTP, trace contracts, Triangular Sets, two-variable logic, types, unification, Unification with Abstraction, uniform one-dimensional fragment, verification3, weighted knowledge bases, Weighted Model Counting.