Founded (Auto)Epistemic Equilibrium Logic Satisfies Epistemic Splitting.

Published in: Theory Pract. Log. Program. (2019)

Keyphrases

belief change
epistemic logic
database

dynamic epistemic logic
high level
database systems

cooperative
training set
belief revision

computation tree logic
logic program updates