Generating maximal models using the stable model semantics.

Juan Carlos Nieves Mauricio Osorio

Published in: LA-NMR (2007)

Keyphrases

logic programs
logic programming
situation calculus
stable models
semantics for logic programs
machine learning
general purpose
semantic web
fixpoint
normal logic programs
databases
query processing
data integration