Measuring Instability in Normal Residuated Logic Programs: Discarding Information.

Nicolás Madrid Manuel Ojeda-Aciego

Published in: IPMU (1) (2010)

Keyphrases

logic programs
background knowledge
logic programming
answer set programming
computational properties
inductive logic programming
fixpoint
artificial intelligence
answer sets
stable models
term rewriting systems