Logic List Mailing Archive

PhD student position or postdoctoral position on Knowledge Representation, Leuven (Belgium)

The Knowledge Representation and Reasoning (KRR) research group at the
Department of Computer Science, Faculty of Engineering of the KU Leuven
has an open position for a PhD student or Postdoc.

The group of prof. Marc Denecker and prof. Gerda Janssens explores the
Knowledge Base paradigm in which domain knowledge is expressed in a
declarative Knowledge Base (KB) and (re-)used to solve various
computational problems by applying suitable forms of inference.
Application-wise, it focuses on knowledge intensive applications where
many functionalities are required to support the user and where the
knowledge base method may strongly reduce the effort of building and
maintaining such applications (20x,.., 50x,...). The group designs
language constructs and methodologies for knowledge representation
languages and develops the Knowledge Base system IDP. It also uses other
state of the art technology (e.g., systems from Answer Set Programming,
Constraint Programming and Sat Modulo Theory systems  such as Z3).

Your research will cover the following topics.  You will learn
formal and informal aspects of KR languages. You will learn about
implementation of inference techniques for KB systems. You will use such
tools to develop  KB solutions for knowledge intense business and legal
applications. Much focus  will be on interactive applications where many
functionalities are required and  a range of interesting inference tasks
arise. You will design new language constructs to improve KR in these
fields. You will develop tools that help domain experts in expressing
their knowledge in natural but formally precise way.

For more information and for application for the position, we refer to
the web page:

https://www.kuleuven.be/personeel/jobsite/jobs/55233098

-- 

    Prof. Marc Denecker
    KU Leuven
    Departement Computerwetenschappen    tel: ++32 (0)16/32.75.57
    Celestijnenlaan 200A Room A02.145    fax: ++32 (0)16/32.79.96
    B-3001 Heverlee, Belgium
    email: Marc.Denecker@cs.kuleuven.be
    http://people.cs.kuleuven.be/~marc.denecker/
  ........................................................................
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam