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