On Axiomatization of Epistemic GDL.

Guifei Jiang Laurent Perrussel Dongmo Zhang

Published in: LORI (2017)

Keyphrases

belief change
situation calculus
logic program updates
epistemic logic
general theory
dynamic epistemic logic
general game playing
computer vision
objective function
cooperative
logic programs
data mining
neural network
modal operators
complete axiomatization
computation tree logic
database