My research activity is mainly targeted at analysis distributed situated intelligence & multiparadigm technologies for pervasive socio-technical systems, in particular, from the viewpoint of models, languages and architecture. My main goal is the engineering of pervasive systems, under the assumption that logic-based multiparadigm languages have the potential to play a prominent role both as intelligence providers and technology integrators . In fact, the typical LP features – such as programs as logic theories, computation as deduction, and programming with relations and inference – make logic languages a natural choice for building intelligent components .
The research activity carried on by myself and my group of research is focussed on the identification of suitable models and tools for the engineering of pervasive systems, i.e. innovative frameworks able to spread situated intelligence at different levels.