Jakob Grue Simonsen
Head of Department
- Published
Near-optimal adjacency labeling scheme for power-law graphs
Petersen, C., Rotbart, N. G., Simonsen, Jakob Grue & Wulff-Nilsen, Christian, 2015, In: arXiv.org: Computer science. arXiv:1502.03971, 18 p.Research output: Contribution to journal › Journal article › Research
- Published
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, p. 994-1000 7 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Neural speed reading with structural-jump-LSTM
Hansen, C., Hansen, C., Alstrup, Stephen, Simonsen, Jakob Grue & Lioma, Christina, 2019.Research output: Contribution to conference › Paper › Research › peer-review
- Published
Neural weakly supervised fact check-worthiness detection with contrastive sampling-based ranking loss
Hansen, C., Hansen, C., Simonsen, Jakob Grue & Lioma, Christina, 2019, In: CEUR Workshop Proceedings. 2380, 8 p.Research output: Contribution to journal › Conference article › Research › peer-review
- Published
Non-compositional term dependence for information retrieval
Lioma, Christina, Simonsen, Jakob Grue, Larsen, B. & Hansen, N. D., 2015, SIGIR '15: Proceedings of the 38th International ACM SIGIR Conference on Research and Development in Information Retrieval. Association for Computing Machinery, p. 595-604 10 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
On Beta-Shifts Having Arithmetical Languages
Simonsen, Jakob Grue, 2005, : Proceedings of the 30th International Symposium on Mathematical Foundations of Computer Science. 3618 ed. Springer, p. 757-768Research output: Chapter in Book/Report/Conference proceeding › Report chapter › Communication
- Published
On Computable Approximation of Infinite Objects
Simonsen, Jakob Grue, 2005, 145 p.Research output: Book/Report › Ph.D. thesis › Research
- Published
On Confluence of Infinitary Combinatory Reduction Systems
Ketema, J. & Simonsen, Jakob Grue, 2005, Proceedings of the 12th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR '05). 3835 ed. Berlin: Springer, p. 199-214Research output: Chapter in Book/Report/Conference proceeding › Report chapter › Communication
- Published
On Local Non-Compactness in Recursive Mathematics
Simonsen, Jakob Grue, 2006, In: Mathematical Logic Quarterly. 52/4, p. 323-330Research output: Contribution to journal › Journal article › Research › peer-review
- Published
On Modularity in Infinitary Rewriting
Simonsen, Jakob Grue, 2006, In: Information and Computation. 204(6), p. 957-988Research output: Contribution to journal › Journal article › Research › peer-review
ID: 12543
Most downloads
-
4106
downloads
Requirements for Logical Models for Value-Added Tax Legislation
Research output: Contribution to conference › Paper › Research
Published -
2508
downloads
Classifying VAT Legislation for Automation
Research output: Contribution to conference › Paper › Research
Published -
2080
downloads
Tutorial on Modeling VAT Rules Using OWL-DL
Research output: Contribution to conference › Paper › Research
Published