Skip to main navigation Skip to Content

Computer Science

University of Toronto
  • U of T Portal
  • Student Support
  • Contact
  • About
    • Why Study CS at U of T
    • Career Options
    • History of DCS
    • Giving to DCS
    • Computer Science at UofT Mississauga
    • Computer Science at UofT Scarborough
    • Contact
    • Employment Opportunities for Faculty/Lecturers
    • How to Find Us
  • Undergraduate
    • Prospective Undergraduates
    • Current Undergraduates
  • Graduate
    • Prospective Graduate students
    • Current Graduate students
  • Research
    • Research Areas
    • Partner with us
  • People
    • Faculty
    • Staff
    • In Memoriam
    • Alumni and Friends
    • Honours & Awards
    • Women in Computer Science
    • Graduate Student Society
    • Undergraduate Student Union
    • Undergraduate Artificial Intelligence Group
    • Undergraduate Theory Group
  • News & Events
    • News
    • Events
    • @DCS Update
    • Alumni
    • Donate
You are viewing: > Home > News & Events > Events > Knowledge Representation Seminar- March 14
  • About
  • Undergraduate
  • Graduate
  • Research
  • People
  • News & Events

Knowledge Representation Seminar- March 14

Event date: Wednesday, March 14, 2012, from 12:00 PM to 2:00 PM
Location: PT266

Speaker: Marc Denecker
Department of Computing, Catholic University Leuven

Title: The FO(.) Knowledge Base System project: an integration project

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 conceptually clean -non-hybrid- integration of logic constructs from different computational logic paradigms (FO, logic programming extensions such as datalog, Abductive Logic Programming, Answer Set Programming, fixpoints logics, constraint programming) in the context of classical logic. On the computational level, the project aims to integrate and extend technologies developed in the respective fields to build a Knowledge Base System that supports various forms of inference. I will explain some motivations, principles and new research questions raised by such a project. I will give an overview of the current system and some applications. An application for interactive configuration will serve to highlight a principle that separates declarative modelling languages from (procedural or declarative) programming languages: the reuse of a modelling to solve different computational tasks by applying different forms of inference.

About the speaker.

Prof. Dr. Marc Denecker studied at the Catholic University Leuven in Belgium, where he also did his PhD and has worked till now, with exception of a two year period at the University Libre de Bruxelles. His current interests range from theoretical topics such as foundations of knowledge representation, nonmonotonic reasoning, logic programming, classical logic, fixpoint and modal logics to building inference systems for integrations of these logics and their applications.




All rights reserved copyright Computer Science, University of Toronto | Site Map