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 (formalizing practical issues and solving them with our techniques, which also feeds back into theoretical work).