Tableau Proof Systems for Justification Logics.

Published in: CoRR (2014)

Keyphrases

reason maintenance
knowledge based systems
database
real time
machine learning
multi agent
search algorithm
distributed systems