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



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

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 2016?? Geef me dan een seintje!!!
      



    G0Q45  Declaratieve Talen
            Syllabus
            Informatie akademiejaar 2015-2016 via Toledo

    H04H5  Studie van declaratieve talen
            Syllabus
            Informatie akademiejaar 2015-2016 via Toledo 
            (het volledige uurrooster vind je via het vak H0N03  Declarative Languages)

    H0N03  Declarative Languages
            Syllabus
            Information academic year 2015-2016 available in Toledo

    H02A3  Programming Languages and Programming Methodologies
           Syllabus
           Information academic year 2015-2016

    H02A8  Advanced Programming Languages for AI
           Syllabus
           Information academic year 2015-2016 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 .