I'm a Senior Research Scientist at FBK-irst, and
leader of the SHELL
(Shape and Evolve Living knowLedge) team.
My current research interests are focused on the representation and reasoning of (often distributed) knowledge and its interplay with data. In SHELL I'm especially focused on the integrated representation of procedural and declarative knowledge and on supporting the alignment and evolution of models wrt data.
In the past, and to some extent also now, I've also been actively involved in the development of logics for the formalisation of Context-based reasoning (see the web page on Multi-context logics), Distributed Description Logics, on formal theories of Agents and Multi-Agent systems, and on on methodologies and tools for Enterprise Modelling with particular emphasis on the MoKi tool.My publication list is available here.