1 citations · 3 across the 5 of their papers we have counts for
6 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…
ABA Learning via ASP
Emanuele De Angelis, Maurizio Proietti, Francesca Toni
Recently, ABA Learning has been proposed as a form of symbolic machine learning for drawing Assumption-Based Argumentation frameworks from background knowledge and positive and neg…
Generalization Strategies for the Verification of Infinite State Systems
Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti +1
We present a method for the automated verification of temporal properties of infinite state systems. Our verification method is based on the specialization of constraint logic prog…
Combining Logic Programs and Monadic Second Order Logics by Program Transformation
F. Fioravanti, A. Pettorossi, M. Proietti
We present a program synthesis method based on unfold/fold transformation rules which can be used for deriving terminating definite logic programs from formulas of the Weak Monadic…