| Emdros-a text database engine for analyzed or annotated text U Petersen COLING 2004: Proceedings of the 20th International Conference on …, 2004 | 68 | 2004 |
| Teaching logic through web-based and gamified quizzing of formal arguments P Øhrstrøm, U Sandborg-Petersen, S Thorvaldsen, T Ploug Scaling up Learning for Sustained Impact: 8th European Conference, on …, 2013 | 23 | 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 Conceptual Structures for STEM Research and Education: 20th International …, 2013 | 10 | 2013 |
| Prolog+ CG: a maintainer’s perspective U Petersen First Conceptual Structures Tool Interoperability Workshop, 58, 2006 | 10 | 2006 |
| The standard mdf model U Petersen Unpublished article. Obtainable from URL: http://emdros. org, 2002 | 10 | 2002 |
| Teaching syllogistics through gamification and interactive proofs P Øhrstrøm, U Sandborg-Petersen, S Thorvaldsen, T Ploug Design for Teaching and Learning in a Networked World: 10th European …, 2015 | 9 | 2015 |
| 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 |
| Automatic Lexicon-based Ontology-creation U Petersen A methodological study, 2003 | 9 | 2003 |
| On teaching conceptual graphs H Schärfe, U Petersen, P Øhrstrøm Conceptual Structures: Integration and Interfaces: 10th International …, 2002 | 9 | 2002 |
| The extended MdF model U Petersen Available online, Aarhus University, Denmark. http://emdros. org/New-EMdF. pdf, 1999 | 9 | 1999 |
| 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, 449-454, 2012 | 7 | 2012 |
| Teaching syllogistics using conceptual graphs P Øhrstrøm, U Sandborg-Petersen, S Thorvaldsen, T Ploug Graph-Based Representation and Reasoning: 21st International Conference on …, 2014 | 6 | 2014 |
| Online course in knowledge representation using conceptual graphs U Petersen, H Schärfe, P Øhrstrøm Aalborg Universitet. http://www. huminf. aau. dk/cg/index. html, 2003 | 6 | 2003 |
| Teaching propositional and syllogistic logic using e-learning tools P Øhrstrøm, S Thorvaldsen, U Sandborg-Petersen, T Ploug Innovative Technologies and Learning: Second International Conference, ICITL …, 2019 | 5 | 2019 |
| On Biblical Hebrew and Computer Science: Inspiration, Models, Tools, and Cross-Fertilization U Sandborg-Petersen Tradition and Innovation in Biblical Interpretation, 261-276, 2011 | 5 | 2011 |
| Principles, Implementation Strategies, and Evaluation of a Corpus Query System, Vol. 4002 U Petersen Springer, 2006 | 5 | 2006 |