[Dansk version]
Henning Christiansen
Ph.D., Professor of
Computer Science at
Roskilde University, Denmark
Member of the research group
PLIS: Programming,
Logic and Intelligent Systems
Department
of Communication, Business and Information Technologies
e-mail: henning@ruc.dk
Research interests
Logic & constraint logic programming (abduction, metaprogramming, ...),
Probabilistic-logic models (including for biological sequence ananlysis),
CHR Grammars and aspects of Natural Language Processing;
Logic aspects of databases;
Intelligent query systems
(database, knowledge representation, ...);
Computer science teaching.
Responsible for the
LoSt and
CONTROL research projects.
Active in
Intelligent Systems Laboratory,
the interdisciplinary IT research project
Ontology-based Querying (OntoQuery),
the Danish Network for Philosophical Logic and its Applications
PhiLog.
Member of
ALP
(Association for Logic Programming),
EATCS
(European Association for Theoretical Computer Science),
FoLLi
(European Association for Logic, Language and Information).
Ph.D. students:
Christian Theil Have,
Ole Torp Lassen.
Former Ph.D. students: Davide Martinenghi,
Niels Jørgensen
Conferences and workshops:
Organization:
WEB AS A STREAM: special session at FQAS 2009 (co-organizer),
LID 2009
(program co-chair; member of steering committee),
LID 2008 (member of steering committee),
CSLP 2008 (co-organizer and program co-chair),
CONTEXT 07 (Organizing chair),
CSLP@Context07 (co-organizer),
CSLP 2006 (co-organizer),
LAAIC 2006 (workshop & prog. co-chair),
CSLP 2005 (general chair),
LAAIC 2005 (workshop chair),
CSLP 2004 (general chair),
FQAS 2004 (co-chair)
- see photos,
FQAS 2002 (conf. co-chair),
ICLP'02 (conference chair),
FQAS'98 (general chair),
NWPER'86 (general chair).
Current program committees:
MRC 2010,
DEXA 2010,
CHR 2010,
ICDM 2010,
LAMAS 2010.
Other recent committees:
FQAS 2009,
CHR 2009,
ICDM 2009,
DEXA 2009,
ForLing 2009,
CICLOPS 2008,
ForLing 2008,
MRC 2008,
ICDM 2008,
DEXA 2008,
SCAI 2008,
ECEIS 2008,
INAP 2007,
DEXA 2007,
CHR 2007,
DEXA 2006,
FQAS 2006,
CHR 2006.
CHR 2005,
LACL 2005,
W(C)LP 2005,
WARP 2004,
EUROFUSE 2004,
KI-2004,
FQAS2000
(see post conf. pictures),
INAP2001.
Publications
Complete list of scientific papers,
reports, and edited works.
Teaching
Course spring 2010: Databases.
Course autumn 2009: Databases.
Course spring 2009:
ROBOT: Software architectures for robot programming.
Course autumn 2008:
KIIS: Artificial intelligence and intelligent systems.
Course autumn 2007:
KIIS: Artificial intelligence and intelligent systems.
Course spring 2007:
Tools and Concepts in Programming.
Course autumn 2006:
KIIS: Artificial intelligence and intelligent systems.
Course spring 2006:
PIP: Paradigms in Programming.
Course autumn 2005:
KIIS: Artificial intelligence and intelligent systems.
Course autumn 2004: Datalogi C:
Data structures and Algorithms (in Danish).
Course spring 2004: Computational Linguistics
(in Danish),
Advanced Topics in Databases.
Course autumn 2003: Computer Science C:
Data structures and Algorithms (in Danish).
Course spring 2003: Advanced topics in databases.
Course autumn 2002: Datalogi C:
Data structures and Algorithms
Course autumn 2001:
Databases (in Danish).
Course spring 2001: Language and logic.
Other activities
Member of borders of directors of DANAIM,
which is a cooperation among Danish university departments for a membership
of ERCIM.
Coordinator for Erasmus/Socrates student exchanges
with a number of European countries; see
list of universities
(in Danish; search for "MATEMATIK OG DATALOGI" one fifth down the page).
Former head of Computer Science Section (until feb 2002) and (long time ago) head
of Study Board.
Member of evaluation committee for Swedish Computer Science
Educations, 2000-2001, see Högskoleverket;
find evaluation report
here
(in Swedish).
Available software
The DEMO system:
A generic system for automatic reasoning based on a logically
complete implementation of a proof predicate in Prolog.
Examples provided with the system:
abduction, induction, default logic, natural language analysis,
diagnosis, etc.
CHR grammars:
A grammar system based on Constraint Handling
Rules.
Applies constraint logic techniques for language processing in the shape
of a grammar notation on top of CHR. Features: A simple treatment of ambiguity;
abductive language interpretation without any extra machinery;
an implementation of Assumption Grammars; full integration with Prolog and CHR.
HYPROLOG:
A logic programming language with assumption and induction
Sudoku:
A little program in Prolog+CHR that solves Sudoku problems quickly.
Efficient viterbi
for PRISM models with annotations:
Extends the probabilistic-logic PRISM
system developed by Sato, Kameya and Zhou
with a facility to Viterbi predictions for models with annotations.
In PRISM this otherwise requires a lot of hand-coding to make it run efficiently;
here we do all that automatically.
Roskilde University
Department
of Communication, Business and Information Technologies, building 43.2
PO Box 260
DK-4000 Roskilde
DENMARK
Tel: (+45) 4674 3832, Fax:
(+45) 4674 3072
Last modification 16 January 2010