Programmering, logik og intelligente systemer

Organisationsprofil

Organisationsprofil

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.

Publikationsnetværk Nyligt eksternt samarbejde på landeniveau. Dyk ned i detaljerne ved at klikke på prikkerne.

Publikationer

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. (red.). Springer, LNCS, Bind 12042. s. 19-35

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

A Natural Logic System for Large Knowledge Bases

Andreasen, T., Bulskov, H. & Nilsson, J. F., jun. 2020. 16 s.

Publikation: KonferencebidragPaperForskningpeer review

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

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Projekter

FBB: Feedback Box

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

01/02/202001/06/2021

Projekter: ProjektForskning

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

Projekter: ProjektForskning

Aktiviteter

Fundamenta Informaticae (Tidsskrift)

John Patrick Gallagher (Redaktør)

2020

Aktivitet: Redaktionelt arbejde og fagfællebedømmelseRedaktør af tidsskriftForskning

25th International Symposium on Methodologies for Intelligent Systems

Henning Christiansen (Deltager)

20 maj 202022 maj 2020

Aktivitet: Deltagelse i eller arrangering af en begivenhedOrganisation og deltagelse i konference

Energy-aware software engineering

John Patrick Gallagher (Oplægsholder)

1 nov. 2019

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Presse/medier

Algoritmerne kommer!

Henning Christiansen

02/05/2017

1 Mediebidrag

Presse/medie

Forsker vil åbne det skjulte internet

Troels Andreasen

11/02/2015

1 element af Mediedækning

Presse/medie

Priser

Best Vision Paper Award

Jianqiu Xu (Modtager), Lu, Hua (Modtager) & Ralf Hartmut Güting (Modtager), 20 aug. 2019

Pris: Priser, stipendier, udnævnelser