Login / Signup
On fixpoint objects and gluing constructions.
Roy L. Crole
Published in:
Appl. Categorical Struct. (1996)
Keyphrases
</>
fixpoint
logic programs
deductive databases
database
nonmonotonic reasoning
horn clauses
model theoretic
logic programming
proof theoretic
probabilistic model
finite state machines
datalog programs
databases
first order logic
answer sets
update rule