LPAR 2023: Volume InformationProceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning27 articles•493 pages•Published: June 3, 2023 PapersMauricio 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 |
Keyphrasesabduction, 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. |
|