Faster Game Solving by Fixpoint Acceleration.

Daniel Hausmann

Published in: CoRR (2024)

Keyphrases

fixpoint
logic programs
deductive databases
finite state machines
horn clauses
stable models
logic programming
proof theoretic
answer sets
nonmonotonic reasoning
recursive queries
update rule
datalog programs
model theoretic
databases
general purpose
probabilistic model
expert systems
machine learning