Login / Signup
Founded (Auto)Epistemic Equilibrium Logic Satisfies Epistemic Splitting.
Jorge Fandinno
Published in:
CoRR (2019)
Keyphrases
</>
belief change
logic program updates
epistemic logic
learning algorithm
computer vision
pattern recognition
special case
logic programs
modal operators
dynamic epistemic logic
computation tree logic