Stable model semantics for founded bounds.

Rehan Abdul Aziz Geoffrey Chu Peter J. Stuckey

Published in: Theory Pract. Log. Program. (2013)

Keyphrases

stable model semantics
logic programs
answer set programming
stable models
normal logic programs
logic programming
lower bound
answer sets
derivation rules
rdf graphs
general purpose
integrity constraints
fixpoint
database
relational databases
expert systems
case study
machine learning