Postdoctoral Scholar
Vienna University of Technology, Vienna (Austria)
Contacts | Journal Articles | Conference Papers | Other Publications | Talks | Service
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
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).
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.