Towards a Computational Account of Knowledge, Action and Inference in Instructions
暂无分享,去创建一个
[1] Douglas E. Appelt,et al. Planning English Sentences , 1988, Cogn. Sci..
[2] Ronald Fagin,et al. Reasoning about knowledge , 1995 .
[3] Aravind K. Joshi,et al. Tree Adjunct Grammars , 1975, J. Comput. Syst. Sci..
[4] Arnim von Stechow,et al. Semantics From Different Points of View , 1979 .
[5] Lynn Lambert,et al. Modeling Negotiation Subdialogues , 1992, ACL.
[6] R. Power. The organisation of purposeful dialogues , 1979 .
[8] Karen E. Lochbaum,et al. Using collaborative plans to model the intentional structure of discourse , 1995 .
[9] Gopalan Nadathur,et al. Uniform Proofs as a Foundation for Logic Programming , 1991, Ann. Pure Appl. Log..
[10] Jennifer Chu-Carroll,et al. Response Generation in Collaborative Negotiation , 1995, ACL.
[11] Marilyn A. Walker,et al. Informational redundancy and resource bounds in dialogue , 1993 .
[12] Robert C. Moore. A Formal Theory of Knowledge and Action , 1984 .
[13] Saul A. Kripke,et al. Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi , 1963 .
[14] Johanna D. Moore. Participating in explanatory dialogues , 1994 .
[15] Richard L. Mendelsohn,et al. First-Order Modal Logic , 1998 .
[16] Mark Steedman,et al. Animated conversation: rule-based generation of facial expression, gesture & spoken intonation for multiple conversational agents , 1994, SIGGRAPH.
[17] Dale Miller,et al. A Logical Analysis of Modules in Logic Programming , 1989, J. Log. Program..
[18] Matthew Stone. Modality in dialogue: planning, pragmatics and computation , 1998 .
[19] Matthew Stone,et al. Textual Economy Through Close Coupling of Syntax and Semantics , 1998, INLG.
[20] Matthew Stone,et al. Abductive Planning with Sensing , 1998, AAAI/IAAI.
[21] M. Fitting. Proof Methods for Modal and Intuitionistic Logics , 1983 .
[22] Laura Giordano,et al. Structuring Logic Programs: A Modal Approach , 1994, J. Log. Program..
[23] Matthew Stone. Indefinite information in modal logic programming , 2001 .
[24] Nancy Green,et al. A Hybrid Reasoning Model for Indirect Answers , 1994, ACL.
[25] Matthew Stone,et al. Sentence Planning as Description Using Tree Adjoining Grammar , 1997, ACL.
[26] Karen E. Lochbaum,et al. The Use of Knowledge Preconditions in Language Processing , 1995, IJCAI.
[27] Aravind K. Joshi,et al. Mathematical and computational aspects of lexicalized grammars , 1990 .
[28] Robert Dale. Generating referring expressions - constructing descriptions in a domain of objects and processes , 1992, ACL-MIT press series in natural language processing.
[29] Johanna D. Moore,et al. An Empirical Investigation of Proposals in Collaborative Dialogues , 1998, ACL.
[30] Rob A. van der Sandt,et al. Presupposition Projection as Anaphora Resolution , 1992, J. Semant..
[31] David Kaplan. Review: Saul A. Kripke, Semantical Analysis of Modal Logic I. Normal Modal Propositional Calculi , 1966 .