Gerda
Janssens
hoogleraar
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
Academic Program Director
Computer Science
Department of Computer Science - KU Leuven
Research interests
the knowledge
representation language FO(.) and the IDP system
integration of logic
programming techniques in the knowledge representation language
FO(.)
program analysis and abstract
interpretation
performant probabilistic
ILP Data Mining Systems such as ProbLog
verification of
functional equivalence of C programs
Mede-organisator van De Vlaamse
Programmeerwedstrijd 2009
Wil je meedoen aan de Vlaamseprogrammeerwedstrijd
2020?? Geef me dan een seintje!!!
G0Q45 Declaratieve Talen
Syllabus
Informatie
academiejaar 2021-2022 via Toledo
H04H5 Studie van declaratieve talen
Syllabus
Informatie
academiejaar 2021-2022 via Toledo van het vak H0N03
Declarative Languages
(het volledige uurrooster vind je ook via het vak H0N03
Declarative Languages)
H0N03 Declarative Languages
Syllabus
Information academic year 2021-2022 available onToledo
H02A3 Programming Languages and
Programming Methodologies
Syllabus
Information academic year 2021-2022 available in Toledo.
H02A8 Advanced Programming Languages for
AI
Syllabus
Information academic year 2021-2022 available on Toledo
information about the Student
license for SICStus Prolog
current specifications for
the ACE-ilProlog distribution
I am involved in the planning and organisation of the didactical
work of the department btw .