Jakob Grue Simonsen
Institutleder
- 2023
- Udgivet
Read/write factorizable programs
Bhaskar, S. & Simonsen, Jakob Grue, 8 jun. 2023, I: Journal of Functional Programming. 33, 4, s. 1-50 e5.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- Udgivet
A complete characterization of infinitely repeated two-player games having computable strategies with no computable best response under limit-of-means payoff
Dargaj, J. & Simonsen, Jakob Grue, 2023, I: Journal of Economic Theory. 213, 24 s., 105713.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- 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
Subclasses of Ptime Interpreted by Programming Languages
Bhaskar, S., Kop, C. & Simonsen, Jakob Grue, 2023, I: Theory of Computing Systems. 3, s. 437-472Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- 2022
- Udgivet
Complex-valued Neural Network-based Quantum Language Models
Zhang, P., Hui, W., Wang, B., Zhao, D., Song, D., Lioma, Christina & Simonsen, Jakob Grue, 2022, I: ACM Transactions on Information Systems. 40, 4, 31 s., 84.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
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
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
- 2021
- Udgivet
Can Workplace Tracking Ever Empower? Collective Sensemaking for the Responsible Use of Sensor Data at Work
Møller, Naja Holten, Neff, G., Simonsen, Jakob Grue, Villumsen, J. C. & Bjorn, Pernille, jul. 2021, I: Proceedings of the ACM on Human-Computer Interaction. 5, GROUP, 21 s., 219.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
- 2020
- 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
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