Generalized Stable Models, Truth Maintenance and Conflict Resolution.

Laura Giordano Alberto Martelli

Published in: ICLP (1990)

Keyphrases

conflict resolution
truth maintenance
stable models
logic programs
logic programming
normal logic programs
stable model semantics
resolve conflicts
answer set programming
deductive databases
fixpoint
answer sets
resolving conflicts
nonmonotonic reasoning
truth maintenance systems
inductive logic programming