Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Henning Christiansen
Logic & constraint logic programming (abduction, metaprogramming, Constraint Handling Rules...),
Probabilistic-logic models (including for biological sequence ananlysis),
CHR Grammars and aspects of Natural Language Processing;
Logic aspects of databases;
Logical methods for context comprehension;
Intelligent query systems
(database, knowledge representation, ...);
Computer science teaching.
Interactive Installations.
See viskbook.com
and ItalianDrawings.ruc.dk.
Responsible for these previous
LoSt and
CONTROL research projects.
Member of
ALP
(Association for Logic Programming),
EATCS
(European Association for Theoretical Computer Science),
FoLLi
(European Association for Logic, Language and Information).
Complete list of scientific papers,
reports, and edited works.
Available textbooks
Logic programming as a framework for
Knowledge Representation and Artificial Intelligence from 2006.
A biased introduction to Prolog and CHR. Get it here.
Sprog og abstrakte maskiner (book in Danish; "Languages and Abstract Machines")
2012; reprint of textbook from 2000. It gives a gentle theoretical framework for the
sort of formal languages that we use for instructing a computer, e.g., programming languages of different sorts,
user interface languages, ..., treating their syntax, semantics and, to some extent, pragmatics.
Different programming language paradigms are briefly introduced, Turing machines as well, and elementary
methods for lexical and syntactic analysis, compilation and interpretation are introduced.
Freely avaliable for restricted purposes.
If you want to store it on your server or print several copies, write to the author.
Otherwise download it here:
bog.pdf
. . . before that, different courses in Computer Science, elementary programming, etc., at Roskilde, Aarhus and Aalborg Universities and a few other places.
Other, selected activities
Coordinator for Erasmus/Socrates student exchanges
with a number of European countries; since 1990.
More information: link and link.
Former head of Computer Science Section (until feb 2002) and (long time ago) head
of Study Board.
Reviewer for research councils and organizations in Denmark, Sweden, Slovak Republic, Germany, canada, Switzerland.
Former member of ERCIM Executive Committee and IT-Øresund (now a.k.a.
Øresund IT Academy)
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. NEW VERSION 1.1 AVAILABLE (July 19, 2011)
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.
Zoo of HMM subspecies:
Example programs used
in the paper "Taming the Zoo of Discrete HMM Subspecies & Some of their Relatives" (2011).
These programs run under PRISM system.