Algorithms, Logic and Graphs

Postal address
Richard Petersens Plads, Building 324
DK-2800 Kgs. Lyngby
Denmark

A Case Study in Computer-Assisted Meta-reasoning
From, A. H., Lund, S. T. & Villadsen, J., 2022, Distributed Computing and Artificial Intelligence: Special Sessions: 18^th 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 proceeding › Article in proceedings › Research › peer-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 proceeding › Article in proceedings › Research › peer-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 journal › Journal article › Research › peer-review

File

Helt elektrisk
Laila Zwisler (Other) & Dorte Olesen (Other)
24 Oct 2020
Activity: Talks and presentations › Talks and presentations in private or public companies and organisations

File
Local Isabelle Workshop
Anders Schlichtkrull (Participant)
6 Jun 2018
Activity: Attending an event › Participating in or organising workshops, courses, seminars etc.
Phd Bazaar 2018 DTU Compute
Anders Schlichtkrull (Participant)
9 May 2018
Activity: Attending an event › Participating in or organising workshops, courses, seminars etc.

Organization profile