Research output per year
Research output per year
Organization profile
Organisation profile
Head of section: Professor Paul Fischer
Fingerprint
Dive into the research topics where Algorithms and Logic 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 level. Dive into details by clicking on the dots or
Profiles
-
Mikkel Birkegaard Andersen
- Department of Applied Mathematics and Computer Science - External Lecturer
- Algorithms and Logic
Person: VIP
Research output
-
Gaps in the cycle spectrum of 3-connected cubic planar graphs
Merker, M., 2021, In : Journal of Combinatorial Theory. Series B. 146, p. 68-75Research output: Contribution to journal › Journal article › Research › peer-review
-
On {a, b}-Edge-Weightings of Bipartite Graphs with Odd a, b
Bensmail, J., McInerney, F. & Lyngsie, K. S., 2021, (Accepted/In press) In : Discussiones Mathematicae. Graph Theory. 27 p.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile -
On Using Theorem Proving for Cognitive Agent-Oriented Programming
Jensen, A. B., Hindriks, K. V. & Villadsen, J., 2021, Proceedings of the 13th International Conference on Agents and Artificial Intelligence. Rocha, A. P., Steels, L. & van den Herik, J. (eds.). Science and Technology Publishing, Vol. 1. p. 446-453Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Projects
- 1 Finished
Activities
-
Helt elektrisk
Laila Zwisler (Other) & Dorte Olesen (Other)
24 Oct 2020Activity: Talks and presentations › Talks and presentations in private or public companies and organisations
File -
Local Isabelle Workshop
Anders Schlichtkrull (Participant)
6 Jun 2018Activity: Attending an event › Participating in or organising workshops, courses, seminars etc.
-
Talk in the Computational Logic Group at the University of Innsbruck
Anders Schlichtkrull (Participant)
1 Mar 2018Activity: Attending an event › Participating in or organising workshops, courses, seminars etc.
Press / Media
-
Google-computers triumf er et lille skridt mod store samfundsomvæltninger
16/03/2016
1 Media contribution
Press/Media: Press / Media
-
De fleste har jo tre-fire milliarder linjer kunstig intelligens-kode i lommen
15/02/2016
1 Media contribution
Press/Media: Press / Media
-
Dagen gryr for kunstig intelligens på de finansielle markeder
08/02/2016
1 Media contribution
Press/Media: Press / Media