Efficient Implementation of the Well-founded and Stable Model Semantics.

Ilkka Niemelä Patrik Simons

Published in: JICSLP (1996)

Keyphrases

efficient implementation
stable model semantics
logic programs
answer set programming
stable models
logic programming
active set
rdf graphs
efficient processing
databases
database systems
derivation rules
database
answer sets
modulo theories