Efficient Reasoning in Multiagent Epistemic Logics
暂无分享,去创建一个
[1] Saul A. Kripke,et al. Semantical Considerations on Modal Logic , 2012 .
[2] Abhaya C. Nayak,et al. Theories of Intentions in the Framework of Situation Calculus , 2004, DALT.
[3] Werner Nutt,et al. The Complexity of Existential Quantification in Concept Languages , 1992, Artif. Intell..
[4] Hector J. Levesque. A Completeness Result for Reasoning with Incomplete First-Order Knowledge Bases , 1998, KR.
[5] Gerhard Lakemeyer. Evaluation-Based Reasoning with Disjunctive Information in First-Order Knowledge Bases , 2002, KR.
[6] Rineke Verbrugge,et al. Learning to Apply Theory of Mind , 2008, J. Log. Lang. Inf..
[7] Paul Resnick,et al. Recommender systems , 1997, CACM.
[8] Meghyn Bienvenu. Prime Implicate Normal Form for ALC Concepts , 2008, Description Logics.
[9] Meghyn Bienvenu,et al. Prime Implicates and Prime Implicants: From Propositional to Modal Logic , 2009, J. Artif. Intell. Res..
[10] Gerhard Lakemeyer,et al. A Logic of Limited Belief for Reasoning with Disjunctive Information , 2004, KR.
[11] Ronald Fagin,et al. Reasoning about knowledge , 1995 .
[12] Joseph Y. Halpern,et al. A Guide to Completeness and Complexity for Modal Logics of Knowledge and Belief , 1992, Artif. Intell..
[13] Gerhard Lakemeyer,et al. Multi-agent Only-Knowing , 1996, CLIMA.
[14] Hector J. Levesque,et al. A Logic of Implicit and Explicit Belief , 1984, AAAI.
[15] Gerhard Lakemeyer. Tractable Meta-Reasoning in Propositional Logics of Belief , 1987, IJCAI.
[16] Klaus Schild,et al. A Correspondence Theory for Terminological Logics: Preliminary Report , 1991, IJCAI.
[17] Alan M. Frisch. Inference without Chaining , 1987, IJCAI.
[18] Ronald Fagin,et al. A Nonstandard Approach to the Logical Omniscience Problem , 1990, Artif. Intell..
[19] Paul Resnick,et al. Recommender Systems - Introduction to the Special Section , 1997, Commun. ACM.
[20] Gerhard Lakemeyer,et al. Limited Reasoning in First-Order Knowledge Bases with Full Introspection , 1996, Artif. Intell..
[21] N. Malcolm. On Knowledge and Belief , 1954 .