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