 | 2012 |
|---|
| 13 |       | Simone Bova,
Hubie Chen,
Matthew Valeriote:
On the Expression Complexity of Equivalence and Isomorphism of Primitive Positive Formulas.
Theory Comput. Syst. 50(2): 329-353 (2012) |
| 2011 |
|---|
| 12 | | Simone Bova,
Hubie Chen,
Matthew Valeriote:
Generic Expression Hardness Results for Primitive Positive Formula Comparison.
ICALP (2) 2011: 344-355 |
| 2010 |
|---|
| 11 | | Simone Bova,
Pietro Codara,
Daniele Maccari,
Vincenzo Marra:
A logical analysis of Mamdani-type fuzzy inference, I theoretical bases.
FUZZ-IEEE 2010: 1-8 |
| 10 | | Simone Bova,
Pietro Codara,
Daniele Maccari,
Vincenzo Marra:
A logical analysis of Mamdani-type fuzzy inference, II. An experiment on the technical analysis of financial markets.
FUZZ-IEEE 2010: 1-8 |
| 9 | | Stefano Aguzzoli,
Simone Bova:
Schauder Hats for the Two-Variable Fragment of BL.
ISMVL 2010: 27-32 |
| 8 | | Stefano Aguzzoli,
Simone Bova:
The free n-generated BL-algebra.
Ann. Pure Appl. Logic 161(9): 1144-1170 (2010) |
| 7 | | Simone Bova,
Tommaso Flaminio:
The coherence of Lukasiewicz assessments is NP-complete.
Int. J. Approx. Reasoning 51(3): 294-304 (2010) |
| 2009 |
|---|
| 6 | | Simone Bova:
Soft Constraints Processing over Divisible Residuated Lattices.
ECSQARU 2009: 887-898 |
| 5 | | Stefano Aguzzoli,
Simone Bova,
Vincenzo Marra:
Applications of Finite Duality to Locally Finite Varieties of BL-Algebras.
LFCS 2009: 1-15 |
| 4 | | Simone Bova,
Franco Montagna:
The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete.
Theor. Comput. Sci. 410(12-13): 1143-1158 (2009) |
| 2008 |
|---|
| 3 | | Simone Bova,
Franco Montagna:
Proof search in Hájek's basic logic.
ACM Trans. Comput. Log. 9(3): (2008) |
| 2 | | Simone Bova:
k-Hyperarc Consistency for Soft Constraints over Divisible Residuated Lattices
CoRR abs/0805.3261: (2008) |
| 2006 |
|---|
| 1 | | Simone Bova,
Franco Montagna:
Proof Search in Hajek's Basic Logic
CoRR abs/cs/0605094: (2006) |
Data released under the ODC-BY 1.0 license — See also our legal information page