A Novel Derivation Framework For Definite Logic Program.

Mengjun Li Zhoujun Li Huowang Chen Ti Zhou

Published in: Electron. Notes Theor. Comput. Sci. (2008)

Keyphrases

logic programs
logic programming
background knowledge
stable models
fixpoint
answer sets
extended logic programs
answer set programming
incomplete information
nonmonotonic reasoning
general logic programs
logic program updates