Algorithms and Logic

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
Exponentially many 3-colorings of planar triangle-free graphs with no short separating cycles
Thomassen, C., 2022, (Accepted/In press) In: Journal of Combinatorial Theory. Series B. 15 p.
Research output: Contribution to journal › Journal article › peer-review

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
ARQNL 2018
Anders Schlichtkrull (Participant)
18 Jul 2018
Activity: Attending an event › Participating in or organising workshops, courses, seminars etc.
Local Isabelle Workshop
Anders Schlichtkrull (Participant)
6 Jun 2018
Activity: Attending an event › Participating in or organising workshops, courses, seminars etc.

Organization profile