Programming, Logic and Intelligent Systems

Activities

Filter
Lecture and oral contribution

Energy-aware software engineering

John Patrick Gallagher (Speaker)

1 Nov 2019

Activity: Talk or presentationLecture and oral contribution

Præsentation: Danser med robotter

Henning Christiansen (Speaker)

5 Sep 2019

Activity: Talk or presentationLecture and oral contribution

Invited talk: Hybrid logic and its Proof-Theory

Torben Braüner (Speaker)

27 Nov 2019

Activity: Talk or presentationLecture and oral contribution

Poster Presentation: The Sounds of Techno-genesis

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

20 Sep 201923 Sep 2019

Activity: Talk or presentationLecture and oral contribution

Big Data - definition, usage and pitfalls

Henrik Bulskov (Speaker)

25 Apr 2019

Activity: Talk or presentationLecture and oral contribution

Big Data

Henrik Bulskov (Speaker)

1 Apr 2019

Activity: Talk or presentationLecture and oral contribution

Logical proofs: From mathematics to psychology

Torben Braüner (Speaker)

30 Oct 2019

Activity: Talk or presentationLecture and oral contribution

Conference participation with poster presentation and robot demo

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

5 Mar 20198 Mar 2019

Activity: Talk or presentationLecture and oral contribution

Confluence in Constraint Handling Rules (Invited talk)

Maja Hanne Kirkeby (Speaker)

7 Jul 2018

Activity: Talk or presentationLecture and oral contribution

File

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

Henning Christiansen (Speaker)

2 Nov 2018

Activity: Talk or presentationLecture and oral contribution

Logic in progress talk

Torben Braüner (Speaker)

23 May 2018

Activity: Talk or presentationLecture and oral contribution

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

Torben Braüner (Speaker)

8 May 201712 May 2017

Activity: Talk or presentationLecture and oral contribution

Invited mini-course on hybrid logic

Torben Braüner (Speaker)

11 Dec 201713 Dec 2017

Activity: Talk or presentationLecture and oral contribution

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

Torben Braüner (Speaker)

17 May 2017

Activity: Talk or presentationLecture and oral contribution

Invited lecture: Deception and Second-Order Theory of Mind

Torben Braüner (Speaker)

9 Jan 201713 Jan 2017

Activity: Talk or presentationLecture and oral contribution

Invited lecture: The application of hybrid logic within cognitive psychology

Torben Braüner (Speaker)

15 Dec 2017

Activity: Talk or presentationLecture and oral contribution

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

Torben Braüner (Speaker)

23 May 201625 May 2016

Activity: Talk or presentationLecture and oral contribution

A system for conceptual pathway finding and deductive querying

Henrik Bulskov (Speaker)

27 Oct 2015

Activity: Talk or presentationLecture and oral contribution

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

Torben Braüner (Lecturer)

6 Jan 201417 Jan 2014

Activity: Talk or presentationLecture and oral contribution

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

Torben Braüner (Lecturer)

5 Dec 2013

Activity: Talk or presentationLecture 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 presentationLecture and oral contribution

Semantics Based Cost Analysis

Mads Rosendahl (Lecturer)

19 Oct 2012

Activity: Talk or presentationLecture and oral contribution

Autonome robotter - beyond Roomba

Mads Rosendahl (Lecturer)

20 Apr 2012

Activity: Talk or presentationLecture and oral contribution

Teaching Computer Science at HumTek

Mads Rosendahl (Lecturer)

23 May 201225 May 2012

Activity: Talk or presentationLecture and oral contribution

Invited mini-course

Torben Braüner (Lecturer)

14 May 201218 May 2012

Activity: Talk or presentationLecture and oral contribution

Invited talk: Hybrid Logic and Its Proof-Theory

Torben Braüner (Lecturer)

30 Sep 2012

Activity: Talk or presentationLecture and oral contribution

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

Torben Braüner (Lecturer)

27 Sep 201129 Sep 2011

Activity: Talk or presentationLecture and oral contribution

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

Torben Braüner (Lecturer)

8 Apr 20119 Apr 2011

Activity: Talk or presentationLecture and oral contribution

Program Analysis With Regular Tree Languages

John Patrick Gallagher (Lecturer)

19 Jul 2011

Activity: Talk or presentationLecture and oral contribution

File

ICLP 2010, International Conference for Logic Programming

Christian Theil-Have (Other)

16 Jul 201019 Jul 2010

Activity: Talk or presentationLecture and oral contribution

Abstract interpretation of temporal logic: abstract model checking revisited

John Patrick Gallagher (Lecturer)

19 Aug 2010

Activity: Talk or presentationLecture and oral contribution

File

LoSt project workshop

Christian Theil-Have (Other)

28 Sep 201029 Sep 2010

Activity: Talk or presentationLecture and oral contribution

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

Sine Zambach (Lecturer)

20 Apr 2010

Activity: Talk or presentationLecture 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 presentationLecture and oral contribution

Miniworkshop in the LoSt rojekt

Christian Theil-Have (Other)

4 Mar 2010

Activity: Talk or presentationLecture and oral contribution

  IT og naturvidenskab - et fornuftsægteskab?

Sine Zambach (Lecturer)

5 Mar 2009

Activity: Talk or presentationLecture and oral contribution

Recent Advances in Natural Language Processing 2009

Christian Theil-Have (Other)

14 Sep 200916 Sep 2009

Activity: Talk or presentationLecture and oral contribution

ICLP 2009

Christian Theil-Have (Other)

15 Jul 2009

Activity: Talk or presentationLecture and oral contribution

Hvordan virker en rejseplanner?: Som led i NatDag på RUC; arrangementer for gymnasieelever

Henning Christiansen (Lecturer)

23 Sep 2009

Activity: Talk or presentationLecture 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 presentationLecture and oral contribution

Terminologiske ontologier og beskrivelseslogik: Et eksperiment inden for domænet enzymkemi

Sine Zambach (Speaker)

9 Jun 200910 Jun 2009

Activity: Talk or presentationLecture and oral contribution

Probabilistic-logic models for analysis of language and biological sequence data

Henning Christiansen (Lecturer)

17 Apr 2009

Activity: Talk or presentationLecture and oral contribution

DANSAS 2009

Mads Rosendahl (Speaker)

20 Aug 2009

Activity: Talk or presentationLecture and oral contribution

Workshop “Logic and Ontology”

Sine Zambach (Lecturer)

24 Nov 2009

Activity: Talk or presentationLecture and oral contribution

Integritet i XML og relationelle databaser - og hvordan det kan understøttes - mere eller mindre automatisk

Henning Christiansen (Lecturer)

18 Jan 2009

Activity: Talk or presentationLecture and oral contribution

Hvordan virker en rejseplanner?: Del af NATDAG, arrangement for gymnasieelever

Henning Christiansen (Lecturer)

4 Mar 2009

Activity: Talk or presentationLecture and oral contribution

Prioritized Abduction with CHR

Henning Christiansen (Lecturer)

14 Jul 2008

Activity: Talk or presentationLecture and oral contribution

Invited Talk: Scalable Static Analysis based on Regular Types

John Patrick Gallagher (Lecturer)

Oct 2008

Activity: Talk or presentationLecture and oral contribution

Logic Grammars extended with Constraint Logic: Invited tutorial

Henning Christiansen (Lecturer)

19 Sep 2008

Activity: Talk or presentationLecture and oral contribution