Computing Non-Ground Representations of Stable Models.

Thomas Eiter James J. Lu V. S. Subrahmanian

Published in: LPNMR (1997)

Keyphrases

stable models
logic programs
normal logic programs
logic programming
answer set programming
fixpoint
general theory
stable model semantics
deductive databases
logic programs with negation
databases
answer set programs
loop formulas
machine learning
strong equivalence
bayesian networks
data mining