What Are Justification Logics?

Published in: Fundam. Informaticae (2019)

Keyphrases

expressive power
modal logic
inference rules
learning algorithm
information systems
classical logic
nonmonotonic logics
real time
information retrieval
web services
knowledge representation formalisms
proof procedures