Publications

Filters: First Letter Of Last Name is B  [Clear All Filters]
Book Chapter
Damova M, Kiryakov A, Grinberg M, et al. Creation and Integration of Reference Ontologies for Efficient LOD Management. In: Stellato DA, Pazienza DMT, eds. 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
van Grondelle J, Unger C. A three-dimensional paradigm for conceptually scoped language technology. In: Cimiano P, Buitelaar P, eds. Multilingual Semantic Web. Springer. Multilingual Semantic Web.; Submitted.Array
Conference Paper
Saludes J, Xambó S. The GF Mathematics Library. In: Quaresma P, Back R-J, eds. 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
Ranta A. Translating between Language and Logic: What Is Easy and What is Difficult?. In: Bjørner N, Sofronie-Stokkermans V, eds. 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
Report
Vandeghinste V, Karkaletsis V. Review March 2012 report. (Brochard M, ed.).; 2012. Available at: http://www.molto-project.eu/sites/default/files/001_2ndyearreviewfinal.pdf.Array
Slide Presentation
Brochard M. MOLTO FP7-ICT-2009-4 247914 Kick-Off Meeting. 2010.Array Download: Kick-off PO presentation.pdf (2.28 MB)