A5056655834- Semantic Web and Ontologies
- Business Process Modeling and Analysis
- Service-Oriented Architecture and Web Services
- Logic, Reasoning, and Knowledge
- Multi-Agent Systems and Negotiation
- Formal Methods in Verification
- Explainable Artificial Intelligence (XAI)
- Biomedical Text Mining and Ontologies
- Advanced Software Engineering Methodologies
- Clinical practice guidelines implementation
- Machine Learning in Healthcare
- Context-Aware Activity Recognition Systems
- Balance, Gait, and Falls Prevention
- Software System Performance and Reliability
- Constraint Satisfaction and Optimization
- Intelligent Tutoring Systems and Adaptive Learning
- Educational Games and Gamification
- Electronic Health Records Systems
- Advanced Database Systems and Queries
- Teaching and Learning Programming
- Topic Modeling
- Credit Risk and Financial Regulations
- Big Data Technologies and Applications
- Cerebral Palsy and Movement Disorders
- Artificial Intelligence in Games
University of Bologna
2013-2025
Istituto Nazionale di Fisica Nucleare, Sezione di Trieste
2014-2018
GNA University
2012
Service-oriented computing, an emerging paradigm for architecting and implementing business collaborations within across organizational boundaries, is currently of interest to both software vendors scientists. While the technologies interconnecting basic services are reaching a good level maturity, modeling service interaction from global viewpoint, that is, representing choreographies, still open challenge. The main problem that, although declarativeness has been identified as key feature,...
Today, large business processes are composed of smaller, autonomous, interconnected subsystems, achieving modularity and robustness. Quite often, these comprise software components as well human actors, they face highly dynamic environments their subsystems updated evolve independently each other. Due to nature complexity, it might be difficult, if not impossible, ensure at design-time that such systems will always exhibit the desired/expected behaviors. This, in turn, triggers need for...
In this work, a flexible and extensive digital platform for Smart Homes is presented, exploiting the most advanced technologies of Internet Things, such as Radio Frequency Identification, wearable electronics, Wireless Sensor Networks, Artificial Intelligence. Thus, main novelty paper system-level description flexibility allowing interoperability different smart devices. This research was developed within framework operative project HABITAT (Home Assistance Based on Things Autonomy...
About 30% of people over 65 are subject to at least one unintentional fall a year. Fall prevention protocols and interventions can decrease the number falls. To be effective, strategy requires prior step evaluate risk subjects. Despite extensive research, existing assessment tools for have been insufficient predicting falls.The goal this study is present novel web-based fall-risk tool (FRAT-up) its accuracy in falls, within context community-dwelling persons aged up.FRAT-up based on...
In recent years, declarative, constraint-based approaches have been proposed to model loosely-structured business processes, mediating between support and flexibility. A notable example is the Declare framework, equipped with a graphical declarative language whose semantics can be characterized several logic-based formalisms. Up now, constraints mainly used tackle control-flow aspects, abstracting away from data. this work, we extend so as include task data data-aware constraints. We show...
Traditional university lessons do not provide students with the opportunity to put theoretical concepts into practice. Project-Based Learning is designed involve through proposition of real-word problems in form a project. The main objective this work improve several aspects student's learning experience (e.g., their motivation and interest) practical during master degree course Artificial Intelligence. We propose an application use game-based competition. as activity that takes place...
Since its introduction, the Event Calculus (ℰ𝒞) has been recognized for being an excellent framework to reason about time and events, it applied a variety of domains. However, formalization inside logic-based frameworks
Local Interpretable Model-Agnostic Explanations (LIME) is a popular method to perform interpretability of any kind Machine Learning (ML) model. It explains one ML prediction at time, by learning simple linear model around the prediction. The trained on randomly generated data points, sampled from training dataset distribution and weighted according distance reference point - being explained LIME. Feature selection applied keep only most important variables. LIME widespread across different...
Assessing the risk to develop a specific disease is first step towards prevention, both at individual and population levels. The development validation of prediction models (RPMs) norm within different fields medicine but still underused in psychiatry, despite global impact mental disorders. In particular, there lack RPMs assess developing depression, worldwide cause disability harbinger functional decline old age. We present depression assessment tool DRAT-up, prospective RPM identify...
Although stemming from very different research areas, Multi-Agent Systems (MAS) and Service Oriented Computing (SOC) share common topics, problems settings. One of the is need to formally verify conformance individuals (Agents or Web Services) rules specifications (resp. Protocols/Choreographies), in order provide a coherent behaviour reach goals user.In previous publications, we developed framework, SCIFF, for automatic verification compliance agents protocols. The framework includes...
In this article, we define ArgSciFF, a prototype operational argumentation framework to support dialogic argument exchange between Semantic Web services. ArgSciFF is based on the Sciff abductive-logic programming (ALP) framework. (Sciff an abbreviation for "IFF with constraints agent societies," referring "if and only if' proof procedure developed by Tze Ho Fung Robert Kowal-ski.) intelligent can interact service reason from interaction result. The reasoning semantics that views as dialogue....