Jakob Grue Simonsen
Institutleder
- Udgivet
Neural speed reading with structural-jump-LSTM
Hansen, C., Hansen, C., Alstrup, Stephen, Simonsen, Jakob Grue & Lioma, Christina, 2019.Publikation: Konferencebidrag › Paper › Forskning › fagfællebedømt
- Udgivet
Neural check-worthiness ranking with weak supervision: Finding sentences for fact-checking
Hansen, C., Hansen, C., Alstrup, Stephen, Simonsen, Jakob Grue & Lioma, Christina, 2019, The Web Conference 2019 - Companion of the World Wide Web Conference, WWW 2019. Association for Computing Machinery, s. 994-1000 7 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Near-optimal adjacency labeling scheme for power-law graphs
Petersen, C., Rotbart, N. G., Simonsen, Jakob Grue & Wulff-Nilsen, Christian, 2015, I: arXiv.org: Computer science. arXiv:1502.03971, 18 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning
- Udgivet
Near optimal adjacency labeling schemes for power-law graphs
Petersen, C., Rotbart, N. G., Simonsen, Jakob Grue & Wulff-Nilsen, Christian, 2016, 43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016). Chatzigiannakis, I., Mitzenmacher, M., Rabani, Y. & Sangiorgi, D. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 15 s. 133. (Leibniz International Proceedings in Informatics, Bind 55).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
MultiFC: A Real-World Multi-Domain Dataset for Evidence-Based Fact Checking of Claims
Augenstein, Isabelle, Lioma, Christina, Wang, D., Chaves Lima, L., Hansen, C., Hansen, C. & Simonsen, Jakob Grue, 2019, Proceedings of the 2019 Conference on Empirical Methods in Natural Language Processing and the 9th International Joint Conference on Natural Language Processing (EMNLP-IJCNLP). Association for Computational Linguistics, s. 4684-4697Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Multi-head Self-attention with Role-Guided Masks
Wang, D., Hansen, C., Lima, L. C., Hansen, C., Maistro, Maria, Simonsen, Jakob Grue & Lioma, Christina, 2021, Advances in Information Retrieval - 43rd European Conference on IR Research, ECIR 2021, Proceedings, Part II. Hiemstra, D., Moens, M-F., Mothe, J., Perego, R., Potthast, M. & Sebastiani, F. (red.). Springer, s. 432-439 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12657 LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
More Intensional Versions of Rice’s Theorem
Moyen, J. Y. & Simonsen, Jakob Grue, 2019, Computing with Foresight and Industry - 15th Conference on Computability in Europe, CiE 2019, Proceedings. Martin, B., Paulusma, D., Primiero, G. & Manea, F. (red.). Springer, s. 217-229 13 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 11558 LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Modelling Sequential Music Track Skips using a Multi-RNN Approach
Hansen, C., Hansen, C., Alstrup, Stephen, Simonsen, Jakob Grue & Lioma, Christina, 2019, WSDM '19: Proceedings of the Twelfth ACM International Conference on Web Search and Data Mining. Association for Computing Machinery, 4 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Mining until it hurts: automatic extraction of usability issues from online reviews compared to traditional usability evaluation
Hedegaard, S. & Simonsen, Jakob Grue, 2014, Proceedings of the 8th Nordic Conference on Human-Computer Interaction: Fun, Fast, Foundational. Association for Computing Machinery, s. 157-166 10 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Lost in translation: authorship attribution using frame semantics
Hedegaard, S. & Simonsen, Jakob Grue, 2011, Proceedings of the 49th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies: short papers. Association for Computational Linguistics, Bind 2. s. 65-70 6 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Lost in translation: Authorship attribution using frame semantics
Hedegaard, S. & Simonsen, Jakob Grue, 1 dec. 2011, ACL-HLT 2011 - Proceedings of the 49th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies. s. 65-70 6 s. (ACL-HLT 2011 - Proceedings of the 49th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies, Bind 2).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Liouville Numbers and the Computational Complexity of Changing Bases
Jakobsen, S. K. & Simonsen, Jakob Grue, 2020, Beyond the Horizon of Computability - 16th Conference on Computability in Europe, CiE 2020, Proceedings. Anselmo, M., Della Vedova, G., Manea, F. & Pauly, A. (red.). Springer VS, s. 50-62 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12098 LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Levels of undecidability in rewriting
Endrullis, J., Geuvers, H., Simonsen, Jakob Grue & Zantema, H., 2011, I: Information and Computation. 209, 2, s. 227-245 19 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
Least upper bounds on the size of confluence and church-rosser diagrams in term rewriting and λ-calculus
Ketema, J. & Simonsen, Jakob Grue, 2013, I: A C M Transactions on Computational Logic. 14, 4, 28 s., 31.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
Least upper bounds on the size of Church-Rosser diagrams in term rewriting and λ-calculus
Ketema, J. & Simonsen, Jakob Grue, 2010, Functional and Logic Programming: 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings. Blume, M., Kobayashi, N. & Vidal, G. (red.). Springer, s. 272-287 (Lecture notes in computer science, Bind 6009).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
LAIR: A Language for Automated Semantics-Aware Text Sanitization based on Frame Semantics
Hedegaard, S., Houen, S. & Simonsen, Jakob Grue, 2009, Proceedings of the 3rd IEEE International Conference on Semantic Computing (ICSC 2009). IEEE Computer Society Press, s. 47-52 6 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Is once enough? on the extent and content of replications in human-computer interaction
Hornbæk, Kasper, Sander, S. S., Bargas-Avila, J. A. & Simonsen, Jakob Grue, 2014, Proceedings of the SIGCHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, s. 3523-3532 10 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Interpretive Overhead and Optimal Specialisation. Or: Life without the Pending List (Workshop Version)
Hartmann, L. R., Jones, N. & Simonsen, Jakob Grue, 2008. 11 s.Publikation: Konferencebidrag › Paper › Forskning
- Udgivet
Infinitary combinatory reduction systems: normalising reduction strategies
Ketema, J. & Simonsen, Jakob Grue, 2010, I: Logical Methods in Computer Science. 6, 1, 35 s., 7.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
Infinitary Combinatory Reduction Systems: Confluence
Ketema, J. & Simonsen, Jakob Grue, 2009, I: Logical Methods in Computer Science. 5, 4:3, s. 1-29 29 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
Infinitary Combinatory Reduction Systems
Ketema, J. & Simonsen, Jakob Grue, 2011, I: Information and Computation. 209, 6, s. 893-926 34 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
Infinitary Combinatory Reduction Systems
Ketema, J. & Simonsen, Jakob Grue, 2005, Proceedings of the 30th International Conference on Rewriting Techniques and Applications. 3467 udg. s. 438-452Publikation: Bidrag til bog/antologi/rapport › Bidrag til rapport › Formidling
- Udgivet
Implicit Representation of Relations
Glončák, V., Munkstrup, J. E. E. & Simonsen, Jakob Grue, 2023, I: Theory of Computing Systems. 67, 6, s. 1156-1196Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
Higher-order (non-)modularity
Appel, C., van Oostrom, V. & Simonsen, Jakob Grue, 2010, Proceedings of the 21st International Conference on Rewriting Techniques and Applications. Lynch, C. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, s. 17-32 16 s. (Leibniz International Proceedings in Informatics, Bind 6).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Generating Fact Checking Explanations
Atanasova, Pepa Kostadinova, Simonsen, Jakob Grue, Lioma, Christina & Augenstein, Isabelle, 2020, : Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics. Association for Computational Linguistics, s. 7352-7364Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Faithfulness Tests for Natural Language Explanations
Atanasova, Pepa Kostadinova, Camburu, O. M., Lioma, Christina, Lukasiewicz, T., Simonsen, Jakob Grue & Augenstein, Isabelle, 2023, Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 2: Short Papers). Association for Computational Linguistics (ACL), s. 283-294 12 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Factuality Checking in News Headlines with Eye Tracking
Hansen, C., Hansen, C., Simonsen, Jakob Grue, Larsen, B., Alstrup, Stephen & Lioma, Christina, 2020, SIGIR 2020 - Proceedings of the 43rd International ACM SIGIR Conference on Research and Development in Information Retrieval. Association for Computing Machinery, s. 2013-2016 4 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Fact Checking with Insufficient Evidence
Atanasova, Pepa Kostadinova, Simonsen, Jakob Grue, Lioma, Christina & Augenstein, Isabelle, 2022, I: Transactions of the Association for Computational Linguistics. 10, s. 746-763Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
Fact Check-Worthiness Detection with Contrastive Ranking
Hansen, C., Hansen, C., Simonsen, Jakob Grue & Lioma, Christina, 2020, Experimental IR Meets Multilinguality, Multimodality, and Interaction - 11th International Conference of the CLEF Association, CLEF 2020, Proceedings. Arampatzis, A., Kanoulas, E., Tsikrika, T., Vrochidis, S., Joho, H., Lioma, C., Eickhoff, C., Névéol, A., Névéol, A., Cappellato, L. & Ferro, N. (red.). Springer, s. 124-130 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12260 LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Extracting usability and user experience information from online user reviews
Hedegaard, S. & Simonsen, Jakob Grue, 2013, Proceedings of the SIGCHI Conference on Human Factors in Computing Systems: CHI '13. Association for Computing Machinery, s. 2089-2098 10 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Exploiting the bipartite structure of entity grids for document coherence and retrieval
Lioma, Christina, Tarissan, F., Simonsen, Jakob Grue, Petersen, C. & Larsen, B., 2016, Proceedings of the 2016 ACM International Conference on the Theory of Information Retrieval. Association for Computing Machinery, s. 11-20 10 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Evaluation measures for relevance and credibility in ranked lists
Lioma, Christina, Simonsen, Jakob Grue & Larsen, B., 2017, Proceedings of the 2017 ACM SIGIR International Conference on Theory of Information Retrieval. Association for Computing Machinery, s. 91-98 8 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Entropy and graph based modelling of document coherence using discourse entities: an application to information retrieval
Petersen, C., Lioma, Christina, Simonsen, Jakob Grue & Larsen, B., 2015, Proceedings of the 2015 International Conference on The Theory of Information Retrieval. Association for Computing Machinery, s. 191-200 10 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
ENCODING WORD ORDER IN COMPLEX EMBEDDINGS
Wang, B., Zhao, D., Lioma, Christina, Li, Q., Peng, Z. & Simonsen, Jakob Grue, 2020, s. 1-15.Publikation: Konferencebidrag › Paper › Forskning
- Udgivet
Discounted Repeated Games Having Computable Strategies with No Computable Best Response under Subgame-Perfect Equilibria
Dargaj, J. & Simonsen, Jakob Grue, 2022, I: ACM Transactions on Economics and Computation. 10, 1, s. 1-39 3.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
Diagnostics-Guided Explanation Generation
Atanasova, Pepa Kostadinova, Simonsen, Jakob Grue, Lioma, Christina & Augenstein, Isabelle, 2022, I: Proceedings of the International Joint Conference on Artificial Intelligence. 36, 10, s. 10445-10453.Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning
- Udgivet
Designing with Awareness: Building an Agenda for Worker and Patient Well-being
Milbak, Tina Westergaard, Simonsen, Jakob Grue, Hansen, M. B. & Møller, Naja Holten, 2023, Proceedings of 21st European Conference on Computer-Supported Cooperative Work. European Society for Socially Embedded TechnologiesPublikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Deep learning relevance: creating relevant information (as opposed to retrieving it)
Lioma, Christina, Larsen, B., Petersen, C. & Simonsen, Jakob Grue, 2016. 6 s.Publikation: Konferencebidrag › Paper › Forskning › fagfællebedømt
- Udgivet
Contextually propagated term weights for document representation
Hansen, C., Hansen, C., Alstrup, Stephen, Simonsen, Jakob Grue & Lioma, Christina, 18 jul. 2019, SIGIR 2019 - Proceedings of the 42nd International ACM SIGIR Conference on Research and Development in Information Retrieval. Association for Computing Machinery, s. 897-900 (SIGIR 2019 - Proceedings of the 42nd International ACM SIGIR Conference on Research and Development in Information Retrieval).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Contextual compositionality detection with external knowledge bases and word embeddings
Wang, D., Li, Q., Lima, L. C., Simonsen, Jakob Grue & Lioma, Christina, 2019, The Web Conference 2019 - Companion of the World Wide Web Conference, WWW 2019. Association for Computing Machinery, s. 317-323 7 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Content-aware Neural Hashing for Cold-start Recommendation
Hansen, C., Hansan, C., Simonsen, Jakob Grue, Alstrup, Stephen & Lioma, Christina, 2020, SIGIR 2020 - Proceedings of the 43rd International ACM SIGIR Conference on Research and Development in Information Retrieval. Association for Computing Machinery, s. 971-980 10 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Cons-free programs and complexity classes between LOGSPACE and PTIME
Jones, N. D., Bhaskar, S., Kop, C. & Simonsen, Jakob Grue, 2020, I: Electronic Proceedings in Theoretical Computer Science. 320, s. 65-79Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › fagfællebedømt
- Udgivet
Computing with Infinite Terms and Infinite Reductions
Ketema, J. & Simonsen, Jakob Grue, 2019, I: Fundamenta Informaticae. 170, 4, s. 339-365 27 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
Computing continuous-time Markov chains as transformers of unbounded observables
Danos, V., Heindel, T., Garnier, I. & Simonsen, Jakob Grue, 2017, Foundations of Software Science and Computation Structures: 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings. Esparza, J. & Murawski, A. S. (red.). Springer, s. 338-354 17 s. (Lecture notes in computer science, Bind 10203).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Computational models with no linear speedup
Ben-Amram, A. M., Christensen, N. H. & Simonsen, Jakob Grue, 2012, I: Chicago Journal of Theoretical Computer Science. 2012, 24 s., 07.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
Computational biology: a programming perspective
Hartmann, L. R., Jones, N., Simonsen, Jakob Grue & Vrist, S. B., 2011, Formal modeling: actors, open systems, biological systems. Agha, G., Danvy, O. & Meseguer, J. (red.). Springer, s. 403-433 31 s. (Lecture notes in computer science, Bind 7000).Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt
- Udgivet
Computability in the lattice of equivalence relations
Moyen, J. & Simonsen, Jakob Grue, 2017, Proceedings 8th Workshop on Developments in Implicit Computational Complexity and 5th Workshop on Foundational and Practical Aspects of Resource Analysis. Bonfante, G. & Moser, G. (red.). Open Publishing Association, s. 38-46 9 s. (Electronic Proceedings in Theoretical Computer Science, Bind 248).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Compositional Specification of Commercial Contracts (Technical. report)
Henglein, Fritz, Stefansen, C. O. E., Simonsen, Jakob Grue, Andersen, J. & Elsborg, E., 2004, University of Copenhagen Institute of Computer Science: N/A. 38 s.Publikation: Bog/antologi/afhandling/rapport › Rapport › Formidling
- Udgivet
Compositional Specification of Commercial Contracts
Henglein, Fritz, Stefansen, C. O. E., Simonsen, Jakob Grue, Andersen, J. & Elsborg, E., 2004, publisher. University of Cyprus, s. 8Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
- Udgivet
Compositional Contract Specification for REA
Henglein, Fritz, Larsen, Ken Friis, Simonsen, Jakob Grue & Stefansen, C. O. E., 2007, NWPT '07/FLACOS' 07: workshop proceedings, October 9-12, 2007.Oslo, Norway. Johnsen, E. B., Owe, O. & Schneider, G. (red.). Universitetet i Oslo, s. 130-132 (Research report. Universitetet i Oslo. Institutt for informatikk; Nr. 366).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning
ID: 12543
Flest downloads
-
4106
downloads
Requirements for Logical Models for Value-Added Tax Legislation
Publikation: Konferencebidrag › Paper › Forskning
Udgivet -
2508
downloads
Classifying VAT Legislation for Automation
Publikation: Konferencebidrag › Paper › Forskning
Udgivet -
2080
downloads
Tutorial on Modeling VAT Rules Using OWL-DL
Publikation: Konferencebidrag › Paper › Forskning
Udgivet