Publications
Filters: First Letter Of Last Name is S [Clear All Filters]
Assistant for solving word problems. 2013. Available at: http://tfs.cc/trac/browser/molto/mgl/wproblems. Abstract
Array
.
Bulgarian Language Technology for Deep Grammar Machine Translation. 2010.Array Download: KirilSimov-Molto-Varna.pdf (661.59 KB)
.
.
Creation and Integration of Reference Ontologies for Efficient LOD Management. In: Semi-Automatic Ontology Development: Processes and Resources. 1stst ed. Semi-Automatic Ontology Development: Processes and Resources. Hershey PA, USA; 2012:162-201. Available at: http://www.igi-global.com/book/semi-automatic-ontology-development/58294.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)
.
Deep evaluation of hybrid architectures: simple metrics correlated with human judgments. In: International Workshop on Using Linguistic Information for Hybrid Machine Translation. International Workshop on Using Linguistic Information for Hybrid Machine Translation. Barcelona, Spain; 2011:50-57.Array Download: LIHMT2011_cameraReady.pdf (183.94 KB)
.
Dialog.pgf. 2013. Available at: http://www.molto-project.eu/sites/default/files/web-service/grammars/Dialog.pgf. Abstract
Array Download: Dialog.pgf (72.96 KB)
.
A framework for conflict analysis of normative texts written in controlled natural language. The Journal of Logic and Algebraic Programming. 2013. Available at: http://www.sciencedirect.com/science/article/pii/S1567832613000143. Abstract
Array
.
The GF Mathematical Grammar Library. In: Conference on Intelligent Computer Mathematics /OpenMath Workshop. 2012th ed. Conference on Intelligent Computer Mathematics /OpenMath Workshop.; 2012.Array Download: gf-mgl.pdf (219.79 KB); GF.matlib.xhtml (10.01 KB)
.
The GF mathematics library. 2011.Array Download: gfmath.pdf (136.56 KB)
.
The GF Mathematics Library. In: Proceedings First Workshop on CTP Components for Educational Software (THedu'11).Vol Electronic Proceedings in Theoretical Computer Science . Proceedings First Workshop on CTP Components for Educational Software (THedu'11). Wrocław, Poland; 2011:102–110. Available at: http://cgi.cse.unsw.edu.au/~rvg/eptcs/Published/THedu11/Papers/22/arXiv.pdf. Abstract
Array
.
.
gfsage: feedback option and translation between Spanish and English. 2013. Available at: http://www.screenr.com/GD3s. Abstract
Array
.
A grammar-based approach to multilingual mathematics. 2013;5th International Workshop on Mathematical e-Learning. Available at: https://sites.google.com/site/5emath2013madrid/.Array Download: eMath5Madrid.pdf (492.67 KB)
.
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)
.
.
Math Exercises Library. Submitted.Array Download: mgl-demo.pdf (126.31 KB)
.
Mathbar. 2011. Available at: http://www.grammaticalframework.org/demos/minibar/mathbar.html.Array
.
.
MOLTO Mathematical Grammar Library. 2010.Array Download: mOlto-MGL.pdf (605.86 KB)
.
.
.
New Audiences for Ontologies : Dealing with Complexity in Business Processes. In: The Semantic Web: Research and Applications, Proceedings of ESWC 2012. The Semantic Web: Research and Applications, Proceedings of ESWC 2012. Crete, Greece; 2012:2. Available at: http://link.springer.com/chapter/10.1007/978-3-642-30284-8_2.Array
.
Patent translation within the MOLTO project. In: Workshop on Patent Translation, MT Summit XIII. 4thth ed. Workshop on Patent Translation, MT Summit XIII.; 2011:70-78.Array Download: patentsMOLTO4.pdf (282.42 KB)