Programming, Logic and Intelligent Systems

Organization profile

Organisation profile

Our research combines basic research in Computer Science with innovative applications in a technology driven way. The construction of reliable, intelligent, and resource-efficient systems requires basic research in the mathematical and logic foundations of knowledge representation, algorithms, programming tools and languages. At the same time, this insight combined with a range of external collaborations provides an ideal starting point for creating novel technologies that fit the needs of the modern society – and inspires and helps defining goals for our basic research.

 Our research activities combine the following main directions:

  • Computer Science basic research:

     Programming and program analysis, artificial intelligence, logic & reasoning, big data, language analysis.

  • Innovative applications in a variety of areas:

     Interaction design for data visualization, artistic and informative installations, virtual and augmented reality, robots and drones.

     Analysis and application of big data: social networks, news streams, health data, bioinformatics, ...

     Applications of logic in psychology and cognition.

     Program analysis, e.g., for energy consumption and correctness properties.

Publication network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

A General Framework for Static Cost Analysis of Parallel Logic Programs

Klemen, M., López-García, P., Gallagher, J. P., Morales, J. F. & Hermenegildo, M., Apr 2020, Logic-Based Program Synthesis and Transformation - 29th International Symposium: LOPSTR 2019 Revised Selected Papers. Gabbrielli, M. (ed.). Springer, Vol. 12042. p. 19-35 (Lecture Notes in Computer Science, Vol. 12042). (Theoretical Computer Science and General Issues, Vol. 12042).

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

A Natural Logic System for Large Knowledge Bases

Andreasen, T., Bulskov, H. & Nilsson, J. F., Jun 2020. 16 p.

Research output: Contribution to conferencePaperResearchpeer-review

Being Deceived: Information Asymmetry in Second-Order False Belief Tasks

Braüner, T., Blackburn, P. R. & Polyanskaya, I., 2020, In : Topics in Cognitive Science. 12, 2, p. 504-534

Research output: Contribution to journalJournal articleResearchpeer-review


FBB: Feedback Box

Boulus-Rødje, N., Jensen, T., Fleron, B. & Hansen, J. U.


Project: Research

NorDigHealth: Novel Regional Digital Solutions for Improving Health

Barrett, B. A., Holen, M., Tvilsted, S. S., Hartvig, D. L., Fahse, F., Krauth, H. H., Seger, K., Burmeister, E., Jernskæg, D. R., Kjær, T. W., Sørensen, T. L., Bulskov, H., Christiansen, H. & Andreasen, T.


Project: Research


Fundamenta Informaticae (Journal)

John Patrick Gallagher (Editor)


Activity: Editorial work and peer reviewEditor of Research journalResearch

25th International Symposium on Methodologies for Intelligent Systems

Henning Christiansen (Participant)

20 May 202022 May 2020

Activity: Participating in or organising an eventOrganisation and participation in conference

Poster Presentation: The Sounds of Techno-genesis

Maja Fagerberg Ranten (Speaker), , David Kadish (Speaker), & Megan Hines (Speaker)

20 Sep 201923 Sep 2019

Activity: Talk or presentationLecture and oral contribution

Press / Media

Algoritmerne kommer!

Henning Christiansen


1 Media contribution

Press/Media: Press / Media

Venstrefløjen vender det blinde øje til bagsiden af indvandringen

Torben Bech Dyrberg


1 item of Media coverage

Press/Media: Press / Media

Forsker vil åbne det skjulte internet

Troels Andreasen


1 item of Media coverage

Press/Media: Press / Media


Best Vision Paper Award

Jianqiu Xu (Recipient), Lu, Hua (Recipient) & Ralf Hartmut Güting (Recipient), 20 Aug 2019

Prize: Prizes, scholarships, distinctions