Publications
Translating between Language and Logic: What Is Easy and What is Difficult?. In: CADE-23. Automated Deduction.Vol LNCS/LNAI 6803. CADE-23. Automated Deduction. http://link.springer.com/chapter/10.1007%2F978-3-642-22438-6_3; 2011:5-25. Available at: http://www.cse.chalmers.se/~aarne/articles/cade2011.pdf.Array
.
MOLTO Project: Overview and Half-Way Results. 2011.Array Download: intro-helsinki-2011.pdf (391.89 KB)
.
WP2 Grammar developer’s tools - review 2012. 2012.Array Download: barcelona-review-2012-WP2.pdf (446.84 KB)
.
.
MOLTO: Machine Translation to Rely On?. 2010. Available at: http://www.cse.chalmers.se/~aarne/talks/sltc-molto.pdf.Array
.
Creating Linguistic Resources with GF. In: LREC 2010. LREC 2010. Valletta, Malta; 2010. Available at: http://grammaticalframework.org/doc/gf-lrec-2010.pdf. Abstract
Array
.
Tools for Multilingual Grammar-Based Translation on the Web. In: ACL 2010. ACL 2010. Uppsala, Sweden; 2010.Array Download: molto-demo.pdf (322.55 KB); MOLTO posterACL.pdf (982.89 KB)
.
.
MOLTO: Results and Future Prospects. Overview of the final presentations. 2013. Abstract
Array Download: final-molto-2013.pdf (115.33 KB)
.
GF Grammar Compiler API. 2011. Available at: http://www.grammaticalframework.org/compiler-api/deliverable.pdf. Abstract
Array Download: D2.1.pdf (1.07 MB)
.
Logic, Semantics, Translation, and Universal Grammar. 2010. Available at: http://www.cse.chalmers.se/~aarne/talks/logic2010.pdf. Abstract
Array
.
.
Grammar IDE. 2011.Array Download: D2.2.pdf (453.21 KB)
.
Multilingual Packages of Controlled Languages: An Introduction to GF. In: CNL-2010 (2nd Workshop on Controlled Natural Language). CNL-2010 (2nd Workshop on Controlled Natural Language). Marettimo, Sicily; 2010.Array Download: cnl-2010.pdf (1.11 MB)
.
MOLTO - Multilingual On-Line Translation. Talk given at Xerox Research Centre Europe, Grenoble, 19 January 2012. 2012.Array Download: xrce-molto.pdf (340.05 KB)
.
The First Year of MOLTO. 2011.Array Download: molto-first-2011.pdf (229.68 KB)
.
MOLTO - An Overview. 2010. Available at: http://www.cse.chalmers.se/~aarne/talks/kickoff-molto.pdf.Array
.
Machine translation and type theory. In: Epistemology versus Ontology. Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf.Vol 27. Epistemology versus Ontology. Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf.; 2012:281-311. Available at: http://link.springer.com/chapter/10.1007/978-94-007-4435-6_14.Array Download: final-mttt.pdf (591.34 KB)
.
Grammatical Framework: Programming with Multilingual Grammars. Stanford; 2011:350. Available at: http://www.bibliovault.org/BV.book.epl?ISBN=9781575866260.Array
.
D3.3 MOLTO translation tools – workflow manual. 2013. Available at: http://www.molto-project.eu/sites/default/files/D3.3.pdf.Array Download: D3.3 - Inari Listenmaa, Jussi Rautio.mobi (1.9 MB); D3.3.pdf (1.21 MB)
.
.
Evaluation of MOLTO Technologies. 2013. Available at: http://www.molto-project.eu/sites/default/files/Evaluation.pdf. Abstract
Array Download: Evaluation.pdf (411.01 KB)
.
Simple drill library snapshot 2011.Array Download: mgl.tar.gz (974.6 KB)
.
Assistant for solving word problems. 2013. Available at: http://tfs.cc/trac/browser/molto/mgl/wproblems. Abstract
Array
.
D6.3 Assistant for solving word problems. 2013. Available at: http://www.molto-project.eu/wiki/living-deliverables/d63-assistant-solving-word-problems.Array Download: D6.3.pdf (119.52 KB)
.