UTCS Colloquia/AI - Marc Denecker/Katholieke Universiteit Leuven, "The FO(.) Knowledge Base System project: an integration project", ACES 2.302

Contact Name: 
Jenna Whitney
Mar 2, 2012 11:00am - 12:00pm

There is a sign-up schedule for this event that can be found at


Type o

f Talk: UTCS Colloquia/AI

Speaker/Affiliation: Marc Denecker/Katholiek

e Universiteit Leuven

Talk Audience: UTCS Faculty, Graduate Students

, Undergraduate Students, and Outside Interested Parties

Date/Time: F

riday, March 2, 2012, 11:00 a.m.

Location: ACES 2.302

Host: Vl

adimir Lifschitz

Talk Title: The FO(.) Knowledge Base System project:

an integration project

Talk Abstract:
The term FO(.) is used here as
a generic term to denote extensions of classical first order logic FO. On

the logical level, the goal of this project is to achieve a conceptual cle

an -non-hybrid- integration of logic constructs from different computationa

l logics (logic programming extensions such as datalog, Abductive Logic Pr

ogramming, Answer Set Programming, fixpoints logics, constraint programm

ing) in the context of classical logic. On the computational level, the lo

ng term goal is to integrate (and extend) technologies developed in the res

pective fields to build a Knowledge Base System that supports various forms
of inference. I will explain some motivations, principles and research qu

estions raised by such a project. I will give an overview of the current sy

stem and some applications. One application for interactive configuration w

ill serve to highlight a principle that separates declarative modeling lang

uages from (procedural or declarative) programming languages: the reuse of

a modeling to solve different computational tasks by applying different for

ms of inference.

Speaker Bio:
Prof. Dr. Marc Denecker studied at the
Katholic University Leuven (KUL) in Belgium, where he also did his PhD an

d has worked till now, with exception of a two year period at the Universi

ty Libre de Bruxelles (ULB). His current interests range from theoretical t

opics such as foundations of knowledge representation, nonmonotonic reason

ing, logic programming, classical logic, fixpoint and modal logics to bu

ilding inference systems for integrations of these logics and the developme

nt of applications.