Linguistics and Philosophy

, Volume 17, Issue 4, pp 343–390 | Cite as

Direct deductive computation on discourse representation structures

  • Uwe Reyle
  • Dov M. Gabbay


Artificial Intelligence Representation Structure Computational Linguistic Discourse Representation Discourse Representation Structure 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Asher, N.: 1986, ‘Belief in Discourse Representation Theory’,Journal of Philosophical Logic 5, 127–189.Google Scholar
  2. Bonevac, D.: 1987,Deduction, Mayfield Publishing Company, Palo Alto, California.Google Scholar
  3. Dummett, Michael: 1977,Elements of Intuitionism, Clarendon Press, Oxford.Google Scholar
  4. Engdahl, Elisabeth: 1986,Constituent Questions, Reidel, Dordrecht.Google Scholar
  5. Fitch, F. B.: 1952,Symbolic Logic, Ronald Press, New York.Google Scholar
  6. Gabbay, D. and U. Reyle: 1984, ‘N-Prolog: An Extension of Prolog with Hypothetical Implications’, in:Journal and Logic Programming, Vol. 1, 1984.Google Scholar
  7. Gabbay, D.: 1985, ‘N-Prolog: An Extension of Prolog with Hypothetical Implications. Part II’,Journal of Logic Programming,4.Google Scholar
  8. Gabbay, D. and F. Kriwaczek: 1990, ‘A Goal Directed Theorem Prover for Predicate Logic Based on Conjunctions and Implications’, in:Journal of Automated Reasoning.Google Scholar
  9. Gabbay, D. and U. Reyle: 1991, ‘Resolution for Classical and Non-classical Logics’, ms. London.Google Scholar
  10. Gabbay, D. and U. Reyle: 1993, ‘Computation with Run-Time-Skolemization (N-Prolog Part Ill)’,Journal of Applied Non-classical Logics 3(1), 93–128.Google Scholar
  11. Groenendijk, J. and M. Stokhof: 1984, ‘Interrogative Quantifiers and Skolem-Functions’, in J. Groenendijk and M. Stokhof,Studies on the Semantics of Questions and the Pragmatic of Answers (originally in K. Ehlich and H. van Riemsdijk (eds.),Connectedness in Sentence, Discourse and Text, Tilburg, 1983).Google Scholar
  12. Hamblin, C.: 1976, ‘Questions in Montague English’, in B. Partee (ed.),Montague Grammar, Academic Press, New York, (originally inFoundations of Language 10, 1973).Google Scholar
  13. Kalish, D. and R. Montague: 1964,Logic: Techniques of Formal Reasoning, Harcourt, Brace and World, New York.Google Scholar
  14. Kamp, H. and U. Reyle: 1993,From Discourse to Logic, Vol I, Kluwer, Dordrecht.Google Scholar
  15. Kamp, H.: 1985, ‘Context, Thought and Communication’,Proceedings of the Aristotelian Society 85, 239–261.Google Scholar
  16. Kamp, H.: 1990, ‘Prolegomena to a Structural Account of Belief and other Attitudes’, in: C. A. Anderson and J. Owens (eds.):Propositional Attitudes, CSLI, 1990.Google Scholar
  17. Kamp, H. and U. Reyle: 1991, ‘A Calculus for First Order Discourse Representation Structures’, SFB-Report, Stuttgart, 1991. Appears in:Theoretical Linguistics, 1994.Google Scholar
  18. Karttunen, L.: 1977, ‘Syntax and Semantics of Questions’,Linguistics and Philosophy 1.Google Scholar
  19. Kripke, S.: 1965, ‘Semantic Analysis of Intuitionistic Logic I’, in J. A. Crossley and M. A. E. Dummett (eds.),Formal Systems and Recursive Functions, North Holland, pp. 92–129.Google Scholar
  20. Manna, Z. and R. Waldinger: 1980, ‘A Deductive Approach to Program Synthesis’,ACM Transactions on Programming Languages and System 2(1).Google Scholar
  21. Manna, Z. and R. Waldinger: 1990,The Logical Basis for Computer Programming. Volume 2: Deductive Systems, Addison-Wesley.Google Scholar
  22. Miller, D.: 1987, ‘A Compact Representation of Proofs’,Studia Logica 4, 347–370.Google Scholar
  23. Miller, D. and G. Nadathur: 1987, ‘A Logic Programming Approach to Manipulating Formulas and Programs’, in:Proceedings of the IEEE Symposium on Logic Programming, San Francisco, September 1987.Google Scholar
  24. Robinson, J. A.: 1965, ‘A Machine-Oriented Logic Based on the Resolution Principle’, inJournal of the ACM 12(1), 23–41.Google Scholar
  25. Saurer, Werner: 1991, ‘A Natural Deduction System for Discourse Representation Theory’,Journal of Philosophical Logic,22, 249–302.Google Scholar
  26. Stickel, M.: 1982, ‘A Nonclausal Connection-Graph Resolution Theorem-Proving Program’, in:Proceedings of the AAAI.82 National Conference on Artificial Intelligence, Pennsylvania (August 1982), pp. 229–233.Google Scholar
  27. Sundholm, G.: 1983, ‘Systems of Deduction’, in D. Gabbay and F. Guenthner (eds.),Handbook of Philosophical Logic, Vol. 1, Reidel, Dordrecht.Google Scholar
  28. Wallen, L. A.: 1990,Automated Proof Search in Non-classical Logics, MIT Press.Google Scholar

Copyright information

© Kluwer Academic Publishers 1994

Authors and Affiliations

  • Uwe Reyle
    • 1
  • Dov M. Gabbay
    • 2
  1. 1.Institute for Computational LinguisticsUniversity of StuttgartStuttgart 1Germany
  2. 2.Department of ComputingImperial CollegeLondonEngland

Personalised recommendations