A Fixpoint Semantics for Reasoning about Finite Failure.

Published in: LPAR (1999)

Keyphrases

fixpoint semantics
logic programs
fixpoint
deductive databases
model theoretic
closed world assumption
datalog programs
data complexity
logic programming
databases
expert systems
query processing
description logics
constraint satisfaction
stable models