Decomposition of Declarative Knowledge Bases with External Functions.

Thomas Eiter Michael Fink Thomas Krennwallner

Published in: IJCAI (2009)

Keyphrases

knowledge base
knowledge representation
abductive logic programming
high level
description logics
neural network
knowledge acquisition
semantic network
decomposition method
database
search engine
expert systems
knowledge based systems
basis functions
formal representation