Knowledge forgetting: Properties and applications

[1]  Andreas Herzig,et al.  Introspective forgetting , 2008, Synthese.

[2]  Tim French,et al.  Simulation and Information: Quantifying over Epistemic Events , 2009, KRAMAS.

[3]  Kewen Wang,et al.  Semantic forgetting in answer set programming , 2008, Artif. Intell..

[4]  Thomas Wilke,et al.  Preservation of epistemic properties in security protocol implementations , 2007, TARK '07.

[5]  W. Hoek,et al.  Dynamic Epistemic Logic , 2007 .

[6]  Jérôme Lang,et al.  Belief Update Revisited , 2007, IJCAI.

[7]  Carsten Lutz,et al.  Conservative extensions in modal logic , 2006, Advances in Modal Logic.

[8]  Hans van Ditmarsch,et al.  The Logic of Pit , 2006, Synthese.

[9]  Tim French.  Bisimulation Quantified Logics: Undecidability , 2005, FSTTCS.

[10]  Norman Y. Foo,et al.  Solving Logic Program Conflict through Strong and Weak Forgettings , 2005, IJCAI.

[11]  Yan Zhang,et al.  Knowledge updates: Semantics and complexity issues , 2005, Artif. Intell..

[12]  Yan Zhang,et al.  Reasoning about Knowledge by Variable Forgetting , 2004, KR.

[13]  J. Lang,et al.  Propositional Independence - Formula-Variable Independence and Forgetting , 2011, J. Artif. Intell. Res..

[14]  Ron van der Meyden,et al.  Complete Axiomatizations for Reasoning about Knowledge and Branching Time , 2003, Stud Logica.

[15]  Daniel G. Schwartz,et al.  Agent-oriented epistemic reasoning: Subjective conditions of knowledge and belief , 2003, Artif. Intell..

[16]  Pierre Marquis,et al.  Resolving Inconsistencies by Variable Forgetting , 2002, KR.

[17]  Fangzhen Lin,et al.  On strongest necessary and weakest sufficient conditions , 2000, Artif. Intell..

[18]  M. de Rijke,et al.  Modal Logic , 2001, Cambridge Tracts in Theoretical Computer Science.

[19]  Andreas Herzig,et al.  Propositional Belief Base Update and Minimal Change , 1999, Artif. Intell..

[20]  Jelle Gerbrandy,et al.  Dynamic epistemic logic , 1998 .

[21]  Patrick Doherty,et al.  The PMA and relativizing change for action update , 1998 .

[22]  W. van der Hoek,et al.  Epistemic logic for AI and computer science , 1995, Cambridge tracts in theoretical computer science.

[23]  Ronald Fagin,et al.  Reasoning about knowledge , 1995 .

[24]  Silvio Ghilardi,et al.  Undefinability of propositional quantifiers in the modal system S4 , 1995, Stud Logica.

[25]  Hirofumi Katsuno,et al.  On the Difference between Updating a Knowledge Base and Revising It , 1991, KR.

[26]  W. Salmon,et al.  Knowledge in Flux , 1991 .

[27]  Peter Gärdenfors,et al.  Knowledge in Flux , 1988 .

[28]  Yan Zhang,et al.  Properties of Knowledge Forgetting , .