Relevant Justification Logic.

Nenad Savic Thomas Studer

Published in: FLAP (2019)

Keyphrases

database
logic programming
modal logic
decision trees
classical logic
real time
data structure
defeasible logic
nonmonotonic logics
digital circuits