Programmering, logik og intelligente systemer

Aktiviteter

Aktiviteter pr. år 1999 2007 2008 2009 2010 2024

• 98 Organisation og deltagelse i konference
• 93 Medlemskab af udvalg, råd og nævn
• 89 Foredrag og mundtlige bidrag
• 41 Peer reviewer/fagfællebedømmer af manuskripter
• 106 Mere
  • 29 Deltagelse i workshop, seminar og kursus
  • 27 Medlemskab af bedømmelsesudvalg
  • 15 Eksamination
  • 11 Besøger en ekstern, akademisk institution
  • 9 Redaktør af tidsskrift
  • 7 Andet
  • 4 Vært for en akademisk besøgende
  • 2 Medlemskab af forskningsnetværk
  • 1 Redaktør af uafslutttet antologi/samleværk
  • 1 Medlemskab af styrelse i virksomhed eller organisation

Aktiviteter pr. år

Søgeresultater

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

  Torben Braüner (Oplægsholder)

  5 nov. 2024

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

• Logic meeting at DTU

  Torben Braüner (Oplægsholder)

  31 maj 2024

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

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

  Torben Braüner (Oplægsholder)

  23 mar. 2024 → 24 mar. 2024

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

• Kunstig intelligens: fakta og myter bag teknologien

  Henning Christiansen (Oplægsholder)

  21 mar. 2024

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

• Dealing with missing data in deep learning and machine learning

  Jens Ulrik Hansen (Oplægsholder)

  8 dec. 2023

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

• Static Analysis for Hardware Design

  Mads Rosendahl (Oplægsholder)

  1 dec. 2023

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

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

  Torben Braüner (Oplægsholder)

  24 nov. 2023

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

• Language Support for Implementing Algorithms on Low Level Hardware Components

  Mads Rosendahl (Oplægsholder)

  22 apr. 2023

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

• Seminar on Artificial Intelligence

  Nicolas Padfield (Oplægsholder), Mads Hobye (Oplægsholder), Henning Christiansen (Oplægsholder), Matthew J. Spaniol (Oplægsholder), Niels Jensen (Oplægsholder) & Abdul Halim Bin Abdul Rahman (Oplægsholder)

  10 feb. 2023

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

• On Social Logic Science

  Jens Ulrik Hansen (Oplægsholder)

  17 aug. 2022 → 21 aug. 2022

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

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

  Jens Ulrik Hansen (Oplægsholder)

  22 sep. 2021

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

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

  Jens Ulrik Hansen (Oplægsholder)

  6 jul. 2021

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

• Energy-Labeling Web-based IT Systems

  Maja Hanne Kirkeby (Oplægsholder)

  17 mar. 2021

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

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

  Torben Braüner (Oplægsholder)

  5 mar. 2021

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

• Invited talk: Logic and cognition

  Torben Braüner (Oplægsholder)

  14 jan. 2021

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

• Kunstig intelligens, maskinlæringsalgoritmer, mennesker og etik

  Jens Ulrik Hansen (Oplægsholder)

  26 nov. 2020

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

• Invited talk: Hybrid logic and its Proof-Theory

  Torben Braüner (Oplægsholder)

  27 nov. 2019

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

• Energy-aware software engineering

  John Patrick Gallagher (Oplægsholder)

  1 nov. 2019

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

• Logical proofs: From mathematics to psychology

  Torben Braüner (Oplægsholder)

  30 okt. 2019

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

• Poster Presentation: The Sounds of Techno-genesis

  Maja Fagerberg Ranten (Oplægsholder), David Kadish (Oplægsholder) & Megan Hines (Oplægsholder)

  20 sep. 2019 → 23 sep. 2019

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

• Præsentation: Danser med robotter

  Henning Christiansen (Oplægsholder)

  5 sep. 2019

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

• Fairness in Context and Philosophy

  Jens Ulrik Hansen (Oplægsholder)

  26 aug. 2019 → 30 aug. 2019

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

• Philosophizing on Big Data, Data Science, and AI

  Jens Ulrik Hansen (Oplægsholder)

  5 aug. 2019 → 10 aug. 2019

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

• Big Data - definition, usage and pitfalls

  Henrik Bulskov (Oplægsholder)

  25 apr. 2019

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

• Big Data

  Henrik Bulskov (Oplægsholder)

  1 apr. 2019

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

• Conference participation with poster presentation and robot demo

  Henning Christiansen (Andet), Mads Hobye (Andet) & Anja Mølle Lindelof (Andet)

  5 mar. 2019 → 8 mar. 2019

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

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

  Jens Ulrik Hansen (Oplægsholder)

  28 feb. 2019 → 2 mar. 2019

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

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

  Henning Christiansen (Oplægsholder)

  2 nov. 2018

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

• Confluence in Constraint Handling Rules (Invited talk)

  Maja Hanne Kirkeby (Oplægsholder)

  7 jul. 2018

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

  Fil

• Logic in progress talk

  Torben Braüner (Oplægsholder)

  23 maj 2018

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

• Invited talk: Hybrid Logic and its Proof-Theory

  Torben Braüner (Oplægsholder)

  2 mar. 2018

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

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

  Torben Braüner (Oplægsholder)

  15 dec. 2017

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

• Invited mini-course on hybrid logic

  Torben Braüner (Oplægsholder)

  11 dec. 2017 → 13 dec. 2017

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

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

  Torben Braüner (Oplægsholder)

  17 maj 2017

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

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

  Torben Braüner (Oplægsholder)

  8 maj 2017 → 12 maj 2017

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

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

  Torben Braüner (Oplægsholder)

  9 jan. 2017 → 13 jan. 2017

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

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

  Torben Braüner (Oplægsholder)

  23 maj 2016 → 25 maj 2016

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

• A system for conceptual pathway finding and deductive querying

  Henrik Bulskov (Oplægsholder)

  27 okt. 2015

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

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

  Torben Braüner (Foredragsholder)

  6 jan. 2014 → 17 jan. 2014

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

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

  Torben Braüner (Foredragsholder)

  5 dec. 2013

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

• Keynote talk: Hybrid-Logical Proofs: With an Application to False-Belief Tasks

  Torben Braüner (Foredragsholder)

  24 maj 2013

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

• Invited lecture on hybrid logic at Munich Center for Mathematical Philosophy, Ludwig-Maximilians-Universität München, Germany.

  Torben Braüner (Foredragsholder)

  17 jan. 2013

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

• Semantics Based Cost Analysis

  Mads Rosendahl (Foredragsholder)

  19 okt. 2012

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

• Foredrag: Rule based AI-programming

  Henning Christiansen (Oplægsholder)

  8 okt. 2012

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

• Invited talk: Hybrid Logic and Its Proof-Theory

  Torben Braüner (Foredragsholder)

  30 sep. 2012

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

• Teaching Computer Science at HumTek

  Mads Rosendahl (Foredragsholder)

  23 maj 2012 → 25 maj 2012

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

• Invited mini-course

  Torben Braüner (Foredragsholder)

  14 maj 2012 → 18 maj 2012

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

• Autonome robotter - beyond Roomba

  Mads Rosendahl (Foredragsholder)

  20 apr. 2012

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

• Invited talk: Arthur Prior's temporal logic and contemporary hybrid logic

  Torben Braüner (Foredragsholder)

  27 sep. 2011 → 29 sep. 2011

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

• Program Analysis With Regular Tree Languages

  John Patrick Gallagher (Foredragsholder)

  19 jul. 2011

  Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

  Fil