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.