Emdros-a text database engine for analyzed or annotated text U Petersen COLING 2004: Proceedings of the 20th International Conference on …, 2004 | 64 | 2004 |
Teaching logic through web-based and gamified quizzing of formal arguments P Øhrstrøm, U Sandborg-Petersen, S Thorvaldsen, T Ploug European Conference on Technology Enhanced Learning, 410-423, 2013 | 22 | 2013 |
Querying both Parallel and Treebank Corpora: Evalutation of a Corpus Query System U Petersen LREC 2006: Fifth International Conference on Language Resources and Evaluation, 2006 | 13 | 2006 |
Evaluating corpus query systems on functionality and speed: Tigersearch and emdros U Petersen Angelova et al.(Angelova et al., 2005), 387-391, 2005 | 12 | 2005 |
Classical syllogisms in logic teaching P Øhrstrøm, U Sandborg-Petersen, S Thorvaldsen, T Ploug International Conference on Conceptual Structures, 31-43, 2013 | 10 | 2013 |
Prolog+ CG: a maintainer’s perspective U Petersen First Conceptual Structures Tool Interoperability Workshop, 58, 2006 | 10 | 2006 |
Automatic Lexicon-based Ontology-creation U Petersen A methodological study, 2003 | 10 | 2003 |
Syllogistics with PrologPlusCG: Syllog-A Tool for Logic Teaching P Øhrstrøm, U Sandborg-Petersen, T Ploug The First Conceptual Structures–Learning, Teaching and Assessment Workshop …, 2010 | 9 | 2010 |
Annotated text databases in the context of the Kaj Munk Archive: One database model, one query language, and several applications U Sandborg-Petersen PhD diss., Aalborg University (available at http://www. hum. aau. dk …, 2008 | 9 | 2008 |
Principles, implementation strategies, and evaluation of a corpus query system U Petersen International Workshop on Finite-State Methods and Natural Language …, 2005 | 9 | 2005 |
The standard mdf model U Petersen Unpublished article. Obtainable from URL: http://emdros. org, 2002 | 9 | 2002 |
Teaching syllogistics through gamification and interactive proofs P Øhrstrøm, U Sandborg-Petersen, S Thorvaldsen, T Ploug European Conference on Technology Enhanced Learning, 609-612, 2015 | 8 | 2015 |
On teaching conceptual graphs H Schärfe, U Petersen, P Øhrstrøm International Conference on Conceptual Structures, 285-298, 2002 | 8 | 2002 |
The extended MdF model U Petersen Unpublished B. Sc. thesis in computer science, DAIMI, Aarhus University …, 1999 | 8 | 1999 |
Teaching syllogistics using conceptual graphs P Øhrstrøm, U Sandborg-Petersen, S Thorvaldsen, T Ploug International Conference on Conceptual Structures, 217-230, 2014 | 6 | 2014 |
Prior’s defence of Hintikka’s theorem. A discussion of Prior’s ‘The logic of obligation and the obligations of the logician’ P Øhrstrøm, J Zeller, U Sandborg-Petersen Synthese 188 (3), 449-454, 2012 | 6 | 2012 |
Online course in knowledge representation using conceptual graphs U Petersen, H Schärfe, P Øhrstrøm On the web: http://www. huminf. aau. dk/cg/(2001-2007), 2003 | 6 | 2003 |
Online Course in Knowledge Representation Using Conceptual Graphs. Aalborg University (2005) U Sandborg-Petersen, H Schärfe, P Øhrstrøm | 5 | |
Teaching Propositional and Syllogistic Logic Using E-learning Tools P Øhrstrøm, S Thorvaldsen, U Sandborg-Petersen, T Ploug International Conference on Innovative Technologies and Learning, 854-864, 2019 | 4 | 2019 |
Architecture of applications built on Emdros: Case studies in systems for persuasive learning U Sandborg-Petersen IWEPLET 2013, 2013 | 3 | 2013 |