Tableau-based revision in SHIQ.

Thinh Dong Chan Le Duc Philippe Bonnot Myriam Lamolle

Published in: Description Logics (2015)

Keyphrases

description logics
knowledge base
belief revision
knowledge representation
reasoning tasks
dl lite
theory revision
search engine
decision problems
propositional logic