LPAR 2023: Volume Information

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

Papers

Keyphrases

abduction, abstraction refinement, algebraic data types, Answer Set Programming, arithmetic², Automata-based, automated reasoning², automated theorem provers, automated theorem proving², benchmark, causality, CEGAR², 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, Hyperproperties², HyperQPTL, induction, inductive invariants, inductive theorem provers, infinite model, interpretations, intuitionistic logic, k-safety, knowledge compilation, Language-parametric, Linear Integer Arithmetic, logic, machine learning³, 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, SAT², Satisfiability Modulo Theories, satisfiability problem, saturation-based theorem proving, SCL, smart contracts, SMT, SMT solving², SMTCoq, SyGuS, symbolic execution, temporal logic, theorem proving², three-variable logic, TPTP, trace contracts, Triangular Sets, two-variable logic, types, unification, Unification with Abstraction, uniform one-dimensional fragment, verification³, weighted knowledge bases, Weighted Model Counting.