Towards a Formal Theory of Intentions
暂无分享,去创建一个
[1] Martha E. Pollack,et al. Inferring domain plans in question-answering , 1986 .
[2] Ronald Fagin,et al. Belief, Awareness, and Limited Reasoning. , 1987, Artif. Intell..
[3] Douglas E. Appelt,et al. Planning English Sentences , 1988, Cogn. Sci..
[4] Nicholas Asher,et al. Belief in discourse representation theory , 1986, J. Philos. Log..
[5] C. Raymond Perrault,et al. Elements of a Plan-Based Theory of Speech Acts , 1979, Cogn. Sci..
[6] Munindar P. Singh. Towards a Theory of Situated Know-How , 1990, ECAI.
[7] Hector J. Levesque,et al. A Logic of Implicit and Explicit Belief , 1984, AAAI.
[8] Drew McDermott,et al. A Temporal Logic for Reasoning About Processes and Plans , 1982, Cogn. Sci..
[9] Michael E. Bratman,et al. Intention, Plans, and Practical Reason , 1991 .
[10] D. Dennett. The Intentional Stance. , 1987 .
[11] Candace L. Sidner,et al. Attention, Intentions, and the Structure of Discourse , 1986, CL.
[12] C. Raymond Perrault. An application of default logic to speech act theory , 1987 .
[13] Barbara H. Partee,et al. Belief-Sentences and the Limits of Semantics , 1982 .
[14] Stanley Peters,et al. Processes, Beliefs, and Questions , 1982 .
[15] Saul A. Kripke,et al. A Puzzle about Belief , 1979 .
[16] J. Searle. Intentionality: An Essay in the Philosophy of Mind , 1983 .
[17] S. Blackburn,et al. Meaning and Use , 1979 .
[18] C. Raymond Perrault,et al. Analyzing Intention in Utterances , 1986, Artif. Intell..
[19] Nicholas Asher,et al. A typology for attitude verbs and their anaphoric properties , 1987 .
[20] J. Searle. Intentionality: Name index , 1983 .
[21] David Chapman,et al. Pengi: An Implementation of a Theory of Activity , 1987, AAAI.
[22] C. L. Sidner,et al. Attention, Intention and the Structure of Discourse. Technical Report No. 380. , 1986 .
[23] E. Allen Emerson,et al. Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
[24] C. Raymond Perrault,et al. Participating in dialogues: understanding via plan deduction , 1978 .
[25] J. Van Leeuwen,et al. Handbook of theoretical computer science - Part A: Algorithms and complexity; Part B: Formal models and semantics , 1990 .
[26] Munindar P. Singh. Group Ability And Structure , 1991 .
[27] James F. Allen,et al. A Plan Recognition Model for Subdialogues in Conversations , 1987, Cogn. Sci..
[28] K. Konolige. A deduction model of belief , 1986 .
[29] Richard Spencer-Smith,et al. Modal Logic , 2007 .