Gerda
Janssens
hoofddocent
Declarative
Languages and Artificial Intelligence
Department
of Computer Science
Katholieke
Universiteit Leuven
Dept. of Computer Science
Celestijnenlaan 200A
B-3001 Leuven (Heverlee)
Belgium
016/327634
Research interests
program analysis and
abstract
interpretation
reuse for Mercury,
region-based memory management for Mercury
performant ILP Data Mining
Systems
implementations of logic
programs (currently hipP and ProbLog)
verification of functional
equivalence of C programs
in the context
of DTSE (Data Transfer and Storage Exploration)
Mede-organisator van De Vlaamse
Programmeerwedstrijd 2009
G0Q45 Declaratieve Talen
Syllabus
Informatie
akademiejaar 2009-2010
H04H5 Studie van declaratieve talen
Syllabus
Informatie
akademiejaar 2009-2010
H02A2 Logic as a Foundation for Artificial
Intelligence
Syllabus
Information
academic year 2009-2010
H02A3 Programming Languages and Programming
Methodologies
Syllabus
Information
academic year 2009-2010
H02A8 Advanced Programming Languages for AI
Syllabus
Information
academic year 2009-2010
The exercise session of the courses in the MAI
program are announced in the on-line schedule of the program.
current specifications
for
the ACE-ilProlog distribution
I am involved in the planning and organisation of the didactical work
of the department btw
.