Dynamic Epistemic Logics of Introspection.

Raul Fervari Fernando R. Velázquez-Quesada

Published in: DALI@TABLEAUX (2017)

Keyphrases

search algorithm
dynamic environments
real world
data mining
decision making
decision trees
expert systems
artificial neural networks
dynamically changing
autoepistemic logic