Implementing the binding and accommodation theory for anaphora resolution and presupposition projection

Computational Linguistics

Volumn 29, Issue 2, 2003, Pages 179-210

  Bos, Johan ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ACCOMMODATION THEORIES; ANAPHORA RESOLUTION; COMPUTATIONAL ASPECTS; COMPUTATIONAL IMPLEMENTATIONS; CONSISTENCY CHECKING; DISCOURSE REPRESENTATION; PRESUPPOSITION PROJECTIONS; RESOLUTION ALGORITHMS;

COMPUTATION THEORY;

EID: 0041877366     PISSN: 08912017     EISSN: None     Source Type: Journal    
DOI: 10.1162/089120103322145306     Document Type: Article

References (29)

1. Beaver, David I. 1997. Presupposition. In Johan Van Benthem and Alice Ter Meulen, editors, Handbook of Logic and Language. Elsevier, Amsterdam, and MIT Press, Cambridge, pages 939-1008.
2. Beaver, David I. 2002. Presupposition Projection in DRT: A critical assessment. In David Beaver, Luis Casillas, Brady Clark, and Stefan Kaufmann, editors, The Construction of Meaning. Stanford University Press, Stanford, California, pages 23-43.
3. Blackburn, Patrick. 2000. Representation, reasoning, and relational structures: A hybrid logic manifesto. Logic Journal of the IGPL, 8(3):339-365.
4. Blackburn, Patrick, Johan Bos, Michael Kohlhase, and Hans de Nivelle. 2001. Inference and computational semantics. In Harry Bunt, Reinhard Muskens, and Elias Thijsse, editors, Computing Meaning, volume 2. Kluwer, Dordrecht, pages 11-28.
5. Bos, Johan and Tetsushi Oka. 2002. An inference-based approach to dialogue system design. In Proceedings of COLING 2002.
6. Cheyer, Adam and David Martin. 2001. The Open Agent Architecture. Journal of Autonomous Agents and Multi-Agent Systems, 4(1/2):143-148.
7. De Nivelle, Hans. 1998. A resolution decision procedure for the guarded fragment. In C. Kirchner and H. Kirchner, editors, 15th International Conference on Automated Deduction, CADE-15. Springer-Verlag, Berlin, pages 191-204.
8. Fellbaum, Christiane, editor. 1998. WordNet. An Electronic Lexical Database. MIT Press, Cambridge.
9. Geurts, Bart. 1997. Good news about the description theory of names. Journal of Semantics, 14:319-348.
10. Geurts, Bart. 1999. Presuppositions and Pronouns. Elsevier, London.
11. Groenendijk, Jeroen and Martin Stokhof. 1991. Dynamic predicate logic. Linguistics and Philosophy, 14:39-100.
12. Grosz, Barbara J., Aravind K. Joshi, and Scott Weinstein. 1995. Centering: A framework for modeling the local coherence of discourse. Computational Linguistics, 21(2):203-225.
13. Heim, Irene. 1982. The Semantics of Definite and Indefinite Noun Phrases. Ph.D. thesis, University of Massachusetts, Amherst.
14. Heim, Irene. 1983. On the projection problem for presuppositions. In M. Barlow, D. Flickinger, and M. Westcoat, editors, Proceedings of the Second Annual West Coast Conference on Formal Linguistics, pages 114-126.
15. Kamp, Hans. 1981. A theory of truth and semantic representation. In Jeroen Groenendijk, Theo M. V. Janssen, and Martin Stokhof, editors, formal Methods in the Study of Language, pages 277-322.
16. Kamp, Hans and Uwe Reyle. 1993. From Discourse to Logic: An Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and DRT. Kluwer, Dordrecht, the Netherlands.
17. Karttunen, L. 1974. Presuppositions and linguistic context. Theoretical Linguistics, 1:181-194.
18. Kuschert, Susanna. 1999. Dynamic Meaning and Accommodation. Ph.D. thesis, Universität des Saarlandes, Saarbruecken, Germany.
19. Lauria, Stanislao, Guido Bugmann, Theocharis Kyriacou, Johan Bos, and Ewan Klein. 2001. Training personal robots using natural language instruction. JEEE Intelligent Systems, 16(5):38-45.
20. Lewis, David. 1979. Scorekeeping in a language game. In R. Bäuerle, U. Egli, and A. von Stechow, editors, Semantics from Different Points of View, volume 6 of Springer Series in Language and Communication. Springer-Verlag, Berlin, pages 172-187.
21. McCune, W. 1998. Automatic proofs and counterexamples for some ortholattice identities. Information Processing Letters, 65(6):285-291.
22. McCune, W. and R. Padmanabhan. 1996. Automated Deduction in Equational logic and Cubic Curves. Lecture Notes in Computer Science (AI subseries). Springer-Verlag, New York.
23. Moore, Robert C. 1980. Reasoning about knowledge and action. Technical Report 181, SRI International, Menlo Park, California.
24. Muskens, Reinhard. 1996. Combining Montague semantics and discourse representation. Linguistics and Philosophy, 19:143-186.
25. Parsons, Terence. 1990. Events in the Semantics of English: A Study in Subatomic Semantics. MIT Press, Cambridge.
26. Van der Sandt, Rob A. 1992. Presupposition projection as anaphora resolution. Journal of Semantics, 9:333-377.
27. Van der Sandt, Rob A. and Bart Geurts. 1991. Presupposition, anaphora, and lexical content. Technical Report 185, IBM, Wissenschaftliches Zentrum, Institut für Wissensbasierte Systeme, August.
28. Van Eijck, Jan and Hans Kamp. 1997. Representing discourse in context. In Johan Van Benthem and Alice Ter Meulen, editors, Handbook of Logic and Language. Elsevier, Amsterdam, and MIT Press, Cambridge, pages 179-240.
29. Weidenbach, Christoph, Bijan Afshordel, Uwe Brahrn, Christian Cohrs, Thorsten Engel, Enno Keen, Christian Theobalt, and Dalibor Topic. 1999. System description: Spass version 1.0.0. In Harald Ganzinger, editor, 16th International Conference on Automated Deduction, CADE-16, volume 1632 of Lecture Notes in Artificial Intelligence. Springer, Berlin, pages 314-318.