Fixpoint games on continuous lattices.

Paolo Baldan Barbara König Christina Mika-Michalski Tommaso Padoan

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

Keyphrases

fixpoint
logic programs
deductive databases
finite state machines
horn clauses
update rule
model theoretic
stable models
nonmonotonic reasoning
fixpoint semantics
answer sets
datalog programs
logic programming
recursive queries
machine learning
data mining
domain knowledge