On the Relations between Acceptable Programs and Stratifiable Classes.

Fábio Protti Gerson Zaverucha

Published in: SBIA (1998)

Keyphrases

fixpoint
logic programs
horn clauses
deductive databases
finite state machines
binary relations
answer sets
databases
data sets
spatial relations
semantic relations
complex objects
logic programming
nonmonotonic reasoning
computer programs
data management
data model