References

1. Patrick Blackburn & Johan Bos (2005): Representation and Inference for Natural Language. A First Course in Computational Semantics. CSLI.
2. Patrick Blackburn, Johan Bos, Michael Kohlhase & Hans de Nivelle (2001): Inference and Computational Semantics. In: Harry Bunt, Leen Kievit, Reinhard Muskens & Margriet Verlinden: Computing Meaning (Volume 2). Kluwer Academic Publishers, pp. 11–28, doi:10.1007/978-94-010-0572-2_2.
3. Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski & Florian Rabe (2011): Project Abstract: Logic Atlas and Integrator (LATIN). In: James Davenport, William Farmer, Florian Rabe & Josef Urban: Intelligent Computer Mathematics, LNAI 6824. Springer Verlag, pp. 289–291, doi:10.1007/978-3-642-22673-1_24. Available at https://kwarc.info/people/frabe/Research/CHKMR_latinabs_11.pdf.
4. Donald Davidson (1967): Truth and Meaning. Synthese 17, doi:10.1007/bf00485035.
5. Jan van Eijck & Christina Unger (2010): Computational Semantics with Functional Programming. Cambridge University Press, doi:10.1017/cbo9780511778377.
6. L. T. F. Gamut (1991): Logic, Language and Meaning, Volume II, Intensional Logic and Logical Grammar 2. University of Chicago Press, Chicago.
7. GF - Grammatical Framework. http://www.grammaticalframework.org.
8. GF Kernel. https://github.com/kwarc/gf_kernel.
9. GF Resource Grammar Library: Synopsis. https://www.grammaticalframework.org/lib/doc/synopsis/index.html.
10. GLF Demo Repository. https://gl.kwarc.info/COMMA/glf-demo-lfmtp2019.
11. Michael Kohlhase & Alexander Koller (2000): Towards A Tableaux Machine for Language Understanding. In: Johan Bos & Michael Kohlhase: Proceedings of Inference in Computational Semantics ICoS-2. Computational Linguistics, Saarland University, pp. 57–88.
12. The LATIN Logic Atlas. https://gl.mathhub.info/MMT/LATIN.
13. MMT – Language and System for the Uniform Representation of Knowledge. project web site at https://uniformal.github.io/. Available at https://uniformal.github.io/.
14. R. Montague (1970): English as a Formal Language, chapter Linguaggi nella Societa e nella Tecnica, B. Visentini et al eds, pp. 189–224. Edizioni di Communita, Milan. Reprinted in Thomason:fp74, 188–221.
15. Richard Montague (1974): The Proper Treatment of Quantification in Ordinary English. In: R. Thomason: Formal Philosophy. Selected Papers. Yale University Press, New Haven.
16. Dennis Müller & Florian Rabe (2019): Rapid Prototyping Formal Systems in MMT: Case Studies. Available at https://kwarc.info/people/frabe/Research/MR_prototyping_19.pdf.
17. Manfred Pinkal & Michael Kohlhase (2000): Feature Logic for Dotted Types: A Formalism for Complex Word Meanings. In: Proceedings of the 38th Annual Meeting of the Association for Computational Linguistics, Hongkong, pp. 521–528, doi:10.3115/1075218.1075284. Available at http://kwarc.info/kohlhase/papers/acl00.pdf.
18. Florian Rabe (2013): The MMT API: A Generic MKM System. In: Jacques Carette, David Aspinall, Christoph Lange, Petr Sojka & Wolfgang Windsteiger: Intelligent Computer Mathematics, Lecture Notes in Computer Science 7961. Springer, pp. 339–343, doi:10.1007/978-3-642-39320-4_25.
19. Florian Rabe & Michael Kohlhase (2013): A Scalable Module System. Information & Computation 0(230), pp. 1–54, doi:10.1016/j.ic.2013.06.001. Available at http://kwarc.info/frabe/Research/mmt.pdf.
20. Aarne Ranta: Grammatical Framework - Formalizing the Grammars of the World. http://www.grammaticalframework.org/~aarne/gf-google-2016.pdf.
21. Aarne Ranta (2004): Grammatical Framework — A Type-Theoretical Grammar Formalism. Journal of Functional Programming 14(2), pp. 145–189, doi:10.1017/S0956796803004738.
22. Aarne Ranta (2011): Grammatical Framework: Programming with Multilingual Grammars. CSLI Publications, Stanford. ISBN-10: 1-57586-626-9 (Paper), 1-57586-627-7 (Cloth).
23. R. Thomason (1974): Formal Philosophy: selected Papers of Richard Montague. Yale University Press, New Haven, CT.

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org