Programming, Logic and Intelligent Systems

Projects

Projects per year 2005 2007 2013 2019 2020 2021 2022 2026

• 9 Active
• 29 Finished

Projects per year

Search results

• Finished

  Effects-driven improvement of bio-production processes with AI (2022-2023)

  Simonsen, J. & Gyldenkærne, C.

  15/03/2022 → 30/06/2023

  Project: Research

• Energicertificeret softwareudvikling og drift

  Kirkeby, M. H., Rosendahl, M., Rhiger, M. & Lu, H.

  07/09/2021 → 31/05/2022

  Project: Research

• FBB: Feedback Box

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

  01/02/2020 → 01/06/2021

  Project: Research

• Energimærkning af Software og Software Installationer

  Gallagher, J. P., Kirkeby, M. H., Rosendahl, M. & Rhiger, M.

  01/02/2020 → 30/09/2020

  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/2019 → 31/12/2021

  Project: Research

• Data Management Foundations for Indoor LBS

  Lu, H., Chan, H. K. & Li, X.

  01/01/2019 → 30/06/2023

  Project: Research

• NDH: NorDigHealth

  Liveng, A., Barrett, B. A., Holen, M., Andreasen, T. & Christiansen, H.

  01/01/2019 → 30/12/2021

  Project: Research

• INGRACOMLEN: Algoritmos de inferencia gramatical para medir la complejidad relativa de las lenguas naturales (Grammatical Inference Algorithms for measuring the relative complexity of natural languages)

  Jiménez López, M. D., Christiansen, H., Becerra-Bonache, L., Martín Vide, C., Jacquenet, F., Batista Galván, M., Torrens Urrutia, A. & Loukanova, R.

  01/01/2016 → 31/12/2018

  Project: Research

• Automatic Support for Proving Confluence Modulo Equivalence for Constraint Handling Rules

  Christiansen, H. & Kirkeby, M. H.

  Det Frie Forskningsråd | Natur og Univers

  01/11/2015 → 31/12/2018

  Project: Research

• Kulturportalen, Experience Lab RUC projekt

  Jensen, S. S., Laursen, B., Gallagher, J. P., Andreasen, T. & Christiansen, H.

  15/08/2014 → 01/02/2017

  Project: Research

• Hybrid-Logical Proofs at Work in Cognitive Psychology

  Braüner, T., Blackburn, P. R. & Polyanskaya, I.

  VELUX FONDEN

  01/01/2014 → 30/04/2019

  Project: Research

• Social Interaction around Installations

  Christrup, H., Andreasen, T. & Simonsen, J.

  01/11/2013 → 30/06/2016

  Project: Research

• ICT-Energy

  Gallagher, J. P., Rosendahl, M. & Bohr, N.

  01/10/2013 → 30/09/2016

  Project: Research

• Interaktiv kunstudstilling: "Italienske bøger" i oplevelsescylinder

  Laursen, B., Christiansen, H. & Brandrup, M.

  01/03/2013 → 31/12/2013

  Project: Research

• Situated Design Methods

  Simonsen, J., Svabo, C., Strandvad, S. M., Samson, K., Hertzum, M., Hansen, O. E., Søndergård, B., Kristiansen, E., Christrup, H., Pries-Heje, J., Nielsen, J. L., Bødker, K., Pfeiffer Pedersen, L., Frølunde, L., Rosendahl, M., Neisig, M., Frandsen, M. S., Juul, N. C., Jørgensen, N., Lybæk, R., Groth, S. K., Christensen, T. B., Andreasen, T., Kjær, T., Kensing, F., Venable, J., Birch Andreasen, L., Baskerville, R. & Gudiksen, S.

  01/01/2013 → 01/10/2014

  Project: Research

• Experimental Museum Exhibition Design

  Andreasen, T., Haldrup, M., Svabo, C., Møbius, N., Kjølbæk, A. S., Thorlund, S. & Simonsen, J.

  01/01/2013 → 30/06/2016

  Project: Research

• ENTRA: Whole-Systems Energy Transparency

  Gallagher, J. P., Rosendahl, M., Rhiger, M., Strand, D. L. & Bohr, N.

  01/10/2012 → 30/09/2015

  Project: Research

• The design of interactive experiences: advanced IT in inter-disciplinary teaching and research

  Gallagher, J. P., Jørgensen, N. & Jacquemin, C.

  01/04/2011 → 31/03/2012

  Project: Research

• NUSA: Numeric and Symbolic Abstractions for Software Model Checking

  Gallagher, J. P., Rosendahl, M. & Rhiger, M.

  01/01/2011 → 31/12/2013

  Project: Research

• Havhingstens tur til Irland – en interaktiv oplevelsesplatform

  Gallagher, J. P., Andreasen, T., Christiansen, H., Jensen, S. S. & Strand, D. L.

  01/08/2010 → 31/01/2011

  Project: Research

• HYLOCORE: Hybrid Logic, Computation, and Reasoning Methods

  Braüner, T., Bolander, T., Goranko, V., Blackburn, P. & Areces, C.

  The Danish Natural Science Research Council

  01/01/2009 → 31/12/2013

  Project: Research

• IMDEA Software Institute, Madrid - Research Agreement

  Gallagher, J. P.

  01/08/2008 → 31/08/2021

  Project: Research

• FIRST: Foundations of Innovative Research in Software Technologies (FIRST Research School)

  Gallagher, J. P.

  01/01/2008 → 31/12/2010

  Project: Research

• CONTEXT 07: Sixth International and Interdisciplinary Conference

  Christiansen, H.

  NOKIA Research

  20/08/2007 → 24/08/2007

  Project: Research

• CONTEXT 07: Sixth International and Interdisciplinary Conference

  Christiansen, H.

  Det Frie Forskningsråd

  20/08/2007 → 24/08/2007

  Project: Research

• SIABO: Semantic Information Access through Biomedical Ontologies

  Andreasen, T. & Bulskov, H.

  01/06/2007 → 31/12/2012

  Project: Research

• Logic-statistic modelling and analysis of biological sequence data

  Christiansen, H., Gallagher, J. P., Skovgaard, O., Pedersen, M. B., Garrigues, C., Jaeger, M., Forsberg, R., Steffensen, P. J., Knudsen, T., Knudsen, B., Krogh, A. & Sato, T.

  Det strategiske forskningsråd; NABIIT, Programkomitéen for nanovidenskab og teknologi, bioteknologi og IT

  01/05/2007 → 31/12/2012

  Project: Research

• SAFT: Static Analysis with Finite Tree Automata

  Gallagher, J. P., Rosendahl, M. & Rhiger, M.

  <ingen navn>

  01/01/2007 → 31/12/2010

  Project: Research

• HyLoMOL: Hybrid Logic Meets Other Logics

  Braüner, T., Bolander, T., Villadsen, J., Blackburn, P. & de Paiva, V.

  The Danish Natural Science Research Council

  01/01/2005 → 31/12/2008

  Project: Research