Programming, Logic and Intelligent Systems

Activities 1999 2018

Filter
Lecture and oral contribution

Invited lecture: Deception and Second-Order Theory of Mind

Braüner, T. (Speaker)
9 Jan 201713 Jan 2017

Activity: Lecture and oral contribution

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

Braüner, T. (Speaker)
8 May 201712 May 2017

Activity: Lecture and oral contribution

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

Braüner, T. (Speaker)
23 May 201625 May 2016

Activity: Lecture and oral contribution

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

Braüner, T. (Lecturer)
6 Jan 201417 Jan 2014

Activity: Lecture and oral contribution

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

Braüner, T. (Lecturer)
5 Dec 2013

Activity: Lecture and oral contribution

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

Braüner, T. (Lecturer)
24 May 2013

Activity: Lecture and oral contribution

Semantics Based Cost Analysis

Rosendahl, M. (Lecturer)
19 Oct 2012

Activity: Lecture and oral contribution

Invited talk: Hybrid Logic and Its Proof-Theory

Braüner, T. (Lecturer)
30 Sep 2012

Activity: Lecture and oral contribution

Autonome robotter - beyond Roomba

Rosendahl, M. (Lecturer)
20 Apr 2012

Activity: Lecture and oral contribution

Invited mini-course

Braüner, T. (Lecturer)
14 May 201218 May 2012

Activity: Lecture and oral contribution

Teaching Computer Science at HumTek

Rosendahl, M. (Lecturer)
23 May 201225 May 2012

Activity: Lecture and oral contribution

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

Braüner, T. (Lecturer)
8 Apr 20119 Apr 2011

Activity: Lecture and oral contribution

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

Braüner, T. (Lecturer)
27 Sep 201129 Sep 2011

Activity: Lecture and oral contribution

Program Analysis With Regular Tree Languages

Gallagher, J. P. (Lecturer)
19 Jul 2011

Activity: Lecture and oral contribution

File

LoSt project workshop

Theil-Have, C. (Other)
28 Sep 201029 Sep 2010

Activity: Lecture 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: Lecture and oral contribution

ICLP 2010, International Conference for Logic Programming

Theil-Have, C. (Other)
16 Jul 201019 Jul 2010

Activity: Lecture and oral contribution

Miniworkshop in the LoSt rojekt

Theil-Have, C. (Other)
4 Mar 2010

Activity: Lecture and oral contribution

File

Recent Advances in Natural Language Processing 2009

Theil-Have, C. (Other)
14 Sep 200916 Sep 2009

Activity: Lecture and oral contribution

  IT og naturvidenskab - et fornuftsægteskab?

Sine Zambach (Lecturer)
5 Mar 2009

Activity: Lecture and oral contribution

Workshop “Logic and Ontology”

Sine Zambach (Lecturer)
24 Nov 2009

Activity: Lecture and oral contribution

ICLP 2009

Theil-Have, C. (Other)
15 Jul 2009

Activity: Lecture and oral contribution

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

Sine Zambach (Speaker)
9 Jun 200910 Jun 2009

Activity: Lecture and oral contribution

DANSAS 2009

Rosendahl, M. (Speaker)
20 Aug 2009

Activity: Lecture and oral contribution

Invited talk: From classical to intuitionistic hybrid logic

Braüner, T. (Lecturer)
23 Jun 2008

Activity: Lecture and oral contribution

Prioritized Abduction with CHR

Christiansen, H. (Lecturer)
14 Jul 2008

Activity: Lecture and oral contribution

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

Braüner, T. (Lecturer)
4 Dec 20086 Dec 2008

Activity: Lecture and oral contribution

Integritet i XML og relationelle databaser

Christiansen, H. (Lecturer)
11 Jan 2008

Activity: Lecture and oral contribution

Invited Talk: Scalable Static Analysis based on Regular Types

Gallagher, J. P. (Lecturer)
Oct 2008

Activity: Lecture and oral contribution

Probabilistic Abductive Logic Programming in Constraint Handling Rules

Christiansen, H. (Lecturer)
20 Jun 2008

Activity: Lecture and oral contribution

Logic Grammars extended with Constraint Logic: Invited tutorial

Christiansen, H. (Lecturer)
19 Sep 2008

Activity: Lecture and oral contribution

Introduction to Constraints and Language Processing

Christiansen, H. (Lecturer)
11 Aug 2008

Activity: Lecture and oral contribution

Invited speaker, PROLE'2007, Zaragoza, Spain

Gallagher, J. P. (Lecturer)
14 Sep 2007

Activity: Lecture and oral contribution

Reasoning about Use Cases using Logic Grammars and Constraints

Christiansen, H. (Lecturer)
18 Sep 2007

Activity: Lecture and oral contribution

From use cases to UML class diagrams using logic grammars and constraints

Christiansen, H. (Lecturer)
27 Sep 2007

Activity: Lecture and oral contribution

Introductory lecture on hybrid logic

Braüner, T. (Lecturer)
6 Aug 200710 Aug 2007

Activity: Lecture and oral contribution

Limits on computing: Day of Science lecture March 7th 2007

Rosendahl, M. (Lecturer)
7 Mar 2007

Activity: Lecture and oral contribution

On Browsing Domain Ontologies for Information Base Content

Andreasen, T. (Speaker)
18 Jun 200721 Jun 2007

Activity: Lecture and oral contribution

Integrity Checking and Maintenance with Active Rules in XML Databases

Christiansen, H. (Lecturer)
2 Jul 2007

Activity: Lecture and oral contribution