Speech Acts, Epistemic Planning and Grice's Maxims
暂无分享,去创建一个
[1] C. Raymond Perrault,et al. Elements of a Plan-Based Theory of Speech Acts , 1979, Cogn. Sci..
[2] M. Walker,et al. Centering Theory in Discourse , 1998 .
[3] D. Michie. “Memo” Functions and Machine Learning , 1968, Nature.
[4] C. Raymond Perrault,et al. Analyzing Intention in Utterances , 1986, Artif. Intell..
[5] John R. Searle,et al. Speech Acts: An Essay in the Philosophy of Language , 1970 .
[6] Earl D. Sacerdott. Planning in a hierarchy of abstraction spaces , 1973, IJCAI 1973.
[7] James Pustejovsky,et al. The Semantics of Lexical Underspecification , 1998 .
[8] Philip R. Cohen,et al. Intentions in Communication. , 1992 .
[9] Harry Bunt,et al. Dialogue pragmatics and context specification , 2000, Abduction, Belief and Context in Dialogue.
[10] Jürgen Wedekind. On Inference-Based Procedures for Lexical Disambiguation , 1996, COLING.
[11] Deborafield,et al. Sarcasm, Deception, and Stating the Obvious: Planning Dialogue without Speech Acts , 2004, Artificial Intelligence Review.
[12] Allan Ramsay,et al. Theorem proving for untyped constructive λ-calculus : implementation and application , 2001 .
[13] Michael Kohlhase,et al. Inference and Computational Semantics , 2004, J. Log. Lang. Inf..
[14] J. M. Dunn,et al. Modern Uses of Multiple-Valued Logic , 1977 .
[15] Allan Ramsay,et al. Planning ramifications: when ramifications are the norm, not the problem , 2006 .
[16] Ken Turner,et al. The semantics/pragmatics interface from different points of view , 1999 .
[17] Thomas H. Briggs. Sarcasm , 1928, The School Review.
[18] Allan Ramsay,et al. Relevant Answers to WH-Questions , 2004, J. Log. Lang. Inf..
[19] Csr Young,et al. How to Do Things With Words , 2009 .
[20] Allan Ramsay,et al. Models and Discourse Models , 2008 .
[21] Frans Voorbraak,et al. On the Justification of Dempster's Rule of Combination , 1988, Artif. Intell..
[22] Robert S. Boyer,et al. A Theorem Prover for a Computational Logic , 1990, CADE.
[23] François Bry,et al. SATCHMO: A Theorem Prover Implemented in Prolog , 1988, CADE.
[24] Allan Ramsay. Speech Act Therory and Epistemic Planning , 1990, AIMSA.
[25] Avrim Blum,et al. Fast Planning Through Planning Graph Analysis , 1995, IJCAI.
[26] David R. Dowty,et al. Word Meaning and Montague Grammar , 1979 .
[27] Jonathan Ginzburg,et al. Resolving questions, I , 1995 .
[28] Gerald J. Sussman,et al. A Computational Model of Skill Acquisition , 1973 .
[29] Allan Ramsay,et al. Reference-based Discourse Structure for Reference Resolution , 1999 .
[30] Mark Stefik,et al. Planning and Meta-Planning (MOLGEN: Part 2) , 1981, Artif. Intell..
[31] Staffan Larsson,et al. Questions Under Discussion and Dialogue Moves , 1998 .
[32] Austin Tate,et al. Generating Project Networks , 1977, IJCAI.
[33] Scott Weinstein,et al. Centering: A Framework for Modeling the Local Coherence of Discourse , 1995, CL.
[34] Susan Bonzi,et al. Semantic interpretation and the resolution of ambiguity , 1989, JASIS.
[35] Alex Lascarides,et al. Lexical Disambiguation in a Discourse Context , 1995, J. Semant..
[36] K. Konolige. A deduction model of belief , 1986 .
[37] Philip R. Cohen,et al. Intentions in Communication , 1991, CL.
[38] Raymond Reiter,et al. A Logic for Default Reasoning , 1987, Artif. Intell..
[40] P. T. Geach,et al. KNOWLEDGE AND BELIEF: An Introduction to the Logic of the Two Notions , 1963 .
[41] Nuel D. Belnap,et al. A Useful Four-Valued Logic , 1977 .
[42] Allan Ramsay. Generating relevant models , 2004, Journal of Automated Reasoning.
[43] Carl Pollard,et al. A Centering Approach to Pronouns , 1987, ACL.
[44] Helen Seville. Experiments with Discourse Structure , 1999 .
[45] Jaime G. Carbonell,et al. Derivational Analogy and Its Role in Problem Solving , 1983, AAAI.
[46] Donald W. Loveland,et al. Near-Horn Prolog and beyond , 1991, Journal of Automated Reasoning.
[47] Debora Field. 'How to build towers of arbitrary heights, and other hard problems' , 2004 .
[48] Hilary Putnam,et al. A Computing Procedure for Quantification Theory , 1960, JACM.
[49] K. Colby. Artificial paranoia; a computer simulation of paranoid processes , 1975 .
[50] Robert A. Kowalski,et al. A Proof Procedure Using Connection Graphs , 1975, JACM.