Smart Knowledge: Enhancing Argumentation and Abstraction for Explanation and Analysis

This project focuses on advancing methodologies and tools, emphasizing
argumentation, knowledge abstraction, and automated reasoning. Activities
include developing concurrent languages, model methodologies for
explaining machine learning, and frameworks for analyzing energy
consumption. The anticipated outcomes are proofs of concept, scientific
papers, and innovative tools. The project aims to fill gaps in current
research, contributing to both theoretical knowledge and practical
applications.