INFORMATION FOR ERASMUS STUDENT
I'm coordinator for Erasmus exchanges in Computer Science and Informatics, for students coming to RUC and for RUC students.
Our exchange agreements are in most cases open for all bac. and master students.
Currently most of our outgoing students are from HUMTEK (Humanities-Technology Bachelor)
at their 3rd or 4th semester ("fagmodul").
We have exchange agreements with
Bulgaria: Veliko Tarnovo;
Germany: Bamberg;
Spain: San Sebastian/Donostia, Granada,
Politèchnica de Madrid;
France: Paris (ECE and EPITECH), Rennes, Lannion;
Netherlands: Tilburg;
Turkey: Ankara (Atılım and Bilkent), Istanbul (Bahçeşehir);
Scotland: Dundee.
There are also opertunities for oversea studies.
More information about applications and deadlines:
• RUC students: https://intra.ruc.dk/...
(requires login)
• Foreign students coming to RUC:
https://ruc.dk/en/intro-exchange-and-guest-students
If you are interested, come by and have a chat or send me a mail.

Online 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

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.

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 the PRISM system by T.Sato and Y. Kameya.

HIC:
An interactive image classification system based on supervised machine learning written in Processing.

HCML:
Write you own chatbot in the HCML script language and run in an interpreter written in Processing.