Variable Forgetting in Reasoning about Knowledge
暂无分享,去创建一个
Yan Zhang | Abdul Sattar | Kaile Su | Guanfeng Lv | A. Sattar | Yan Zhang | Kaile Su | Guanfeng Lv
[1] P. Syverson,et al. A Unified Cryptographic Protocol Logic , 1996 .
[2] Andreas Herzig,et al. Introspective forgetting , 2008, Synthese.
[3] Martín Abadi,et al. A semantics for a logic of authentication (extended abstract) , 1991, PODC '91.
[4] Andreas Herzig,et al. Introspective Forgetting , 2008, Australasian Conference on Artificial Intelligence.
[5] Saul A. Kripke,et al. Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi , 1963 .
[6] Johan van Benthem. Logics for information update , 2001 .
[7] Yan Zhang,et al. Knowledge updates: Semantics and complexity issues , 2005, Artif. Intell..
[8] Andreas Herzig,et al. Action representation and partially observable planning using epistemic logic , 2003, IJCAI.
[9] Iliano Cervesato,et al. The Dolev-Yao Intruder is the most Powerful Attacker , 2010 .
[10] Joseph Y. Halpern,et al. A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief , 1992, Artif. Intell..
[11] Martín Abadi,et al. A logic of authentication , 1989, Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences.
[12] Pierre Marquis,et al. Resolving Inconsistencies by Variable Forgetting , 2002, KR.
[13] Danny Dolev,et al. On the security of public key protocols , 1981, 22nd Annual Symposium on Foundations of Computer Science (sfcs 1981).
[14] Michael Wooldridge,et al. Model Checking Knowledge and Time , 2002, SPIN.
[15] Ronald Fagin,et al. Reasoning about knowledge , 1995 .
[16] Mark R. Tuttle,et al. A Semantics for a Logic of Authentication , 1991, PODC 1991.
[17] Gavin Lowe,et al. Breaking and Fixing the Needham-Schroeder Public-Key Protocol Using FDR , 1996, Softw. Concepts Tools.
[18] Gerhard Lakemeyer,et al. Point-based value iteration: an anytime algorithm for POMDPs , 2003, IJCAI 2003.
[19] Ron van der Meyden,et al. Common Knowledge and Update in Finite Environments , 1998, Inf. Comput..
[20] Yan Zhang,et al. Properties of Knowledge Forgetting , .
[21] Yan Zhang,et al. Reasoning about Knowledge by Variable Forgetting , 2004, KR.
[22] Yan Zhang. Minimal Change and Maximal Coherence for Epistemic Logic Program Updates , 2003, IJCAI.
[23] Joseph Y. Halpern,et al. A little knowledge goes a long way: knowledge-based derivations and correctness proofs for a family of protocols , 1992, JACM.
[24] Yan Zhang,et al. On the Semantics of Knowledge Update , 2001, IJCAI.
[25] Lawrence S. Moss,et al. The Logic of Public Announcements and Common Knowledge and Private Suspicions , 1998, TARK.
[26] Roger M. Needham,et al. Using encryption for authentication in large networks of computers , 1978, CACM.
[27] Frank Wolter,et al. Can You Tell the Difference Between DL-Lite Ontologies? , 2008, KR.
[28] A. Tarski. A LATTICE-THEORETICAL FIXPOINT THEOREM AND ITS APPLICATIONS , 1955 .
[29] Kewen Wang,et al. Semantic forgetting in answer set programming , 2008, Artif. Intell..
[30] N. Malcolm. On Knowledge and Belief , 1954 .
[31] Hector J. Levesque,et al. All I Know: A Study in Autoepistemic Logic , 1990, Artif. Intell..
[32] Jan A. Plaza,et al. Logics of public communications , 2007, Synthese.
[33] Wiebe van der Hoek,et al. Public Announcements and Belief Expansion , 2004, Advances in Modal Logic.
[34] Kaile Su,et al. Modal Logics with a Linear Hierarchy of Local Propositional Quantifiers , 2002, Advances in Modal Logic.
[35] Norman Y. Foo,et al. Solving Logic Program Conflict through Strong and Weak Forgettings , 2005, IJCAI.
[36] S. Lindell,et al. The Dolev-Yaho Intruder is the Most Powerful Attacker , 2001, LICS 2001.
[37] Jeff Z. Pan,et al. Forgetting Concepts in DL-Lite , 2008, ESWC.
[38] Boris Konev,et al. Forgetting and Uniform Interpolation in Large-Scale Description Logic Terminologies , 2009, IJCAI.
[39] R. Reiter,et al. Forget It ! , 1994 .
[40] Albert R. Meyer,et al. Word problems requiring exponential time(Preliminary Report) , 1973, STOC.
[41] Wiebe van der Hoek,et al. Dynamic epistemic logic with assignment , 2005, AAMAS '05.
[42] Pierre Marquis,et al. Complexity Results for Independence and Definability in Propositional Logic , 1998, KR.
[43] Yoram Moses,et al. Knowledge and the Logic of Local Propositions , 1998, TARK.
[44] George Boole,et al. An Investigation of the Laws of Thought: Frontmatter , 2009 .
[45] Wiebe van der Hoek,et al. Theories of Knowledge and Ignorance , 2004, Logic, Epistemology, and the Unity of Science.
[46] Fangzhen Lin,et al. On strongest necessary and weakest sufficient conditions , 2000, Artif. Intell..
[47] Andreas Weber,et al. Updating Propositional Formulas , 1986, Expert Database Conf..
[48] Alessio Lomuscio,et al. Knowledge sharing among ideal agents , 1999 .