Marc Denecker's Home Page


Address: Department of Computing, Celestijnenlaan 200 A, B-3001 Heverlee, Belgium.

Phone: +32-(0)16-32 75 57

Fax: +32-(0)16-32 79 96

Email: Marc Denecker


(Photo courtesy of Eugenia Ternovska)


Since 1/10/2002, I am an associate research professor, head of the Knowledge Representation and Reasoning research group, a subgroup of the Declarative Languages and Artificial Intelligence group of the Department of Computing of the Katholieke Universiteit Leuven .

Here you find my Curriculum Vitae and on line publications (via lirias).

The groups main work is currently on the the IDP system, a knowledge base system providing multiple forms of inference and a declarative programming environment for the logic FO(.)^IDP, an extension of first order logic.

I teach two courses: Knowledge Representation and Formal Modeling of complex systems.


Recent or ongoing scientific events of which I and my group are involved in the organization:


Invited and position talks:


Research: My research domain is the formal empirical science of knowledge and its use for solving problems. Some things we did or do:

For more information on these topics, see the KRR webpage. If you are interested in working on some of these topics, consider applying for a PhD or postdoc in KRR.


https://plus.google.com/photos/103195165812630700008/albums/5781460747583737377/5781460819502564706

Some "extra-professional" activities:


Some useful information for PhD-students of the KRR-group:


Practical stuff: