Learning by Erasing in Dynamic Epistemic Logic
From MaRDI portal
Publication:3618595
DOI10.1007/978-3-642-00982-2_31zbMath1234.68167OpenAlexW1557067244MaRDI QIDQ3618595
Publication date: 2 April 2009
Published in: Language and Automata Theory and Applications (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-00982-2_31
Computational learning theory (68Q32) Logics of knowledge and belief (including belief change) (03B42)
Related Items
Learning Actions Models: Qualitative Approach ⋮ A modal logic for supervised learning ⋮ Agency and Interaction What We Are and What We Do in Formal Epistemology ⋮ Truth-tracking by belief revision ⋮ Finite identification from the viewpoint of epistemic update
Cites Work
- Dynamic epistemic logic
- Belief revision in the service of scientific discovery
- Learning by the process of elimination
- Logics for epistemic programs
- Learning by erasing
- The Problem of Learning the Semantics of Quantifiers
- Identification through Inductive Verification
- On the logic of theory change: Partial meet contraction and revision functions
- Language identification in the limit
- Unnamed Item
This page was built for publication: Learning by Erasing in Dynamic Epistemic Logic