Nonmonotonic Reasoning in Description Logic by Tableaux Algorithm with Blocking.

Jaromir Malenko Petr Stepánek

Published in: Description Logics (2012)

Keyphrases

description logics
nonmonotonic reasoning
logic programming
databases
knowledge base
artificial intelligence
bayesian networks
logic programs
np complete