Matteo Cristani

Prof. Matteo Cristani

Dipartimento di Informatica, Università di Verona, Strada Le Grazie 15, 37134 Verona, Italy
orcid

Research Focus & Metrics

Academic Career Length

19Years (2008-Present)

(Calculated once Scilit publication data is synced: current year − year of first publication + 1)

Representative Publications

View All Publications
16 June 2020 in Journal of Ambient Intelligence and Humanized Computing
Verified
Journal Article
Closed access
PDF file
Claudio TomazzoliClaudio Tomazzoli
Claudio Tomazzoli
SSSimone Scannapieco
Simone Scannapieco
Matteo CristaniMatteo Cristani
Matteo Cristani

31 March 2016 in Theory and Practice of Logic Programming
Verified
Journal Article
Closed access
PDF file
GGGuido Governatori
Guido Governatori
FOFrancesco Olivieri
Francesco Olivieri
SSSimone Scannapieco
Simone Scannapieco
ARAntonino Rotolo
Antonino Rotolo
Matteo CristaniMatteo Cristani
Matteo Cristani
The paper proposes a fresh look at the concept of goal and advances that motivational attitudes like desire, goal and intention are just facets of the broader notion of (acceptable) outcome. We propose to encode the preferences of an agent as sequences of “alternative acceptable outcomes”. We then study how the agent's beliefs and norms can be used to filter the mental attitudes out of the sequences of alternative acceptable outcomes. Finally, we formalise such intuitions in a novel Modal Defeasible Logic and we prove that the resulting formalisation is computationally feasible.

12 April 2017 in Journal of Ambient Intelligence and Smart Environments
Verified
Journal Article
Open access
PDF file
Claudio TomazzoliClaudio Tomazzoli
Claudio Tomazzoli
Matteo CristaniMatteo Cristani
Matteo Cristani
EKErisa Karafili
Erisa Karafili
FOFrancesco Olivieri
Francesco Olivieri
Conflicting rules and rules with exceptions are very common in natural language specification employed to describe the behaviour of devices operating in a real-world context. This is common exactly because those specifications are processed by humans


28 January 2023 in Electronics
Verified
Journal Article
Open access
PDF file
PCPaola Cesari
Paola Cesari
Matteo CristaniMatteo Cristani
Matteo Cristani
Florenc DemroziFlorenc Demrozi
Florenc Demrozi
FPFrancesco Pascucci
Francesco Pascucci
PPPietro Maria Picotti
Pietro Maria Picotti
LZLuca Zenti
Luca Zenti
In medicine and sport science, postural evaluation is an essential part of gait and posture correction. There are various instruments for quantifying the postural system’s efficiency and determining postural stability which are considered state-of-the-art. However, such systems present many limitations related to accessibility, economic cost, size, intrusiveness, usability, and time-consuming set-up. To mitigate these limitations, this project aims to verify how wearable devices can be assembled and employed to provide feedback to human subjects for gait and posture improvement, which could be applied for sports performance or motor impairment rehabilitation (from neurodegenerative diseases, aging, or injuries). The project is divided into three parts: the first part provides experimental protocols for studying action anticipation and related processes involved in controlling posture and gait based on state-of-the-art instrumentation. The second part provides a biofeedback strategy for these measures concerning the design of a low-cost wearable system. Finally, the third provides algorithmic processing of the biofeedback to customize the feedback based on performance conditions, including individual variability. Here, we provide a detailed experimental design that distinguishes significant postural indicators through a conjunct architecture that integrates state-of-the-art postural and gait control instrumentation and a data collection and analysis framework based on low-cost devices and freely accessible machine learning techniques. Preliminary results on 12 subjects showed that the proposed methodology accurately recognized the phases of the defined motor tasks (i.e., rotate, in position, APAs, drop, and recover) with overall F1-scores of 89.6% and 92.4%, respectively, concerning subject-independent and subject-dependent testing setups.

1 January 2020 in Procedia Computer Science
Verified
Journal Article
Open access
Matteo CristaniMatteo Cristani
Matteo Cristani
LPLuca Pasetto
Luca Pasetto
Claudio TomazzoliClaudio Tomazzoli
Claudio Tomazzoli