Login / Signup
Bridging the Gap between Tableau and Consequence-Based Reasoning.
Yevgeny Kazakov
Pavel Klinov
Published in:
Description Logics (2014)
Keyphrases
</>
description logics
databases
bayesian networks
relational databases
fuzzy logic
logic programming
dynamic environments
automated theorem proving