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, LNCS, Vol. 12042. p. 19-35

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, p. 504-534

Research output: Contribution to journalJournal articleResearchpeer-review

Projects

FBB: Feedback Box

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

01/02/202001/06/2021

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.

01/01/201931/12/2021

Project: Research

Activities

Fundamenta Informaticae (Journal)

John Patrick Gallagher (Editor)

2020

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

Energy-aware software engineering

John Patrick Gallagher (Speaker)

1 Nov 2019

Activity: Talk or presentationLecture and oral contribution

Press / Media

Algoritmerne kommer!

Henning Christiansen

02/05/2017

1 Media contribution

Press/Media: Press / Media

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

Torben Bech Dyrberg

02/04/2016

1 item of Media coverage

Press/Media: Press / Media

Forsker vil åbne det skjulte internet

Troels Andreasen

11/02/2015

1 item of Media coverage

Press/Media: Press / Media

Prizes

Best Vision Paper Award

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

Prize: Prizes, scholarships, distinctions