Programming, Logic and Intelligent Systems

Activities

Activities per year 1999 2007 2008 2009 2010 2025

• 104 Organisation and participation in conference
• 99 Lecture and oral contribution
• 93 Membership in committee, council, board
• 41 Peer review of manuscripts
• 113 More
  • 33 Participation in workshop, seminar, course
  • 28 Membership in review committee
  • 16 Examination
  • 11 Visiting an external academic institution
  • 9 Editor of Research journal
  • 7 Other
  • 4 Hosting an academic visitor
  • 3 Membership in research network
  • 1 Editor of unfinished research anthology/collection
  • 1 Membership in board of company or public organisation

Activities per year

Search results

• Crossing borders and blurring boundaries Navigating the edge of academia by working collaboratively across various configurations.

  Hobye, M. (Speaker)

  11 Dec 2024

  Activity: Talk or presentation › Lecture and oral contribution

• Foredrag: Er computere i stand til at tænke?

  Braüner, T. (Speaker)

  5 Nov 2024

  Activity: Talk or presentation › Lecture and oral contribution

• Maintaining Culture: Creativity, Ownership, and Community in Urban Spaces

  Hobye, M. (Speaker)

  30 Oct 2024

  Activity: Talk or presentation › Lecture and oral contribution

• Maker Mindset: How do makers make?

  Hobye, M. (Speaker)

  27 Sept 2024

  Activity: Talk or presentation › Lecture and oral contribution

• Performance: memoryMechanics

  Hobye, M. (Speaker), Ranten, M. F. (Speaker), Knudsen, L. A. (Speaker) & Bøen, K. E. (Speaker)

  26 Sept 2024

  Activity: Talk or presentation › Lecture and oral contribution

• Kunstig intelligens som værktøjer i forskningsverdenen og menneskelig ekspertise

  Hansen, J. U. (Speaker)

  19 Sept 2024

  Activity: Talk or presentation › Lecture and oral contribution

• Should we still be looking for echo chambers? A framework for studying polarization dynamics on social media

  Hansen, J. U. (Speaker) & Mayerhöffer, E. (Speaker)

  3 Sept 2024

  Activity: Talk or presentation › Lecture and oral contribution

• Logic meeting at DTU

  Braüner, T. (Speaker)

  31 May 2024

  Activity: Talk or presentation › Lecture and oral contribution

• The Importance of Expert Knowledge in Large Language Models

  Hansen, J. U. (Speaker)

  12 Apr 2024

  Activity: Talk or presentation › Lecture and oral contribution

• Invited talk: Logic, Theory of Mind, and Second-Order False Beliefs (online)

  Braüner, T. (Speaker)

  23 Mar 2024 → 24 Mar 2024

  Activity: Talk or presentation › Lecture and oral contribution

• Kunstig intelligens: fakta og myter bag teknologien

  Christiansen, H. (Speaker)

  21 Mar 2024

  Activity: Talk or presentation › Lecture and oral contribution

• Dealing with missing data in deep learning and machine learning

  Hansen, J. U. (Speaker)

  8 Dec 2023

  Activity: Talk or presentation › Lecture and oral contribution

• Static Analysis for Hardware Design

  Rosendahl, M. (Speaker)

  1 Dec 2023

  Activity: Talk or presentation › Lecture and oral contribution

• When people with autism outperform typicals: A formal logical study

  Braüner, T. (Speaker)

  24 Nov 2023

  Activity: Talk or presentation › Lecture and oral contribution

• Let’s Talk about Palm Leaves – From Minimal Data to Text Understanding

  Bender, M. (Speaker), Gehrke, M. (Speaker) & Braun, T. (Speaker)

  26 Sept 2023

  Activity: Talk or presentation › Lecture and oral contribution

• Designing with AI: Initial mappings

  Hobye, M. (Speaker)

  14 Jul 2023

  Activity: Talk or presentation › Lecture and oral contribution

• Language Support for Implementing Algorithms on Low Level Hardware Components

  Rosendahl, M. (Speaker)

  22 Apr 2023

  Activity: Talk or presentation › Lecture and oral contribution

• Seminar on Artificial Intelligence

  Padfield, N. (Speaker), Hobye, M. (Speaker), Christiansen, H. (Speaker), Spaniol, M. J. (Speaker), Jensen, N. (Speaker) & Bin Abdul Rahman, A. H. (Speaker)

  10 Feb 2023

  Activity: Talk or presentation › Lecture and oral contribution

• NÅR KUNST BLIVER DATA OG DATA BLIVER KUNST

  Høbye, M. (Speaker)

  6 Oct 2022

  Activity: Talk or presentation › Lecture and oral contribution

• On Social Logic Science

  Hansen, J. U. (Speaker)

  17 Aug 2022 → 21 Aug 2022

  Activity: Talk or presentation › Lecture and oral contribution

• R for Advanced Analytics - how to be smaRt about it

  Hansen, J. U. (Speaker)

  22 Sept 2021

  Activity: Talk or presentation › Lecture and oral contribution

• The role of expert knowledge in Big Data and Machine Learning

  Hansen, J. U. (Speaker)

  6 Jul 2021

  Activity: Talk or presentation › Lecture and oral contribution

• Energy-Labeling Web-based IT Systems

  Kirkeby, M. H. (Speaker)

  17 Mar 2021

  Activity: Talk or presentation › Lecture and oral contribution

• Invited talk: Remarks on hybrid modal logic with propositional quantiers

  Braüner, T. (Speaker)

  5 Mar 2021

  Activity: Talk or presentation › Lecture and oral contribution

• Invited talk: Logic and cognition

  Braüner, T. (Speaker)

  14 Jan 2021

  Activity: Talk or presentation › Lecture and oral contribution

• Kunstig intelligens, maskinlæringsalgoritmer, mennesker og etik

  Hansen, J. U. (Speaker)

  26 Nov 2020

  Activity: Talk or presentation › Lecture and oral contribution

• Invited talk: Hybrid logic and its Proof-Theory

  Braüner, T. (Speaker)

  27 Nov 2019

  Activity: Talk or presentation › Lecture and oral contribution

• Energy-aware software engineering

  Gallagher, J. P. (Speaker)

  1 Nov 2019

  Activity: Talk or presentation › Lecture and oral contribution

• Logical proofs: From mathematics to psychology

  Braüner, T. (Speaker)

  30 Oct 2019

  Activity: Talk or presentation › Lecture and oral contribution

• The Sounds of Techno-genesis

  Ranten, M. F. (Speaker), Kadish, D. (Speaker) & Hines, M. (Speaker)

  20 Sept 2019 → 23 Sept 2019

  Activity: Talk or presentation › Lecture and oral contribution

• Præsentation: Danser med robotter

  Christiansen, H. (Speaker)

  5 Sept 2019

  Activity: Talk or presentation › Lecture and oral contribution

• Fairness in Context and Philosophy

  Hansen, J. U. (Speaker)

  26 Aug 2019 → 30 Aug 2019

  Activity: Talk or presentation › Lecture and oral contribution

• Philosophizing on Big Data, Data Science, and AI

  Hansen, J. U. (Speaker)

  5 Aug 2019 → 10 Aug 2019

  Activity: Talk or presentation › Lecture and oral contribution

• Big Data - definition, usage and pitfalls

  Bulskov, H. (Speaker)

  25 Apr 2019

  Activity: Talk or presentation › Lecture and oral contribution

• Big Data

  Bulskov, H. (Speaker)

  1 Apr 2019

  Activity: Talk or presentation › Lecture and oral contribution

• Conference participation with poster presentation and robot demo

  Christiansen, H. (Other), Hobye, M. (Other) & Lindelof, A. M. (Other)

  5 Mar 2019 → 8 Mar 2019

  Activity: Talk or presentation › Lecture and oral contribution

• Mapping the concepts of AI, Big Data, and Data Science, and identifying related philosophical problems

  Hansen, J. U. (Speaker)

  28 Feb 2019 → 2 Mar 2019

  Activity: Talk or presentation › Lecture and oral contribution

• Præsentation på IDA Universe – Driving IT: Dances with robots

  Christiansen, H. (Speaker)

  2 Nov 2018

  Activity: Talk or presentation › Lecture and oral contribution

• Confluence in Constraint Handling Rules (Invited talk)

  Kirkeby, M. H. (Speaker)

  7 Jul 2018

  Activity: Talk or presentation › Lecture and oral contribution

  File

• Logic in progress talk

  Braüner, T. (Speaker)

  23 May 2018

  Activity: Talk or presentation › Lecture and oral contribution

• Invited talk: Hybrid Logic and its Proof-Theory

  Braüner, T. (Speaker)

  2 Mar 2018

  Activity: Talk or presentation › Lecture and oral contribution

• Invited lecture: The application of hybrid logic within cognitive psychology

  Braüner, T. (Speaker)

  15 Dec 2017

  Activity: Talk or presentation › Lecture and oral contribution

• Invited mini-course on hybrid logic

  Braüner, T. (Speaker)

  11 Dec 2017 → 13 Dec 2017

  Activity: Talk or presentation › Lecture and oral contribution

• Invited lecture: Second-order false belief reasoning: Some modal logical analyses

  Braüner, T. (Speaker)

  17 May 2017

  Activity: Talk or presentation › Lecture and oral contribution

• Keynote talk: Hybrid-Logical Proof-Theory: With an Application to False-Belief Tests

  Braüner, T. (Speaker)

  8 May 2017 → 12 May 2017

  Activity: Talk or presentation › Lecture and oral contribution

• Invited lecture: Deception and Second-Order Theory of Mind

  Braüner, T. (Speaker)

  9 Jan 2017 → 13 Jan 2017

  Activity: Talk or presentation › Lecture and oral contribution

• Invited talk: Second-order false-belief reasoning: Some modal-logical analyses

  Braüner, T. (Speaker)

  23 May 2016 → 25 May 2016

  Activity: Talk or presentation › Lecture and oral contribution

• A system for conceptual pathway finding and deductive querying

  Bulskov, H. (Speaker)

  27 Oct 2015

  Activity: Talk or presentation › Lecture and oral contribution

• Invited talk at the workshop: Proof Theory for Modal Logic: Recent Developments

  Braüner, T. (Lecturer)

  6 Jan 2014 → 17 Jan 2014

  Activity: Talk or presentation › Lecture and oral contribution

• Invited talk at the workshop: False-Belief Tasks and Logic

  Braüner, T. (Lecturer)

  5 Dec 2013

  Activity: Talk or presentation › Lecture and oral contribution