Computing Stable and Partial Stable Models of Extended Disjunctive Logic Programs.

Carolina Ruiz Jack Minker

Published in: NMELP (1994)

Keyphrases

stable models
disjunctive logic programs
logic programs
stable model semantics
answer set programming
logic programming
fixpoint
deductive databases
derivation rules
minimal models
answer sets
polynomial hierarchy
object oriented
disjunctive logic programming
reasoning tasks
default theories
desirable properties