Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Section: Overall Objectives

Scientific Directions

GraphIK has three main scientific directions:

  1. decidability, complexity and algorithms for problems in languages corresponding to first-order logic fragments;

  2. the addition of expressive and non-classical features (to the first-order logic languages studied in the first direction) with a good expressivity/efficiency trade-off;

  3. the integration of theoretical tools to real knowledge-based systems.

From an applicative viewpoint, two themes are currently privileged: