PhD, Professor of
Computer Science at
Roskilde University, Denmark
Leader of the research group
Logic and Intelligent Systems
of People and Technology
CV (as of June 2013)
IMPORTANT Information for Erasmus and guest students coming
to Roskilde Autumn 2016 and Spring 2017, including lists of courses (pt incomplete).
Expected application deadlines are for Erasmus: May 1, 2016, resp. October 1, 2016; for guest students: May 15, 2016 and November 1, 2016.
IMPORTANT Erasmus students from Roskilde wanting to go out Autumn 2016 and Spring 2017.
Application deadline is February 15, 2016 (sic!); there is an opertunity for "remaining seats" for spring 2017, mid September 2016.
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
Robots in Performances (New topic; no results to report yet)
Responsible for the project Automatic Support for Proving
Confluence Modulo Equivalence
for Constraint Handling Rules
funded by the Danish Council for Independent Research / Natural Sciences 2015-2018.
(Association for Logic Programming),
(European Association for Logic, Language and Information).
(European Association for Theoretical Computer Science)
Former Ph.D. students: Christian Theil Have,
Ole Torp Lassen,
Conferences and workshops:
FQAS 2017 (program co-chair, general chair, member of steering comm.),
ICAART 2016, special session PUaNLP (program co-chair),
FedCSIS 2016, special session AIRIM (co-chair),
CONTEXT 2015 (general chair, program co-chair, ...),
FQAS 2015 (member of steering comm., etc.),
ISMIS 2015 (member of steering and
ICAART 2015, special session PUaNLP 2015 (Co-chair)
ISMIS 2014 (Program co-chair),
CONTEXT 2013 (member of "Chairs of the Community of Context"; just a funny name for steering committee),
CHR 2013 (program co-chair),
FQAS 2013 (member of steering and program comm's),
CSLP 2012 (deeply involved),
CSLP 2011 (co-organizer),
CONTEXT 2011 (general co-chair),
(general and program co-chair, member of steering comm.),
WEB AS A STREAM: special session at FQAS 2009 (co-organizer),
(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 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).
Other program committees:
RuleML 2016, Constraint Handling Rules Track,
PAAMS 2016, special session LAFL
IJCAI 2015 (senior program comm.),
(see post conf. pictures),
INAP2001, ... .
Complete list of scientific papers,
reports, and edited works.
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:
Supervision of student project works
Diverse subjects (to many to be listed ;-) at bachelor and master levels.
Robot Programming (autumn 2016; closed website)
Artificial Intelligence in Interactive Systems (courses spring 2016, 2015, 2014, 2013, 2012; closed websites)
Databases (courses autumn 2014, autumn+spring 2013, spring 2012, autumn+spring 2011, autumn+spring 2010, autumn 2009; closed websites)
Scientific Computing (autumn 2014; closed website).
Abduction and language processing with CHR
at the CHR Summer School 2013;
see website with examples and links.
Reasoning and language processing with Constraint Handling Rules, PhD course for FIRST Research School, 2010. (alternative link)
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
at the CHR Summer School 2010
ROBOT: Software architectures for robot programming (course spring 2009).
KIIS: Artificial intelligence and intelligent systems (course autumn 2008).
KIIS: Artificial intelligence and intelligent systems (course autumn 2007).
Tools and Concepts in Programming (course spring 2007).
KIIS: Artificial intelligence and intelligent systems (course autumn 2006).
PIP: Paradigms in Programming (course spring 2006).
KIIS: Artificial intelligence and intelligent systems (course autumn 2005).
Course autumn 2004: Datalogi C:
Data structures and Algorithms (course autumn 2004; in Danish).
(course spring 2004, in Danish)
Advanced Topics in Databases (course spring 2003).
Computer Science C:
Data structures and Algorithms (course autumn 2003, in Danish).
Advanced topics in databases (course spring 2003).
Data structures and Algorithms (course autumn 2002).
Databases (course autumn 2001, in Danish).
Language and logic (course spring 2001).
. . . 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.
Member for the Danish eScience Committee which is an advisoray board for DeiC, Danish e-Infrastructure Cooperation; from 2013.
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
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,
A grammar system based on Constraint Handling
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.
A logic programming language with assumption and induction
A little program in Prolog+CHR that solves Sudoku problems quickly.
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 the PRISM system (see above).
of People and Technology, building 08.2
PO Box 260
Tel: (+45) 4674 3832
Last modification 19-oct-2016