Reifying Default Reasons in Justification Logic.

Published in: DKB/KIK@KI (2019)

Keyphrases

logic programming
classical logic
automated reasoning
nonmonotonic inference
modal logic
digital circuits
asynchronous circuits
real time
multi valued
epistemic logic
proof theory
data sets
machine learning
logical framework
defeasible logic
predicate logic