Login / Signup
First Results on How to Certify Subsumptions Computed by the EL Reasoner ELK Using the Logical Framework with Side Conditions.
Franz Baader
Patrick Koopmann
Cesare Tinelli
Published in:
Description Logics (2020)
Keyphrases
</>
logical framework
inference rules
reasoning tasks
belief revision
description logics
possibilistic logic
temporal reasoning
knowledge base
linear logic
sufficient conditions
higher order logic
normative systems
query answering
coalition logic
epistemic logic
probability distribution
dynamic programming
np hard