Modular Primal-Dual Fixpoint Logic Solving for Temporal Verification.

Hiroshi Unno Tachio Terauchi Yu Gu Eric Koskinen

Published in: Proc. ACM Program. Lang. (2023)

Keyphrases

primal dual
fixpoint
linear programming problems
infeasible interior point
interior point algorithm
proof theoretic
logic programs
linear programming
simplex method
logic programming

horn clauses
deductive databases
linear program
convex optimization
affine scaling
convex optimization problems
model theoretic
algorithm for linear programming
approximation algorithms
convergence rate

interior point methods
simplex algorithm
semidefinite programming
finite state machines
stable models
fixpoint semantics
nonmonotonic reasoning
sql queries
model checking
proof theory

datalog programs
databases
answer sets
background knowledge
np hard
optimal solution
inference rules
total variation
inductive logic programming