Derivation Procedures for Extended Stable Models.

Luís Moniz Pereira Joaquim Nunes Aparício José Júlio Alferes

Published in: IJCAI (1991)

Keyphrases

stable models
logic programs
logic programming
derivation rules
normal logic programs
fixpoint
stable model semantics
general theory
answer set programming
deductive databases
answer sets
databases
general purpose
domain knowledge
hidden markov models
strong equivalence
answer set programs
high level