CNR Institutional Research Information System

DE ANGELIS, EMANUELE

DE ANGELIS, EMANUELE  

Istituto di Analisi dei Sistemi ed Informatica ''Antonio Ruberti'' - IASI  

Mostra records
Risultati 1 - 20 di 78 (tempo di esecuzione: 0.042 secondi).
Titolo Data di pubblicazione Autore(i) File
Learning to Contest Argumentative Claims In corso di stampa De Angelis, Emanuele; Proietti, Maurizio; Toni, Francesca
Verifying Smart Contracts in Yul via Transformation to CHC by Interpreter Specialization In corso di stampa Albert, Elvira; De Angelis, Emanuele; Fioravanti, Fabio; Hernández-Cerezo, Alejandro; Matricardi, Giulia
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.
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
CHC-COMP 2023: Competition Report 1-gen-2024 DE ANGELIS, Emanuele; Hari Govind, V. K.
Competition of Solvers for Constrained Horn Clauses (CHC-COMP 2023) 1-gen-2024 DE ANGELIS, Emanuele; Vediramana Krishnan, H. G.
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
ABA Learning via ASP 1-gen-2023 DE ANGELIS, Emanuele; 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
Analysis and Transformation of Constrained Horn Clauses for Program Verification 1-gen-2022 DE ANGELIS, Emanuele; Fioravanti, Fabio; Gallagher John, P; Hermenegildo Manuel, V; Pettorossi, Alberto; Proietti, Maurizio