Isoinitial Models for Logic Programs: Some Preliminary Results.

Kung-Kiu Lau Mario Ornaghi

Published in: ICLP (1999)

Keyphrases

logic programs
logic programming
background knowledge
fixpoint
answer set programming
stable models
answer sets
parameter estimation
inductive logic programming
prolog programs
semantics for logic programs
high level
computational properties
stable model semantics
normal logic programs