Epistemic Equilibrium Logic.

Luis Fariñas del Cerro Andreas Herzig Ezgi Iraz Su

Published in: IJCAI (2015)

Keyphrases

belief change
epistemic logic
social networks
control system
input image
logic program updates
data sets
information systems
web services
search algorithm
pattern recognition
multi agent systems
special case
belief revision
dynamic epistemic logic
independent natural extension