Forgetting Formulas and Signature Elements in Epistemic States.

Alexander Becker Gabriele Kern-Isberner Kai Sauerwald Christoph Beierle

Published in: CoRR (2021)

Keyphrases

epistemic states
belief revision
incremental learning
graphical models
theorem prover
belief change
signature scheme