From forgetting signature elements to forgetting formulas in epistemic states
From MaRDI portal
Publication:6163910
DOI10.1007/978-3-031-18843-5_7zbMath1524.68360OpenAlexW4312611732MaRDI QIDQ6163910
Gabriele Kern-Isberner, Kai Sauerwald, Alexander Becker, Christoph Beierle
Publication date: 26 July 2023
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-031-18843-5_7
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30)
Cites Work
- Unnamed Item
- Semantical investigations into nonmonotonic and probabilistic logics
- Solving logic program conflict through strong and weak forgettings
- Knowledge updates: Semantics and complexity issues
- On the logic of theory change: Partial meet contraction and revision functions
- A Knowledge Level Account of Forgetting
This page was built for publication: From forgetting signature elements to forgetting formulas in epistemic states
