No photo of Henning Christiansen
  • Universitetsvej 1, 08.2

    DK-4000 Roskilde

    Denmark

1981 …2030
If you made any changes in Pure these will be visible here soon.

Activities 1982 2018

Filter
Lecture and oral contribution

Hvordan virker en rejseplanner?

Christiansen, H. (Lecturer)
23 Sep 2015

Activity: Lecture and oral contribution

Introduction to Constraints and Language Processing

Christiansen, H. (Lecturer)
11 Aug 2008

Activity: Lecture and oral contribution

Prioritized Abduction with CHR

Christiansen, H. (Lecturer)
14 Jul 2008

Activity: Lecture and oral contribution

Integritet i XML og relationelle databaser

Christiansen, H. (Lecturer)
11 Jan 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

Probabilistic Abductive Logic Programming in Constraint Handling Rules

Christiansen, H. (Lecturer)
20 Jun 2008

Activity: Lecture and oral contribution

Statistisk-logiske modeller og deres anvendelser i bioinformatik

Christiansen, H. (Lecturer)
15 Mar 2007

Activity: Lecture and oral contribution

Præsentation til gymnasieelever: Hvordan virker en rejseplanner?

Christiansen, H. (Lecturer)
28 Mar 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

Integrity Checking and Maintenance with Active Rules in XML Databases

Christiansen, H. (Lecturer)
2 Jul 2007

Activity: Lecture and oral contribution

Forskningens døgn, Odsherreds gymnasium: Hvordan virker en rejseplanner

Christiansen, H. (Lecturer)
28 Apr 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

On the Implementation of Global Abduction.

Christiansen, H. (Lecturer)
8 May 2006

Activity: Lecture and oral contribution

NAT-Dag på RUC: Hvordan virker en rejseplanner?

Christiansen, H. (Lecturer)
27 Sep 2006

Activity: Lecture and oral contribution

Reasoning about passive declarations in CHR

Christiansen, H. (Lecturer)
5 Oct 2005

Activity: Lecture and oral contribution

Efficient maintenance of database integrity constraints

Christiansen, H. (Lecturer)
16 Jun 2005

Activity: Lecture and oral contribution

Efficient maintenance of database integrity constraints

Christiansen, H. (Lecturer)
16 Jun 2005

Activity: Lecture and oral contribution

Meaning in Context

Christiansen, H. (Lecturer)
7 Jun 2005

Activity: Lecture and oral contribution

HYPROLOG: A New Logic Programming Language with Assumptions and Abduction

Christiansen, H. (Lecturer)
2 Oct 2005

Activity: Lecture and oral contribution

Language analysis by means of Constraint Handling Rules

Christiansen, H. (Lecturer)
18 Apr 2005

Activity: Lecture and oral contribution