IK 2007.

Kirsten Bergmann Marcus Blümel

Published in: Künstliche Intell. (2007)

Keyphrases

artificial intelligence
propositional formulas
search algorithm
database systems
bayesian networks
knowledge base
np hard
decision makers
knowledge acquisition
natural language
description logics
np complete