Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning27 articles•493 pages•Published: June 3, 2023 PapersPages 110  Pages 1122  Pages 2335  Pages 3647  Pages 4872  Pages 7395  Pages 96111  Pages 112123  Pages 124143  Pages 144163  Pages 164180  Pages 181204  Pages 205223  Pages 224237  Pages 238256  Pages 257269  Pages 270287  Pages 288305  Pages 306316  Pages 317328  Pages 329349  Pages 350368  Pages 369385  Pages 386404  Pages 405456  Pages 457472  Pages 473493 
Keyphrasesabduction, abstraction refinement, algebraic data types, Answer Set Programming, arithmetic^{2}, Automatabased, automated reasoning^{2}, automated theorem provers, automated theorem proving^{2}, benchmark, causality, CEGAR^{2}, Certified implementation, Choreographic Programming, Clause Evaluation, Clause selection, Collaborative Inference, computational complexity, conditioning, conflict analysis, Constrained Horn Clauses, constraints, contractbased 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, firstorder model building, firstorder reasoning, formal verification, Formalization of Algebraic Structures, Fuzzy Logic, Graph Neural Network, Graph Neural Networks, hypercubes, Hyperproperties^{2}, HyperQPTL, induction, inductive invariants, inductive theorem provers, infinite model, interpretations, intuitionistic logic, ksafety, knowledge compilation, Languageparametric, Linear Integer Arithmetic, logic, machine learning^{3}, modal logic, model checking, model theory, mucalculus, network reliability, neural networks, nonlinear arithmetic, nonlinear integer arithmetic, nonlinear real arithmetic, nonredundant learning, OEIS, polynomial arithmetic, possibility theory, probabilistic logic, Promptness, proof theory, PVS, QPTL, Quaternions, radio colorings, Routing, sampling, SAT^{2}, Satisfiability Modulo Theories, satisfiability problem, saturationbased theorem proving, SCL, smart contracts, SMT, SMT solving^{2}, SMTCoq, SyGuS, symbolic execution, temporal logic, theorem proving^{2}, threevariable logic, TPTP, trace contracts, Triangular Sets, twovariable logic, types, unification, Unification with Abstraction, uniform onedimensional fragment, verification^{3}, weighted knowledge bases, Weighted Model Counting 
