Contacts

Simone Bova
Institute of Information Systems (184/3)
Vienna University of Technology
Favoritenstrasse 9-11
A-1040 Vienna (Austria)

Phone: +43 (1) 58801 18447
Email: bova@kr.tuwien.ac.at

Journal Articles

  1. (with Hubie Chen) The Complexity of Equivalence, Entailment, and Minimization in Existential Positive Logic.
    Journal of Computer and System Sciences 81(2), 443-457, 2015.
  2. (with Leonardo Cabrer) Unification and Projectivity in De Morgan and Kleene Algebras.
    Order 31(2), 159-187, 2014.
  3. (with Hubie Chen and Matt Valeriote) Generic Expression Hardness Results for Primitive Positive Formula Comparison.
    Information and Computation 222, 108-120, 2013. 38th International Colloquium on Automata, Languages and Programming (ICALP) Special Issue.
  4. (with Franco Montagna) Polynomial Space Hardness without Disjunction Property.
    Theoretical Computer Science 467, 1-11, 2012.
  5. Lewis Dichotomies in Many-Valued Logics.
    Studia Logica 100(6), 1271-1290, 2012. 8th Studia Logica Conference on Trends in Logic Special Issue.
  6. (with Hubie Chen and Matt Valeriote) On the Expression Complexity of Equivalence and Isomorphism of Primitive Positive Formulas.
    Theory of Computing Systems 50(2), 329-353, 2012.
  7. (with Diego Valota) Finite RDP-Algebras: Duality, Coproducts, and Logic.
    Journal of Logic and Computation 22(3), 417-450, 2012.
  8. (with Stefano Aguzzoli) The Free n-Generated BL-Algebra.
    Annals of Pure and Applied Logic 161(9), 1144-1170, 2010.
  9. (with Tommaso Flaminio) The Coherence of Łukasiewicz Assessments is NP-complete.
    International Journal of Approximate Reasoning 51(3), 294-304, 2010.
  10. (with Franco Montagna) The Consequence Relation in the Logic of Commutative GBL-Algebras is PSPACE-complete.
    Theoretical Computer Science 410(12-13), 1143-1158, 2009.
  11. (with Franco Montagna) Proof Search in Hájek's Basic Logic.
    ACM Transactions on Computational Logic 9(3), 1-26, 2008.

Conference Papers

  1. (with Robert Ganian and Stefan Szeider) Quantified Conjunctive Queries on Partially Ordered Sets.
    9th International Symposium on Parameterized and Exact Computation (IPEC), 2014.
  2. (with Robert Ganian and Stefan Szeider) Model Checking Existential Logic on Partially Ordered Sets.
    23rd Conference on Computer Science Logic and 29th Symposium on Logic in Computer Science (CSL-LICS), 2014.
  3. (with Hubie Chen) The Complexity of Width Minimization for Existential Positive Queries.
    17th International Conference on Database Theory (ICDT), 2014.
  4. (with Hubie Chen and Matt Valeriote) Generic Expression Hardness Results for Primitive Positive Formula Comparison.
    38th International Colloquium on Automata, Languages and Programming (ICALP), 2011. LNCS 6756, 2, 344-355.
  5. (with Stefano Aguzzoli) Schauder Hats for the Two-Variable Fragment of Hájek's Basic Logic.
    40th International Symposium on Multiple-Valued Logic (ISMVL), 2010. IEEE Computer Society Press, 27-32, 2010.
  6. Combinatorics of Interpolation in Gödel Logic.
    4th Conference on Topology, Algebra and Categories in Logic (TACL), 2009.
  7. Soft Constraints Processing over Divisible Residuated Lattices.
    10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU), 2009. LNAI 5590, 887-898.
  8. (with Stefano Aguzzoli and Vincenzo Marra) Applications of Finite Duality to Locally Finite Varieties of BL-Algebras.
    16th International Symposium on Logical Foundations of Computer Science (LFCS), 2009. LNCS 5407, 1-15.
  9. A Bottom-Up Algorithm for t-Tautologies.
    19th European Summer School on Logic, Language and Information (ESSLLI), 2007.

Other Publications

  1. (with Stefan Szeider) Structural Parameterizations of Language Restricted Constraint Satisfaction Problems.
    Institute of Information Systems, Research Report 1843-13-02, 2013.
  2. (with Stefano Aguzzoli and Brunella Gerla) Free Algebras and Functional Representation for Fuzzy Logics.
    Chapter 9 of Handbook of Mathematical Fuzzy Logic (Petr Cintula, Petr Hájek, and Carles Noguera, editors), College Publications, Volume 2, 713-791, 2011.
  3. BL-Functions and Free BL-Algebra.
    Ph.D. Thesis, University of Siena, 2008.

Talks

Model Checking Existential Logic on Partially Ordered Sets.
Contributed Talk, Joint Meeting of 23rd Conference on Computer Science Logic and 29th Symposium on Logic in Computer Science (CSL-LICS), July 2014. Vienna (Austria).

The Complexity of Width Minimization for Existential Positive Queries.
Contributed Talk, 17th International Conference on Database Theory (ICDT), March 2014. Athens (Greece).

Model Checking on Partially Ordered Sets.
Invited Talk, University of the Basque Country, February 2014. San Sebastiàn (Spain).

Tractable Restrictions of Model Checking.
Invited Talk, University of Camerino, December 2013. Camerino (Italy).

Width Minimization for Existential Positive Queries.
Contributed Talk, 14th International Workshop on Logic and Computational Complexity (LCC), September 2013. Turin (Italy).

Minimizing the Number of Variables in Existential First-Order Logic.
Invited Talk, University of Milan, July 2013. Milan (Italy).

Succinct Compilation of Propositional Theories.
Invited Talk, University of the Basque Country, February 2013. San Sebastiàn (Spain).

Model Checking of Conjunctive Queries.
Invited Talk, Vienna University of Technology, March 2012. Vienna (Austria).

Type Classification of Unification Problems over Distributive Lattices and Varieties of De Morgan Algebras.
Contributed Talk, AMS Western Section Meeting, March 2012. Honolulu HI (USA).

Equational and Horn Theories of Commutative Bounded Integral GBL-Algebras are PSPACE-Complete.
Contributed Talk, BLAST'11, June 2011. Lawrence KS (USA).

Finite Projective De Morgan Algebras.
Contributed Talk, APT'11, March 2011. Nashville TN (USA).

Finite Projective Kleene Algebras.
Invited Talk, 8th Studia Logica Conference on Trends in Logic, October 2010. Buenos Aires (Argentina).

Lewis Dichotomies in Many-Valued Logics.
Invited Talk, ASUBL'10, June 2010. Nomi (Japan).

Schauder Hats for the Two-Variable Fragment of Hájek's Basic Logic.
Contributed Talk, ISMVL'10, May 2010. Barcelona (Spain).

Combinatorics of Interpolation in Gödel Logic.
Contributed Talk, TACL'09, July 2009. Amsterdam (Netherlands).

Soft Constraints Processing over Divisible Residuated Lattices.
Contributed Talk, ECSQARU'09, July 2009. Verona (Italy).

BL-Functions and Free BL-Algebra.
Thesis Defense, University of Siena, December 2008. Siena (Italy).

MV-Algebras and Local Consistency.
Research Seminar, Pompeu Fabra University, September 2008. Barcelona (Spain).

Functional Representation of Basic Logic.
Invited Talk, Nonclassical Logics Workshop, April 2008. Pisa (Italy).

Hájek's Basic Logic: Decision and Representation.
Research Seminar, University of Barcelona, December 2007. Barcelona (Spain).

A Bottom-Up Algorithm for t-Tautologies.
Contributed Talk, ESSLLI'07, Trinity College, August 2007. Dublin (Ireland).

A Decision Algorithm for Hájek's Basic Logic.
Contributed Talk, MANYVAL'06, March 2006. Gargnano (Italy).

Service

Organizing Committee of MANYVAL'08, Algebra and Proof Theory 2011.

Programme Committee of IJCAI'11, IJCAI'13.

Referee for AAAI'10, Algebra Universalis, Bulletin of the Section of Logic, CCC'13, CP'09, CP'10, CP'11, CP'13, CP'14, ECAI'10, ECAI'14, Fuzzy Sets and Systems, Information Sciences, International Journal of Approximate Reasoning, IPMU'10, Journal of Artificial Intelligence Research, Journal of Logic and Computation, LATD'12, Order, SAT'09, SAT'14, Soft Computing, SWAT'14, TAMC'13, Theoretical Computer Science, WOLLIC'14.