• Postal address

    Richard Petersens Plads, Building 324

    DK-2800 Kgs. Lyngby

    Denmark

Organization profile

Head of section: Professor Paul Fischer

Fingerprint

Dive into the research topics where Algorithms, Logic and Graphs is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.

Network

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • A Case Study in Computer-Assisted Meta-reasoning

    From, A. H., Lund, S. T. & Villadsen, J., 2022, Distributed Computing and Artificial Intelligence: Special Sessions: 18th International Conference. González, S. R., Machado, J. M., González-Briones, A., Wikarek, J., Loukanova, R., Katranas, G. & Casado-Vara, R. (eds.). Springer, Vol. 2. p. 53-63 (Lecture Notes in Networks and Systems, Vol. 332).

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

  • A Theorem Proving Approach to Formal Verification of a Cognitive Agent

    Jensen, A. B., 2022, Distributed Computing and Artificial Intelligence. Matsui, K., Omatu, S., Yigitcanlar, T. & González, S. R. (eds.). Springer, p. 1-11 (Lecture Notes in Networks and Systems, Vol. 327 LNNS).

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

  • Efficient segment folding is hard

    Horiyama, T., Klute, F., Korman, M., Parada, I., Uehara, R. & Yamanaka, K., 2022, In: Computational Geometry. 104, 19 p., 101860.

    Research output: Contribution to journalJournal articleResearchpeer-review

    File
  • Helt elektrisk

    Laila Zwisler (Other) & Dorte Olesen (Other)

    24 Oct 2020

    Activity: Talks and presentationsTalks and presentations in private or public companies and organisations

    File
  • Local Isabelle Workshop

    Anders Schlichtkrull (Participant)

    6 Jun 2018

    Activity: Attending an eventParticipating in or organising workshops, courses, seminars etc.

  • Phd Bazaar 2018 DTU Compute

    Anders Schlichtkrull (Participant)

    9 May 2018

    Activity: Attending an eventParticipating in or organising workshops, courses, seminars etc.