Categories for Fixpoint-Semantics

Daniel J. Lehmann

Published in: FOCS (1976)

Keyphrases

fixpoint semantics
logic programs
deductive databases
fixpoint
model theoretic
closed world assumption
datalog programs
logic programming
integrity constraints
artificial intelligence
data model
data complexity
stable models
declarative semantics