Programming, Logic and Intelligent Systems

Activities

Activities per year 1999 2007 2008 2009 2010 2022

• 93 Organisation and participation in conference
• 79 Lecture and oral contribution
• 77 Membership in committee, council, board
• 36 Peer review of manuscripts
• 93 More
  • 25 Participation in workshop, seminar, course
  • 25 Membership in review committee
  • 11 Visiting an external academic institution
  • 10 Examination
  • 9 Editor of Research journal
  • 7 Other
  • 4 Hosting an academic visitor
  • 1 Membership in board of company or public organisation
  • 1 Membership in research network

Activities per year

Search results

• Invited talk: Logic and cognition

  Torben Braüner (Speaker)

  14 Jan 2021

  Activity: Talk or presentation › Lecture and oral contribution

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

  Torben Braüner (Speaker)

  5 Mar 2021

  Activity: Talk or presentation › Lecture and oral contribution

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

  Jens Ulrik Hansen (Speaker)

  6 Jul 2021

  Activity: Talk or presentation › Lecture and oral contribution

• Energy-Labeling Web-based IT Systems

  Maja Hanne Kirkeby (Speaker)

  17 Mar 2021

  Activity: Talk or presentation › Lecture and oral contribution

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

  Jens Ulrik Hansen (Speaker)

  22 Sep 2021

  Activity: Talk or presentation › Lecture and oral contribution

• Kunstig intelligens, maskinlæringsalgoritmer, mennesker og etik

  Jens Ulrik Hansen (Speaker)

  26 Nov 2020

  Activity: Talk or presentation › Lecture and oral contribution

• Big Data

  Henrik Bulskov (Speaker)

  1 Apr 2019

  Activity: Talk or presentation › Lecture and oral contribution

• Poster Presentation: The Sounds of Techno-genesis

  Maja Fagerberg Ranten (Speaker), David Kadish (Speaker) & Megan Hines (Speaker)

  20 Sep 2019 → 23 Sep 2019

  Activity: Talk or presentation › Lecture and oral contribution

• Præsentation: Danser med robotter

  Henning Christiansen (Speaker)

  5 Sep 2019

  Activity: Talk or presentation › Lecture and oral contribution

• Invited talk: Hybrid logic and its Proof-Theory

  Torben Braüner (Speaker)

  27 Nov 2019

  Activity: Talk or presentation › Lecture and oral contribution

• Fairness in Context and Philosophy

  Jens Ulrik Hansen (Speaker)

  26 Aug 2019 → 30 Aug 2019

  Activity: Talk or presentation › Lecture and oral contribution

• Big Data - definition, usage and pitfalls

  Henrik Bulskov (Speaker)

  25 Apr 2019

  Activity: Talk or presentation › Lecture and oral contribution

• Conference participation with poster presentation and robot demo

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

  5 Mar 2019 → 8 Mar 2019

  Activity: Talk or presentation › Lecture and oral contribution

• Logical proofs: From mathematics to psychology

  Torben Braüner (Speaker)

  30 Oct 2019

  Activity: Talk or presentation › Lecture and oral contribution

• Philosophizing on Big Data, Data Science, and AI

  Jens Ulrik Hansen (Speaker)

  5 Aug 2019 → 10 Aug 2019

  Activity: Talk or presentation › Lecture and oral contribution

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

  Jens Ulrik Hansen (Speaker)

  28 Feb 2019 → 2 Mar 2019

  Activity: Talk or presentation › Lecture and oral contribution

• Energy-aware software engineering

  John Patrick Gallagher (Speaker)

  1 Nov 2019

  Activity: Talk or presentation › Lecture and oral contribution

• Logic in progress talk

  Torben Braüner (Speaker)

  23 May 2018

  Activity: Talk or presentation › Lecture and oral contribution

• Confluence in Constraint Handling Rules (Invited talk)

  Maja Hanne Kirkeby (Speaker)

  7 Jul 2018

  Activity: Talk or presentation › Lecture and oral contribution

  File

• Invited talk: Hybrid Logic and its Proof-Theory

  Torben Braüner (Speaker)

  2 Mar 2018

  Activity: Talk or presentation › Lecture and oral contribution

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

  Henning Christiansen (Speaker)

  2 Nov 2018

  Activity: Talk or presentation › Lecture and oral contribution

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

  Torben Braüner (Speaker)

  15 Dec 2017

  Activity: Talk or presentation › Lecture and oral contribution

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

  Torben Braüner (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

  Torben Braüner (Speaker)

  8 May 2017 → 12 May 2017

  Activity: Talk or presentation › Lecture and oral contribution

• Invited mini-course on hybrid logic

  Torben Braüner (Speaker)

  11 Dec 2017 → 13 Dec 2017

  Activity: Talk or presentation › Lecture and oral contribution

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

  Torben Braüner (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

  Torben Braüner (Speaker)

  23 May 2016 → 25 May 2016

  Activity: Talk or presentation › Lecture and oral contribution

• A system for conceptual pathway finding and deductive querying

  Henrik Bulskov (Speaker)

  27 Oct 2015

  Activity: Talk or presentation › Lecture and oral contribution

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

  Torben Braüner (Lecturer)

  6 Jan 2014 → 17 Jan 2014

  Activity: Talk or presentation › Lecture and oral contribution

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

  Torben Braüner (Lecturer)

  17 Jan 2013

  Activity: Talk or presentation › Lecture and oral contribution

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

  Torben Braüner (Lecturer)

  24 May 2013

  Activity: Talk or presentation › Lecture and oral contribution

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

  Torben Braüner (Lecturer)

  5 Dec 2013

  Activity: Talk or presentation › Lecture and oral contribution

• Teaching Computer Science at HumTek

  Mads Rosendahl (Lecturer)

  23 May 2012 → 25 May 2012

  Activity: Talk or presentation › Lecture and oral contribution

• Foredrag: Rule based AI-programming

  Henning Christiansen (Speaker)

  8 Oct 2012

  Activity: Talk or presentation › Lecture and oral contribution

• Semantics Based Cost Analysis

  Mads Rosendahl (Lecturer)

  19 Oct 2012

  Activity: Talk or presentation › Lecture and oral contribution

• Invited mini-course

  Torben Braüner (Lecturer)

  14 May 2012 → 18 May 2012

  Activity: Talk or presentation › Lecture and oral contribution

• Invited talk: Hybrid Logic and Its Proof-Theory

  Torben Braüner (Lecturer)

  30 Sep 2012

  Activity: Talk or presentation › Lecture and oral contribution

• Autonome robotter - beyond Roomba

  Mads Rosendahl (Lecturer)

  20 Apr 2012

  Activity: Talk or presentation › Lecture and oral contribution

• Program Analysis With Regular Tree Languages

  John Patrick Gallagher (Lecturer)

  19 Jul 2011

  Activity: Talk or presentation › Lecture and oral contribution

  File

• Arthur Prior’s temporal logic and the origin of contemporary hybrid logic

  Torben Braüner (Lecturer)

  8 Apr 2011 → 9 Apr 2011

  Activity: Talk or presentation › Lecture and oral contribution

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

  Torben Braüner (Lecturer)

  27 Sep 2011 → 29 Sep 2011

  Activity: Talk or presentation › Lecture and oral contribution

• Abstract interpretation of temporal logic: abstract model checking revisited

  John Patrick Gallagher (Lecturer)

  19 Aug 2010

  Activity: Talk or presentation › Lecture and oral contribution

  File

• Kvinder tænker ikke logisk: Repræsentation af viden ved hjælp af formel logik

  Sine Zambach (Lecturer)

  20 Apr 2010

  Activity: Talk or presentation › Lecture and oral contribution

• Miniworkshop in the LoSt rojekt

  Christian Theil-Have (Other)

  4 Mar 2010

  Activity: Talk or presentation › Lecture and oral contribution

• LoSt project workshop

  Christian Theil-Have (Other)

  28 Sep 2010 → 29 Sep 2010

  Activity: Talk or presentation › Lecture and oral contribution

• ICLP 2010, International Conference for Logic Programming

  Christian Theil-Have (Other)

  16 Jul 2010 → 19 Jul 2010

  Activity: Talk or presentation › Lecture and oral contribution

• Invited Talk: Descriptive Types and Well-Typings, with an Aside on Model Checking

  John Patrick Gallagher (Lecturer)

  7 Jul 2010

  Activity: Talk or presentation › Lecture and oral contribution

• ICLP 2009

  Christian Theil-Have (Other)

  15 Jul 2009

  Activity: Talk or presentation › Lecture and oral contribution

• Recent Advances in Natural Language Processing 2009

  Christian Theil-Have (Other)

  14 Sep 2009 → 16 Sep 2009

  Activity: Talk or presentation › Lecture and oral contribution

• Hvordan virker en rejseplanner?: Preæsentation for gynmasieeelever; besøgsdag for Odsherred Gymnasium

  Henning Christiansen (Lecturer)

  5 Oct 2009

  Activity: Talk or presentation › Lecture and oral contribution