Login / Signup
A Connection between Cantor-Bendixson Derivatives and the Well-Founded Semantics of Logic Programs.
Douglas Cenzer
Jeffrey B. Remmel
Published in:
ISAIM (2008)
Keyphrases
</>
semantics of logic programs
deductive databases
logic programs
answer sets
fixpoint
logic programming
nonlinear dynamical systems
truth values
database