1 citations · 1 across the 2 of their papers we have counts for
3 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…
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…