324 citations
- University of Rome Tor VergataIT110 papers
- National Research CouncilLK103 papers
- University of Chieti-PescaraIT19 papers
- Sapienza University of RomeIT7 papers
- University of CataniaIT6 papers
- University of SienaIT6 papers
- Bologna Research AreaIT5 papers
- Roma Tre UniversityIT5 papers
- Technical University of DenmarkDK5 papers
- Max Planck Institute for InformaticsDE4 papers
- University of L'AquilaIT4 papers
- University of SassariIT4 papers
166 papers
Constrained Assumption-Based Argumentation Frameworks
Emanuele De Angelis, Fabio Fioravanti, Maria Chiara Meo +3
Assumption-based Argumentation (ABA) is a well-established form of structured argumentation. ABA frameworks with an underlying atomic language are widely studied, but their applica…
Catamorphic Abstractions for Constrained Horn Clause Satisfiability
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi +1
Catamorphisms are functions that are recursively defined on list and trees and, in general, on Algebraic Data Types (ADTs), and are often used to compute suitable abstractions of p…
Learning Brave Assumption-Based Argumentation Frameworks via ASP
Emanuele De Angelis, Maurizio Proietti, Francesca Toni
Assumption-based Argumentation (ABA) is advocated as a unifying formalism for various forms of non-monotonic reasoning, including logic programming. It allows capturing defeasible…
CHC-COMP 2023: Competition Report
Emanuele De Angelis, Hari Govind V K
CHC-COMP 2023 is the sixth edition of the Competition of Solvers for Constrained Horn Clauses. The competition was run in April 2023 and the results were presented at the 10th Work…
Conditional computation in neural networks: principles and research trends
Simone Scardapane, Alessandro Baiocchi, Alessio Devoto +3
This article summarizes principles and ideas from the emerging area of applying \textit{conditional computation} methods to the design of neural networks. In particular, we focus o…
Phase chimera states on non-local hyperrings
Riccardo Muolo, Thierry Njougouo, Lucia Valentina Gambuzza +2
Chimera states are dynamical states where regions of synchronous trajectories coexist with incoherent ones. A significant amount of research has been devoted to study chimera state…