Login / Signup
On the relationship between fuzzy description logics and many-valued modal logics.
Marco Cerami
Francesc Esteva
Àngel García-Cerdaña
Published in:
Int. J. Approx. Reason. (2018)
Keyphrases
</>
modal logic
fuzzy description logics
decision procedures
description logics
temporal logic
inference rules
situation calculus
reasoning tasks
nonmonotonic logics
epistemic logic
fuzzy ontology
default logic
dl lite
automated reasoning
fuzzy information
theorem proving
query answering
model checking