PROIETTI, MAURIZIO
PROIETTI, MAURIZIO
Istituto di Analisi dei Sistemi ed Informatica ''Antonio Ruberti'' - IASI
Learning to Contest Argumentative Claims
In corso di stampa De Angelis, Emanuele; Proietti, Maurizio; Toni, Francesca
A Validation Methodology for XAI Decision Support Systems Against Relational Domain Properties
2025 De Angelis, Emanuele; De Angelis, Guglielmo; Mongelli, Maurizio; Proietti, Maurizio
Agentified Argumentative Learning
2025 De Angelis, Emanuele; Proietti, Maurizio; Toni, Francesca
Argumentation-based explainable recommender system with ARES
2025 Felici, Riccardo; De Angelis, Emanuele; Ferrato, Alessio; Proietti, Maurizio; Sansonetti, Giuseppe; Toni, Francesca
Greedy ABA Learning for Case-Based Reasoning
2025 De Angelis, Emanuele; Proietti, Maurizio; Toni, Francesca
Object-Centric Neuro-Argumentative Learning
2025 Jacob, Abdul Rahman; Kori, Avinash; De Angelis, Emanuele; Glocker, Ben; Proietti, Maurizio; Toni, Francesca.
Redundancy Checking in Reversible Flowcharts via Logic-Based Operational Semantics
2025 Glück, Robert; Proietti, Maurizio
A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution)
2024 Pettorossi, Alberto; Proietti, Maurizio; Fioravanti, Fabio; De Angelis, Emanuele
Catamorphic Abstractions for Constrained Horn Clause Satisfiability
2024 DE ANGELIS, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
Learning Assumption-Based Argumentation Frameworks
2024 Proietti, Maurizio; Toni, Francesca
Learning Brave Assumption-Based Argumentation Frameworks via ASP
2024 De Angelis, Emanuele; Proietti, Maurizio; Toni, Francesca
Proceedings of the 39th Italian Conference on Computational Logic (CILC 2024)
2024 DE ANGELIS, Emanuele; Proietti, Maurizio
A Classification Study on Testing and Verification of AI-based Systems
2023 DE ANGELIS, Emanuele; DE ANGELIS, Guglielmo; Proietti, Maurizio
A Roadmap for Neuro-argumentative Learning
2023 Proietti, Maurizio; Toni, Francesca
ABA Learning via ASP
2023 DE ANGELIS, Emanuele; Proietti, Maurizio; Toni, Francesca
ABALearn: An Automated Logic-Based Learning System for ABA Frameworks
2023 Tirsi, Cristina; Proietti, Maurizio; Toni, Francesca
Constrained Horn Clauses Satisfiability via Catamorphic Abstractions
2023 DE ANGELIS, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
Learning Brave Assumption-Based Argumentation Frameworks via ASP
2023 DE ANGELIS, Emanuele; Proietti, Maurizio; Toni, Francesca
Multiple Query Satisfiability of Constrained Horn Clauses
2023 DE ANGELIS, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
What makes test programs similar in microservices applications?
2023 De Angelis, Emanuele; De Angelis, Guglielmo; Pellegrini, Alessandro; Proietti, Maurizio
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Learning to Contest Argumentative Claims | In corso di stampa | De Angelis, Emanuele; Proietti, Maurizio; Toni, Francesca | |
| A Validation Methodology for XAI Decision Support Systems Against Relational Domain Properties | 1-gen-2025 | De Angelis, Emanuele; De Angelis, Guglielmo; Mongelli, Maurizio; Proietti, Maurizio | |
| Agentified Argumentative Learning | 1-gen-2025 | De Angelis, Emanuele; Proietti, Maurizio; Toni, Francesca | |
| Argumentation-based explainable recommender system with ARES | 1-gen-2025 | Felici, Riccardo; De Angelis, Emanuele; Ferrato, Alessio; Proietti, Maurizio; Sansonetti, Giuseppe; Toni, Francesca | |
| Greedy ABA Learning for Case-Based Reasoning | 1-gen-2025 | De Angelis, Emanuele; Proietti, Maurizio; Toni, Francesca | |
| Object-Centric Neuro-Argumentative Learning | 1-gen-2025 | Jacob, Abdul Rahman; Kori, Avinash; De Angelis, Emanuele; Glocker, Ben; Proietti, Maurizio; Toni, Francesca. | |
| Redundancy Checking in Reversible Flowcharts via Logic-Based Operational Semantics | 1-gen-2025 | Glück, Robert; Proietti, Maurizio | |
| A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution) | 1-gen-2024 | Pettorossi, Alberto; Proietti, Maurizio; Fioravanti, Fabio; De Angelis, Emanuele | |
| Catamorphic Abstractions for Constrained Horn Clause Satisfiability | 1-gen-2024 | DE ANGELIS, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio | |
| Learning Assumption-Based Argumentation Frameworks | 1-gen-2024 | Proietti, Maurizio; Toni, Francesca | |
| Learning Brave Assumption-Based Argumentation Frameworks via ASP | 1-gen-2024 | De Angelis, Emanuele; Proietti, Maurizio; Toni, Francesca | |
| Proceedings of the 39th Italian Conference on Computational Logic (CILC 2024) | 1-gen-2024 | DE ANGELIS, Emanuele; Proietti, Maurizio | |
| A Classification Study on Testing and Verification of AI-based Systems | 1-gen-2023 | DE ANGELIS, Emanuele; DE ANGELIS, Guglielmo; Proietti, Maurizio | |
| A Roadmap for Neuro-argumentative Learning | 1-gen-2023 | Proietti, Maurizio; Toni, Francesca | |
| ABA Learning via ASP | 1-gen-2023 | DE ANGELIS, Emanuele; Proietti, Maurizio; Toni, Francesca | |
| ABALearn: An Automated Logic-Based Learning System for ABA Frameworks | 1-gen-2023 | Tirsi, Cristina; Proietti, Maurizio; Toni, Francesca | |
| Constrained Horn Clauses Satisfiability via Catamorphic Abstractions | 1-gen-2023 | DE ANGELIS, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio | |
| Learning Brave Assumption-Based Argumentation Frameworks via ASP | 1-gen-2023 | DE ANGELIS, Emanuele; Proietti, Maurizio; Toni, Francesca | |
| Multiple Query Satisfiability of Constrained Horn Clauses | 1-gen-2023 | DE ANGELIS, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio | |
| What makes test programs similar in microservices applications? | 1-gen-2023 | De Angelis, Emanuele; De Angelis, Guglielmo; Pellegrini, Alessandro; Proietti, Maurizio |