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

        integration of logic programming techniques in the knowledge representation language FO(.)
        performant probabilistic ILP Data Mining Systems such as ProbLog          
        program analysis and abstract interpretation
        optimization techniques for logic-based systems
        verification of functional equivalence of C programs

General Chair (together with Danny De Schreye) of the 14th ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming, PPDP2012 and of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR2012


Mede-organisator van De Vlaamse Programmeerwedstrijd 2009
Wil je meedoen aan de Vlaamseprogrammeerwedstrijd 2014?? Geef me dan een seintje!!!
      



    G0Q45  Declaratieve Talen
            Syllabus
            Informatie akademiejaar 2013-2014 via Toledo

    H04H5  Studie van declaratieve talen
            Syllabus
            Informatie akademiejaar 2013-2014 via Toledo

    H02A2  Logic as a Foundation for Artificial Intelligence
           Syllabus
           Information academic year 2013-2014

    H02A3  Programming Languages and Programming Methodologies
           Syllabus
           Information academic year 2013-2014

    H02A8  Advanced Programming Languages for AI
           Syllabus
           Information academic year 2013-2014 available in 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 .