LPAR 2024: 25TH CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING
TALK KEYWORD INDEX

This page contains an index consisting of author-provided keywords.

A
Abstract Interpretation
action model
Admissibility
Andrews-Curtis conjecture
Arithmetic
Arrays
Artificial Intelligence
automated inductive reasoning
automated reasoning
automated software verification
Automated Theorem Proving
AWS
B
bags
base conversion
belief change
blockchain protocols
Blocked-clause Addition
Bounded-Tree Width
btor2mlir
Bubble sort
Business
BV
C
Cached rewriting
call-by-name
call-by-value
certification
Challenges
CHC Solving
choice
CNF formulas
combinatorial group theory
Commerce
concept alignment
confluence
Conjecturing
Constrained Horn Clauses
constraint solving
Containerisation
Coq
CTL
cut-elimination
Cylindric Algebraic Decomposition
D
Data Science
datalog
Dataset-Specific
decision lists
Decision Procedure
deep inference
dependent HOL
dependent type theory
Description logics
E
E prover
E Theorem Prover
eBPF
epistemic logic
epistemic process
epsilon calculus
Evaluation
evaluation strategies
F
Facilitator
Financial Services Sector
First Order Logic
first-order theorem proving
FOL Provers
formal methods
Free-Variable Tableaux
fusion
fuzzy logic
G
game semantics
game-theoretic security
Games semantics
Graph Grammars
guarded commands
H
Hash Indexes
Herbrand sequents
higher-order logic
Hilbert's epsilon formalism
Human intuition
hypergraphs
I
incentive compatibility
Incremental SAT
Induction
Inductive proofs
Inferentialism
Internships
intersection types
Intuitionistic Logic
involutory quandles
K
Knowledge representation
Kubernetes
L
lambda calculus
Large Language Models
Limited Resources
linear logic
LIRA
Logic
Logic Programming
logical frameworks
lookahead
M
Machine learning
Mauritius
MCSAT
Metamodeling
MLL
Modal logic
model checking
Model Counting
Monadic Second Order Logic
N
Natural Language
Natural Style Proving
non-linear integer arithmetic
nondeterminism
NP-hardness
numeric bases
O
Ontologies
operational semantics
Opportunities
P
parallel reduction
Partial correctness
Portfolio of Strategies
Preprocessing
primitive recursive arithmetic
Probabilistic Programs
program optimization
Program verification
Prolog
Proof Certificate
proof checking
Proof schema
proof search
Proof Theory
proof transformation
proof translation
proof-net
Proof-Search Procedures
Proof-theoretic Semantics
Proofs
propositional dynamic logic
Propositional Logic
protocol verification
Q
Quantifier Elimination
quantitative models
quantum verification
R
Reasoning
Recommendation Systems
recursive programs
relations
Resolution calculus
Resolution-based
resource logic
Reuse
Rewriting
Risks
S
SAT
SAT-solving
satisfiability
Satisfiability Modulo Theories
Saturation
Saturation-based proving
Security
Sequences
sequent calculus
Sequent system
Set theory
sets
Shared terms
simulation
Skolemization
Small Data
SMT
Solidity
Solve business problems
sorting
sorting algorithms
sorting networks
SQL
StarExec
Static analysis
Steamroller Problems
Strategies
Strategy Invention
Strategy Scheduling
Superposition
superposition calculus
symbolic abstraction
symbolic automaton
Symbolic Enumeration
symbolic execution
Symbolic Model Checking
synthesis
system description
T
tables
tangles
TBA1
TBA2
TBA3
temporal logic
term rewriting
Termination
Test coverage
Testcase Generation
Theorem Proving
Theorema
Theory combination
Theory politeness
Transfer Learning
Transition System
trust
tuple-generating dependencies
V
Verification
Virtual Substitution
W
weakest liberal precondition
Weakest Preconditions