[English version]
Henning Christiansen
Ph.d., Professor i Datalogi ved
Roskilde Universitetscenter
Medlem af forskningsgruppen
PLIS: Programmering,
Logik og Intelligente Systemer
Institut for
Kommunikation, Virksomhed og Informationsteknologier
e-mail: henning@ruc.dk
Forskningsinteresser
Logik- & constraintprogrammering (abduktion, metafortolkere, ...),
Probabilistisk-logiske modeller (inkl. for biologisk sekvense ananlyss),
Logiske aspekter af databaser;
CHR Grammatikker og aspekter af naturligtsprogsanalyse;
Intelligente forespørgelssystemer
(database, vidensrepr.,...);
Undervisning i datalogi.
Leder af forskningsprojekterne
LoSt og
CONTROL.
Aktiv i
Laboratoriet for Intelligente Systemer,
det tværvidenskabelige IT-forskningsprojekt
Ontology-based Querying (OntoQuery),
Dansk Netværk for Philosofisk Logik og dets Anvendelser
PhiLog.
Medlem af
ALP
(Association for Logic Programming),
EATCS
(European Association for Theoretical Computer Science),
FoLLi
(European Association for Logic, Language and Information).
Ph.d.-studerende:
Christian Theil Have, Ole Torp Lassen.
Tidligere ph.d.-studerende:
Davide Martinenghi,
Niels Jørgensen
Konferencer og workshops:
Arrangement:
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).
Aktuelle programkommiteer:
MRC 2010,
DEXA 2010,
CHR 2010,
ICDM 2010,
LAMAS 2010,
Andre kommiteer de senere år:
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.
Publikationer
Komplet liste
af videnskabelige artikler, rapporter og redigerede værker.
Undervisning
Logic Programming for Linguistics:
A short introduction to Prolog, and Logic Grammars with Constraints as an easy way to Syntax and Semantics.
Abduction and language processing with CHR
som indgår i CHR Summer School 2010
Kursus forår 2010: Databases.
Kursus efterår 2009: Databases.
Kursus forår 2009:
ROBOT: Software architectures for robot programming.
Kursus efterår 2008:
KIIS: Kunstig intelligens og intelligente systemer.
Kursus efterår 2007:
KIIS: Kunstig intelligens og intelligente systemer.
Kursus forår 2007:
Tools and Concepts in Programming.
Kursus efterår 2006:
KIIS: Kunstig intelligens og intelligente systemer.
Kursus forår 2006:
PIP: Paradigmer i programmering.
Kursus efterår 2005:
KIIS: Kunstig intelligens og intelligente systemer (på engelsk).
Kursus efterår 2004: Datalogi C:
Datastrukturer og algoritmer.
Kurser forår 2004: Computational Linguistics,
Advanced Topics in Databases.
Kursis efterår 2003: Datalogi C:
Datastrukturer og algoritmer.
Kursus forår 2003: Advancerede emner i databaser.
Kursus efterår 2002: Datalogi C:
Datastrukturer og algoritmer
Kursus efterår 2001:
Databaser 2001 (in Danish).
Kursus forår 2001: Sprog og logik.
Andre aktiviteter
Medlem af DANAIMs
bestyrelse, som er en sammenslutning af danske universitetsmiljøer
for dansk medlemskab af ERCIM.
Koordinator for Erasmus/Socrates udvekslinger
med en række europæiske lande; se
listen af universiteter
(søg efter "MATEMATIK OG DATALOGI" en femtedel nede på siden).
Førhen afdelingsleder for Datalogiafdelingen og
(for længe siden) studieleder.
Medlem af evalueringskommite for de
svenske datalogiuddannelser på vegne af Högskoleverket
2000-2001; find evalueringsrapporten
her.
Tilgængeligt programmel
DEMO-systemet:
Et generisk system til automatisk ræsonnering baseret på
en logisk fuldstændig implementation af et bevisprædikat i Prolog.
Der følger en række eksempler med, bl.a. abduktion, induktion,
default-logik,
natursprogsanalyse og diagnose.
CHR-grammatikker:
Et grammatiksystem baseret på Constraint Handling
Rules. Anvender constraint-logik-teknikker til sprogbehandling
i form af en grammatiknotation
oven på CHR. Systemer fremviser: Enkel behandling af tvetydigheder;
abduktiv sprogfortolkning uden ekstra maskineri; en implementation
af "Assumption Grammars"; fuld integration med Prolog og CHR.
HYPROLOG:
Et logikbaseret programmeringssprog med "assumptions" og abduktion
Sudoku:
Et lille program i Prolog+CHR som løser Sudoku-problemer hurtigt.
Effektiv viterbi beregninger
for PRISM modeller med annoteringer:
Udvider det probabilistisk-logisk PRISM
system udviklet Sato, Kameya og Zhou
med en facilitet til Viterbi beregninger for modeller with annoteringer.
Normalt ville sådant noget kræve kompliceret programmering
for
at få det til at køre hurtigt nok, men med denne lile
udvidelse klares dette automatisk.
Roskilde Universitetscenter
Institut for
Kommunikation, Virksomhed og Informationsteknologier, hus 43.2
Postbox 260
DK-4000 Roskilde, Danmark
Tlf.: (+45) 4674 3832, Fax:
(+45) 4674 3072
Sidst ændret 2. september 2010