Chiara Ghidini

I'm a Senior Research Scientist at FBK-irst, and member of the Data  & Knowledge Management group (DKM)

My current research interests are focused on logics for distributed knowledge representation and reasoning, with particular emphasis on Distributed Descripion Logics, and on methodologies and tools for Enterprise Modelling with particular emphasis on the MoKi tool.

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), and on formal theories of Agents and Multi-Agent systems.

My publication list is available here.

• Programme committee member of the 7h European Workshop on Multi-Agent Systems (EUMAS-2009)
• Programme committee member of the 14th International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA-2010)
• Programme committee member of the 19th European Conference on Artificial Intelligence (ECAI 2010)
  
• Programme committee member of the ESWC-2010 PhD Symposium
  

• Logic and Computation group. Department of Computer Science, University of Liverpool, Liverpool, UK
• Centre for Agent Research and Development . Department of Computing and Mathematics, Manchester Metropolitan University, Manchester, UK
• Mechanised Reasoning Group. Department of Computer and Management Sciences, University of Trento, Trento, Italy