A Note on Strong Dinaturality, Initial Algebras and Uniform Parameterized Fixpoint Operators.

Published in: FICS (2010)

Keyphrases

fixpoint
logic programs
deductive databases
finite state machines
fixpoint semantics
stable models
answer sets
logic programming
model theoretic
horn clauses
datalog programs
high level
nonmonotonic reasoning
bayesian networks
update rule