Negation as Failure and Constraints through Abduction and Defaults.

Laura Giordano Alberto Martelli Maria Luisa Sapino

Published in: AI*IA (1991)

Keyphrases

logic programming
default reasoning
constraint satisfaction
logic programs
background knowledge
default logic
databases
data model
belief revision
constraint programming
constrained optimization
global constraints
linear constraints
failure rate
abductive reasoning
derivation rules