Two Formalizations of Context: A Comparison
暂无分享,去创建一个
[1] Luciano Serafini,et al. Multiagent Reasoning with Belief Contexts II: Elaboration Tolerance , 1995, ICMAS.
[2] Chiara Ghidini,et al. Formalizing Belief Reports - The Approach and a Case Study , 1998, AIMSA.
[3] J. McCarthy,et al. Formalizing Context (Expanded Notes) , 1994 .
[4] Ian A. Mason,et al. Propositional Logic of Context , 1993, AAAI.
[5] Sasa Buvac. Quantificational Logic of Context , 1996, AAAI/IAAI, Vol. 1.
[6] Fausto Giunchiglia,et al. Local Models Semantics, or Contextual Reasoning = Locality + Compatibility , 1998, KR.
[7] Fausto Giunchiglia,et al. Reasoning about Theory Adequacy. A New Solution to the Qualification Problem , 1995, Fundam. Informaticae.
[8] John McCarthy,et al. Generality in artificial intelligence , 1987, Resonance.
[9] Fausto Giunchiglia,et al. Model Checking Multiagent Systems , 1998, J. Log. Comput..
[10] Fausto Giunchiglia,et al. A Foundation for Metareasoning Part I: The Proof Theory , 2002, J. Log. Comput..
[11] Fausto Giunchiglia,et al. Ideal and Real Belief about Belief , 1996, J. Log. Comput..
[12] D. Prawitz. Natural Deduction: A Proof-Theoretical Study , 1965 .
[13] Fausto Giunchiglia,et al. A Foundation for Metareasoning Part II: The Model Theory , 2002, J. Log. Comput..
[14] John McCarthy,et al. Notes on Formalizing Context , 1993, IJCAI.
[15] Laurent Perrussel,et al. Contextual Reasoning , 1998, ECAI.
[16] Luciano Serafini,et al. Mechanizing Multi-Agent Reasoning with Belief Contexts , 1996, FAPR.
[17] Fausto Giunchiglia,et al. Multilanguage hierarchical logics (or: how we can do without modal logics) , 1994, CNKBS.
[18] Luciano Serafini,et al. Multi-Agent Reasoning with Belief Contexts: The Approach and a Case Study , 1995, ECAI Workshop on Agent Theories, Architectures, and Languages.