| 2009 |
|---|
| 20 | EE | Stefano Aguzzoli,
Simone Bova,
Vincenzo Marra:
Applications of Finite Duality to Locally Finite Varieties of BL-Algebras.
LFCS 2009: 1-15 |
| 2008 |
|---|
| 19 | EE | Stefano Aguzzoli,
Brunella Gerla,
Vincenzo Marra:
Gödel algebras free over finite distributive lattices.
Ann. Pure Appl. Logic 155(3): 183-193 (2008) |
| 18 | EE | Stefano Aguzzoli,
Brunella Gerla:
Normal forms and free algebras for some extensions of MTL.
Fuzzy Sets and Systems 159(10): 1131-1152 (2008) |
| 17 | EE | Stefano Aguzzoli,
Brunella Gerla,
Vincenzo Marra:
De Finetti's No-Dutch-Book Criterion for Gödel logic.
Studia Logica 90(1): 25-41 (2008) |
| 2007 |
|---|
| 16 | | Stefano Aguzzoli,
Agata Ciabattoni,
Brunella Gerla,
Corrado Manara,
Vincenzo Marra:
Algebraic and Proof-theoretic Aspects of Non-classical Logics, Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday
Springer 2007 |
| 15 | EE | Stefano Aguzzoli,
Manuela Busaniche,
Vincenzo Marra:
Spectral Duality for Finitely Generated Nilpotent Minimum Algebras, with Applications.
J. Log. Comput. 17(4): 749-765 (2007) |
| 2006 |
|---|
| 14 | EE | Stefano Aguzzoli:
An asymptotically tight bound on countermodels for Lukasiewicz logic.
Int. J. Approx. Reasoning 43(1): 76-89 (2006) |
| 2005 |
|---|
| 13 | EE | Stefano Aguzzoli,
Ottavio M. D'Antona,
Vincenzo Marra:
Brun Normal Forms for Co-atomic Lukasiewicz Logics.
ECSQARU 2005: 650-661 |
| 12 | EE | Stefano Aguzzoli,
Brunella Gerla,
Corrado Manara:
Poset Representation for Gödel and Nilpotent Minimum Logics.
ECSQARU 2005: 662-674 |
| 11 | EE | Stefano Aguzzoli,
Brunella Gerla:
Normal Forms for the One-Variable Fragment of Hájek's Basic Logic.
ISMVL 2005: 284-289 |
| 10 | EE | Stefano Aguzzoli,
Brunella Gerla,
Zuzana Haniková:
Complexity issues in basic logic.
Soft Comput. 9(12): 919-934 (2005) |
| 2004 |
|---|
| 9 | EE | Stefano Aguzzoli:
Uniform Description of Calculi for All t-Norm Logics.
ISMVL 2004: 38-43 |
| 2002 |
|---|
| 8 | EE | Stefano Aguzzoli,
Paolo Avesani,
Paolo Massa:
Collaborative Case-Based Recommender Systems.
ECCBR 2002: 460-474 |
| 7 | EE | Stefano Aguzzoli,
Brunella Gerla:
Finite-valued reductions of infinite-valued logics.
Arch. Math. Log. 41(4): 361-399 (2002) |
| 2001 |
|---|
| 6 | | Stefano Aguzzoli,
Paolo Avesani,
Brunella Gerla:
A Logical Framwork for Fuzzy Collaborative Filtering.
FUZZ-IEEE 2001: 1043-1046 |
| 5 | | Stefano Aguzzoli,
Daniele Mundici:
Weierstrass Approximations by Lukasiewicz Formulas with One Quantified Variable.
ISMVL 2001: 361-366 |
| 2000 |
|---|
| 4 | EE | Stefano Aguzzoli,
Brunella Gerla:
Finite-Valued Approximations of Product Logic.
ISMVL 2000: 179-184 |
| 3 | | Stefano Aguzzoli,
Agata Ciabattoni,
Antonio di Nola:
Sequent calculi for finite-valued Lukasiewicz logics via Boolean decompositions.
J. Log. Comput. 10(2): 213-222 (2000) |
| 2 | | Stefano Aguzzoli,
Agata Ciabattoni:
Finiteness in Infinite-Valued Lukasiewicz Logic.
Journal of Logic, Language and Information 9(1): 5-29 (2000) |
| 1998 |
|---|
| 1 | EE | Stefano Aguzzoli:
A note on the representation of McNaughton lines by basic literals.
Soft Comput. 2(3): 111-115 (1998) |
