Knowledge forgetting: Properties and applications

Baral, 2005, Knowledge updates: Semantic and complexity issues, Artificial Intelligence, 164, 209, 10.1016/j.artint.2005.01.005 Blackburn, 2001 van Ditmarsch, 2000 van Ditmarsch, 2006, The logic of pit, Synthese, 149, 343, 10.1007/s11229-005-4331-5 van Ditmarsch, 2007 H. van Ditmarsch, A. Herzig, J. Lang, P. Marquis, Introspective forgetting, in: Proceedings of the 21st Australian Joint Conference on Artificial Intelligence (AI 2008), 2008, pp. 18–29 P. Doherty, W. Lukaszewicz, E. Madalińska-Bugaj, The PMA and relativizing change for action update, in: Proceedings of International Conference on Knowledge Representation and Reasoning (KR-1998), 1998, pp. 258–269 Eiter, 2008, Semantic forgetting in answer set programming, Artificial Intelligence, 172, 1644, 10.1016/j.artint.2008.05.002 Fagin, 1995 T. French, Bisimulation quantifier logics: Undecidability, in: Proceedings of FSTTCS 2005, 2005, pp. 369–407 Gardenfors, 1988 Ghilardi, 1995, Undefinability of propositional quantifiers in the modal system S4, Studia Logica, 55, 259, 10.1007/BF01061237 S. Ghilardi, C. Lutz, F. Wolter, M. Zawadowski, Conservative extensions in modal logic, in: Proceedings of Advances in Modal Logic (AiML-2006), 2006 Herzig, 1999, Propositional belief base update and minimal change, Artificial Intelligence, 115, 107, 10.1016/S0004-3702(99)00072-7 H. Katsuno, A. Mendelzon, On the difference between updating a knowledge base and revising it, in: Proceedings of KR-91, 1991, pp. 387–394 J. Lang, P. Marquis, Resolving inconsistencies by variable forgetting, in: Proceedings of the 8th International Conference on Principles of Knowledge Representation and Reasoning (KR-2002), 2002, pp. 239–250 Lang, 2003, Propositional independence – Formula-variable independence and forgetting, Journal of Artificial Intelligence Research, 18, 391, 10.1613/jair.1113 J. Lang, Belief update revisited, in: Proceedings of IJCAI, 2007, pp. 2517–2522 F. Lin, R. Reiter, Forget it! in: Working Notes of AAAI Fall Symposium on Relevance, 1994, pp. 154–159 Lin, 2001, On the strongest necessary and weakest sufficient conditions, Artificial Intelligence, 128, 143, 10.1016/S0004-3702(01)00070-4 Meyer, 1995 van der Meyden, 2003, Complete axiomatization for reasoning about knowledge and branching time, Studia Logica, 75, 93, 10.1023/A:1026181001368 R. van der Meyden, T. Wilke, Preservation of epistemic properties in security protocol implementations, in: Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2007), 2007, pp. 212–221 Schwartz, 2003, Agent-oriented epistemic reasoning: Subjective conditions of knowledge and belief, Artificial Intelligence, 148, 177, 10.1016/S0004-3702(03)00022-5 Su, 2004, Reasoning about knowledge by variable forgetting, 576 Zhang, 2006, Solving logic program conflict through strong and weak forgettings, Artificial Intelligence (AIJ), 170, 739, 10.1016/j.artint.2006.02.002 Y. Zhang, Y. Zhou, Properties of knowledge forgetting, in: Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR-2008), 2008, pp. 68–75