Study of Random Logic Programs.

Gayathri Namasivayam

Published in: ICLP (2009)

Keyphrases

logic programs
logic programming
answer sets
answer set programming
fixpoint
stable models
background knowledge
answer set semantics
inductive logic programming
computational properties
normal logic programs
data model
knowledge representation
stable model semantics
prolog programs