Small Infinitary Epistemic Logics.

Tai-Wei Hu Mamoru Kaneko Nobu-Yuki Suzuki

Published in: Rev. Symb. Log. (2019)

Keyphrases

epistemic logic
small number
expressive power
neural network
decision making
knowledge base
real time
image processing
evolutionary algorithm
nonmonotonic reasoning