Revision Programs with Explicit Negation.

Yisong Wang Mingyi Zhang

Published in: ICTAC (2004)

Keyphrases

fixpoint
logic programs
stable models
stable model semantics
knowledge base
answer sets
normal logic programs
logic programming
belief revision
computer programs
high level
deductive databases
belief change
derivation rules
fixpoint semantics
automatic programming
database
machine learning