Ottavio M. D’Antona

Computing coproducts of finitely presented Gödel algebras

Ottavio M. D’Antona, Vincenzo Marra · Annals of Pure and Applied Logic · 2006 · 38 citations

Abstract Algebra, Automated Reasoning, Algebraic Combinatorics +2

On the equivalence and range of applicability of graph-based representations of logic programs

Stefania Costantini, Ottavio M. D’Antona, Alessandro Provetti · Information Processing Letters · 2002 · 15 citations

Applied Logic, Computational Logic, Engineering +8

An analysis of Ruspini partitions in Gödel logic

Pietro Codara, Ottavio M. D’Antona, Vincenzo Marra · International Journal of Approximate Reasoning · 2009 · 15 citations · Full text

Computational Logic, Engineering, Substructural Logic +4

Computing Minimal Axiomatizations in Godel Propositional Logic

Stefano Aguzzoli, Ottavio M. D’Antona, Vincenzo Marra · Journal of Logic and Computation · 2009 · 14 citations

The Cycle-Path Indicator Polynomial of a Digraph

Ottavio M. D’Antona, Emanuele Munarini · Advances in Applied Mathematics · 2000 · 13 citations

Cycle-path Indicator Polynomial, Directed Graph, Graph Theory +4