• Matematiktorvet, 303 B

    DK-2800 Kgs. Lyngby

    Denmark

Research Output 2009 2020

2020

A Data Driven Agent Elicitation Pipeline for Prediction Models

Larsen, J. B., Burattin, A., Davis, C. J., Hjardem-Hansen, R. & Villadsen, J., 2020, Business Process Management Workshops. Di Francescomarino, C., Dijkman, R. & Zdun, U. (eds.). Springer, p. 570-582 (Lecture Notes in Business Information Processing, Vol. 362).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Cycles in 5-connected triangulations

Alahmadi, A., Aldred, R. E. L. & Thomassen, C., 2020, In : Journal of Combinatorial Theory. Series B. 140, p. 27-44 18 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Multi-Agent Programming Contest 2018—The Jason-DTU Team

Villadsen, J., Bjørn, M. O., From, A. H., Henney, T. S. & Larsen, J. B., 2020, The Multi-Agent Programming Contest 2018. Ahlbrecht, T., Dix, J. & Fiekas, N. (eds.). Springer, p. 41-71 (Lecture Notes in Computer Science, Vol. 11957).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Worst-Case Polylog Incremental SPQR-trees: Embeddings, Planarity, and Triconnectivity

Holm, J. & Rotenberg, E., 2020, (Accepted/In press) Proceedings of ACM-SIAM Symposium on Discrete Algorithms. Association for Computing Machinery, p. 2378-2397

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

2019

A differential privacy workflow for inference of parameters in the rasch model

Steiner, T. A., Nyrnberg, D. E. & Hansen, L. K., 1 Jan 2019, Proceedings of ECML PKDD 2018 Workshops - MIDAS 2018 and PAP 2018. Monreale, A. & Alzate, C. (eds.). Springer, p. 113-124 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11054 LNAI).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

A dynamic logic for learning theory

Baltag, A., Gierasimczuk, N., Ozgun, A., Sandoval, A. L. V. & Smets, S., 2019, In : Journal of Logical and Algebraic Methods in Programming. 109, 20 p., 100485.

Research output: Contribution to journalJournal articleResearchpeer-review

156 Downloads (Pure)

AI, MEDIER OG DEMOKRATI: Sådan styrker vi vores demokratiske immunforsvar

Knudsen, L., Werge, L., Blaagaard, C., Albrechtsen, T., Bechmann, A., Kürstein, B., Petersen, T. D., Hvid, A., Ploug, T., Bolander, T., Bodskov, H., Simonsen, K., Munk, G. & Langhorn, A., 2019, IDA for Siri Kommissionen. 25 p.

Research output: Book/ReportReportCommissioned

Open Access
File
16 Downloads (Pure)

Algebras, Graphs and Thetas

De Carli Silva, M. K., Coutinho, G., Godsil, C. & Roberson, D. E., 1 Jan 2019, In : Electronic Notes in Theoretical Computer Science. 346, p. 275-283

Research output: Contribution to journalConference articleResearchpeer-review

Open Access
File

A Process Calculus for Design and Modeling of Retro-Synthesis

Broholm, G., Hammeken, M., Hansen, M. S., Juhl, A., Larsen, M. S., Nilsson, J. F., Pethick, T. & Sørensen, M. G., 2019, Information Modelling and Knowledge Bases XXX. IOS Press, p. 20 - 31 (Frontiers in Artificial Intelligence and Applications, Vol. 312).

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

Open Access

Bridging Logic, Philosophy, Computer and Cognitive Science: in the Memory of Marcin Mostowski (1955-2017) Introduction

Szymanik, J. (ed.) & Gierasimczuk, N. (ed.), 2019, In : Fundamenta Informaticae. 164, 4, p. I-III 3 p.

Research output: Contribution to journalJournal articleCommunication

6 Downloads (Pure)

Cognitive Complexity of Logical Reasoning in Games: Automated Theorem Proving Perspective

Thoft, K. B. P. & Gierasimczuk, N., 2019, p. 3370-3370.

Research output: Contribution to conferenceConference abstract for conferenceResearchpeer-review

Open Access
File

Cycles containing all the odd-degree vertices

Cameron, K. & Thomassen, C., 1 Jan 2019, (Accepted/In press) In : Journal of Combinatorial Theory. Series B. 7 p.

Research output: Contribution to journalJournal articleResearchpeer-review

119 Downloads (Pure)

Decomposing graphs into a spanning tree, an even graph, and a star forest

Lyngsie, K. S. & Merker, M., 2019, In : The Electronic Journal of Combinatorics. 26, 1, 6 p., P1.33.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
12 Downloads (Pure)

Deductive Querying of Natural Logic Bases

Andreasen, T., Bulskov, H., Jensen, P. A. & Nilsson, J. F., 2019, Proceedings of International Conference on Flexible Query Answering Systems. Springer, p. 231-41 (Lecture Notes in Computer Science, Vol. 11529).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File

Diskret matematik

Bolander, T., 2019, Teknisk Matematik. Nyt Teknisk Forlag, Vol. 3. p. 169-214

Research output: Chapter in Book/Report/Conference proceedingBook chapterEducation

Dynamic Term-Modal Logic for Epistemic Social Network Dynamics

Liberman, A. O. & Rendsvig, R. K., 1 Jan 2019, Proceedings of 7th International Workshop on Logic, Rationality, and Interaction. Blackburn, P., Lorini, E. & Guo, M. (eds.). Springer, p. 168-182 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11813 LNCS).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

10 Downloads (Pure)

Edge-Weightings of Graphs and Applications of Non-Separating Cycles

Lyngsie, K. S., 2019, Technical University of Denmark. 116 p.

Research output: Book/ReportPh.D. thesisResearch

Open Access
File

Factorizing regular graphs

Thomassen, C., 2019, In : Journal of Combinatorial Theory. Series B. 141, p. 343-351

Research output: Contribution to journalJournal articleResearchpeer-review

31 Downloads (Pure)

Fractional coloring methods with applications to degenerate graphs and graphs on surfaces

Gimbel, J., Kündgen, A., Li, B. & Thomassen, C., 1 Jan 2019, In : SIAM Journal on Discrete Mathematics. 33, 3, p. 1415-1430 16 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
27 Downloads (Pure)

From regular expression matching to parsing

Bille, P. & Gørtz, I. L., 1 Aug 2019, Proceedings of 44th International Symposium on Mathematical Foundations of Computer Science. Katoen, J-P., Heggernes, P. & Rossmanith, P. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 14 p. 71. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 138).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File
17 Downloads (Pure)

Going beyond BDI for agent-based simulation

Larsen, J. B., 2019, In : Journal of Information and Telecommunication. 3, 4, p. 446-464

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
10 Downloads (Pure)

Graph homomorphisms via vector colorings

Godsil, C., Roberson, D. E., Rooney, B., Šámal, R. & Varvitsiotis, A., 1 Jun 2019, In : European Journal of Combinatorics. 79, p. 244-261

Research output: Contribution to journalJournal articleResearchpeer-review

File

Hamilton cycles in sparse locally connected graphs

van Aardt, S. A., Burger, A. P., Frick, M., Thomassen, C. & de Wet, J. P., 2019, In : Discrete Applied Mathematics. 257, 13 p.

Research output: Contribution to journalJournal articleResearchpeer-review

44 Downloads (Pure)

Hospital Staff Planning with Multi-Agent Goals

Larsen, J. B., 2019, Technical University of Denmark. 182 p.

Research output: Book/ReportPh.D. thesisResearch

Open Access
File
3 Downloads (Pure)

Human vs machine intelligence: How they differ and what this implies for our future society

Bolander, T., 2019, In : Proceedings of Pragmatic Constructivism. 9, 1, p. 25-30

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File

Hvordan ser fremtiden ud med kunstig intelligens?

Bolander, T., 2019, Informations Forlag. 82 p.

Research output: Book/ReportBookCommunication

100 Downloads (Pure)

Implicitly coordinated multi-agent path finding under destination uncertainty: Success guarantees and computational complexity

Nebel, B., Bolander, T., Engesser, T. & Mattmüller, R., 2019, In : Journal of Artificial Intelligence Research. 64, p. 497-527

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
26 Downloads (Pure)

Improved runtime results for simple randomised search heuristics on linear functions with a uniform constraint

Neumann, F., Pourhassan, M. & Witt, C., 13 Jul 2019, Proceedings of the 2019 Genetic and Evolutionary Computation Conference. Association for Computing Machinery, p. 1506-1514 (GECCO 2019 - Proceedings of the 2019 Genetic and Evolutionary Computation Conference).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File
17 Downloads (Pure)

Learning to Plan from Raw Data in Grid-based Games

Dittadi, A., Bolander, T. & Winther, O., 2019, Proceedings of 4th Global Conference on Artificial Intelligence. p. 54–67 (EPiC Series in Computing, Vol. 55).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File
24 Downloads (Pure)

Lower bounds on the runtime of crossover-based algorithms via decoupling and family graphs

Sutton, A. M. & Witt, C., 13 Jul 2019, Proceedings of the 2019 Genetic and Evolutionary Computation Conference. Association for Computing Machinery, p. 1515-1522 (GECCO 2019 - Proceedings of the 2019 Genetic and Evolutionary Computation Conference).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File

Lower bounds on the run time of the Univariate Marginal Distribution Algorithm on OneMax

Krejca, M. S. & Witt, C., 2019, (Accepted/In press) In : Theoretical Computer Science. 23 p.

Research output: Contribution to journalJournal articleResearchpeer-review

109 Downloads (Pure)

Natural Deduction Assistant (NaDeA)

Villadsen, J., From, A. H. & Schlichtkrull, A., 2019, In : Electronic Proceedings in Theoretical Computer Science. 290, p. 14–29

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File

On {a, b}-Edge-Weightings of Bipartite Graphs with Odd a, b

Bensmail, J., McInerney, F. & Lyngsie, K. S., 2019, (Accepted/In press) In : Discussiones Mathematicae. Graph Theory. 27 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File

On chromatic number and minimum cut

Alishahi, M. & Hajiabolhassan, H., 2019, In : Journal of Combinatorial Theory. Series B. 139, p. 27-46 20 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Online Bipartite Matching with Amortized O(log2 n) Replacements

Bernstein, A., Holm, J. & Rotenberg, E., 1 Sep 2019, In : Journal of the ACM. 66, 5, 23 p., 37.

Research output: Contribution to journalJournal articleResearchpeer-review

On the Chromatic Number of Matching Kneser Graphs

Alishahi, M. & Hossein, H., 1 Jan 2019, In : Combinatorics Probability and Computing. 29, 1, p. 1-21

Research output: Contribution to journalJournal articleResearchpeer-review

3 Downloads (Pure)

Planar Ramsey graphs

Axenovich, M., Schade, U., Thomassen, C. & Ueckerdt, T., 1 Jan 2019, In : Electronic Journal of Combinatorics. 26, 4, P4.9.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File

Quantum and non-signalling graph isomorphisms

Atserias, A., Mančinska, L., Roberson, D. E., Šámal, R., Severini, S. & Varvitsiotis, A., 1 May 2019, In : Journal of Combinatorial Theory. Series B. 136, p. 289-328

Research output: Contribution to journalJournal articleResearchpeer-review

5 Downloads (Pure)

Sharp bounds on the runtime of the (1+1) EA via drift analysis and analytic combinatorial tools

Hwang, H-K. & Witt, C., 2019, Proceedings of the 15th ACM/SIGEVO Conference on Foundations of Genetic Algorithms. Association for Computing Machinery, p. 1-12 12 p. (Proceedings of the 15th Acm/sigevo Conference on Foundations of Genetic Algorithms).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File
12 Downloads (Pure)

Spanning trees without adjacent vertices of degree 2

Lyngsie, K. S. & Merker, M., 2019, In : Discrete Mathematics. 342, 12, 11 p., 111604.

Research output: Contribution to journalJournal articleResearchpeer-review

File
110 Downloads (Pure)

Students’ Proof Assistant (SPA)

Schlichtkrull, A., Villadsen, J. & From, A. H., 2019, In : Electronic Proceedings in Theoretical Computer Science. 290, p. 1–13

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File

The Dynamic Logic of Policies and Contingent Planning

Bolander, T., Engesser, T., Herzig, A., Mattmüller, R. & Nebel, B., 2019, Proceedings of European Conference on Logics in Artificial Intelligence. Springer, p. 659-74 (Lecture Notes in Computer Science, Vol. 11468).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

4 Downloads (Pure)

Top Tree Compression of Tries

Bille, P., Gawrychowski, P., Gørtz, I. L., Landau, G. M. & Weimann, O., 2019, Proceedings of 30th International Symposium on Algorithms and Computation. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 4:1--4:18 (Leibniz International Proceedings in Informatics, Vol. 149).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File
17 Downloads (Pure)

Truth-Tracking by Belief Revision

Baltag, A., Gierasimczuk, N. & Smets, S., 2019, In : Studia Logica. 107, 5, p. 917-947 31 p.

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File
21 Downloads (Pure)

Upper Bounds on the Running Time of the Univariate Marginal Distribution Algorithm on OneMax

Witt, C., 15 Feb 2019, In : Algorithmica. 81, 2, p. 632-667

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access
File

Vector coloring the categorical product of graphs

Godsil, C., Roberson, D. E., Rooney, B., Šámal, R. & Varvitsiotis, A., 1 Jan 2019, In : Mathematical Programming. 40 p.

Research output: Contribution to journalJournal articleResearchpeer-review

What do we loose when machines take the decisions?

Bolander, T., 1 Dec 2019, In : Journal of Management and Governance. 23, 4, p. 849-867

Research output: Contribution to journalJournal articleResearchpeer-review

2018
103 Downloads (Pure)

Adding Organizational Reasoning to Agent-Based Simulations in GAMA

Larsen, J. B., 2018, Engineering Multi-Agent Systems. EMAS 2018. Springer, p. 242-262 (Lecture Notes in Computer Science, Vol. 11375).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File
83 Downloads (Pure)

A Dynamic Logic for Learning Theory

Baltag, A., Gierasimczuk, N., Özgün, A., Vargas Sandoval, A. L. & Smets, S., 2018, Dynamic Logic. New Trends and Applications. : First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings. Madeira, A. & Benevides, M. (eds.). Springer, Vol. 10669. p. 35-54 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access
File
1 Downloads (Pure)

A Generalized Version of a Local Antimagic Labelling Conjecture

Lyngsie, K. S. & Zhong, L., 1 Nov 2018, In : Graphs and Combinatorics. 34, 6, p. 1363-1369

Research output: Contribution to journalJournal articleResearchpeer-review

Open Access