EN FR
EN FR


Section: Overall Objectives

From Theory to Applications, and Vice-versa

We study logic- and graph-based KR formalisms from three perspectives:

  • theoretical (structural properties, expressiveness, translations between languages, problem complexity, algorithm design),

  • software (developing tools to implement theoretical results),

  • applications (which also feed back into theoretical work).