An abductive framework for computing knowledge base updates.

Chiaki Sakama Katsumi Inoue

Published in: Theory Pract. Log. Program. (2003)

Keyphrases

knowledge base
main contribution
logic programming
lightweight
abductive logic programming
real time
neural network
relational databases
rule base
conceptual framework
data mining
multi agent
video sequences
probabilistic model
description logics
knowledge acquisition