Justification logics and hybrid logics.

Published in: J. Appl. Log. (2010)

Keyphrases

expressive power
modal logic
inference rules
nonmonotonic logics
database
real time
machine learning
computer vision
database systems
computational properties
decision procedures
propositional calculus