Well-founded Abduction via Tabled Dual Programs.

José Júlio Alferes Luís Moniz Pereira Terrance Swift

Published in: ICLP (1999)

Keyphrases

logic programming
control structures
provably correct
real time
data sets
logic programs
answer sets
stable models
automatic programming
abductive reasoning
artificial intelligence
website
search algorithm
background knowledge
causal networks