The University of Southampton
Telephone:
+442380594699
Email:
e [dot] marchioni [at] soton [dot] ac [dot] uk

Dr. Enrico Marchioni

Academic Staff

I am a Lecturer in the Agents, Interaction and Complexity research group at the University of Southampton. I obtained my PhD at the University of Salamanca (Spain), in 2006. Between 2007 and 2008, I worked as a lecturer at the Open University of Catalonia (Spain), and, from 2008 to 2011, I was a Juan de la Cierva postdoctoral research fellow at the Artificial Intelligence Research Institute of the Spanish National Research Council (IIIA-CSIC). In 2012, after a brief research assistantship at the Mathematics institute of the University of Bern (Switzerland) at the end of 2011, I returned as a researcher at IIIA-CSIC. From 2012 to 2014, I was a Marie Curie postdoctoral research fellow at the Institut de Recherche en Informatique de ToulousePaul Sabatier University, in France. From 2014 to 2017, I was a researcher in a EPSRC funded project at the Department of Computer Science of the University of Oxford.

 

Research

Research interests

Game Theory; Mathematical Logic; Reasoning under Uncertainty.

Publications

Flaminio, Tommaso, Godo, Lluís and Marchioni, Enrico (2013) Logics for belief functions on MV-algebras International Journal of Approximate Reasoning, 54, (4), pp. 491-512. (doi:10.1016/j.ijar.2012.08.006).

Marchioni, Enrico and Metcalfe, George (2012) Craig interpolation for semilinear substructural logics Mathematical Logic Quarterly, 58, (6), pp. 468-481. (doi:10.1002/malq.201200004).

Flaminio, Tommaso, Godo, Lluís and Marchioni, Enrico (2012) Geometrical aspects of possibility measures on finite domain MV-clans Soft Computing, 16, (11), pp. 1863-1873. (doi:10.1007/s00500-012-0838-0).

Cortonesi, Tommaso, Marchioni, Enrico and Montagna, Franco (2011) Quantifier elimination and other model-theoretic properties of BL-algebras Notre Dame Journal of Formal Logic, 52, (4), pp. 339-379. (doi:10.1215/00294527-1499336).

Lenzi, Giacomo and Marchioni, Enrico (2014) An algebraic characterization of o-minimal and weakly o-minimal MV-chains Journal of Pure Applied Algebra, 218, (1), pp. 90-100. (doi:10.1016/j.jpaa.2013.04.014).

Marchioni, Enrico and Wooldridge, Michael (2015) Łukasiewicz Games: A logic-based approach to quantitative strategic Interactions ACM Transactions on Computational Logic, 16, (4) (doi:10.1145/2783436).

Marchioni, Enrico (2016) On deductive interpolation for the weak nilpotent minimum logic Fuzzy Sets and Systems, 292, pp. 318-332. (doi:10.1016/j.fss.2015.12.016).

Marchioni, Enrico (2015) Some notes on elimination properties for the theory of Riesz MV-Chains Mathematica Slovaca, 65, (4), pp. 789-800. (doi:10.1515/ms-2015-0055).

Marchioni, Enrico (2012) Amalgamation through quantifier elimination for varieties of commutative residuated lattices Archive for Mathematical Logic, 51, (1-2), pp. 15-34. (doi:10.1007/s00153-011-0251-x).

Flaminio, Tommaso, Godo, Lluís and Marchioni, Enrico (2011) Reasoning about uncertainty of fuzzy events: an overview In, Cintula, Petr, Fermuller, Cris, Godo, Lluis and Hajek, Peter (eds.) Understanding Vagueness - Logical, Philosophical, and Linguistic Perspectives. 978-1848900370, College Publications pp. 367-400. (Series in Logic).

Esteva, Francesc, Godo, Lluís and Marchioni, Enrico (2011) Fuzzy logics with enriched language In, Cintula, Petr, Hajek, Peter and Noguera, Carles (eds.) Handbook of Mathematical Fuzzy Logic. College Publications pp. 627-712.

Dellunde, Pilar, Godo, Lluís and Marchioni, Enrico (2011) Extending possibilistic logic over Gödel logic International Journal of Approximate Reasoning, 52, (1), pp. 63-75. (doi:10.1016/j.ijar.2010.08.014).

Marchioni, Enrico (2008) On computational complexity of semilinear varieties Journal of Logic and Computation, 18, (6), pp. 941-958. (doi:10.1093/logcom/exn017).

Belluce, L.P., Di Nola, Antonio Di and Marchioni, Enrico (2010) Rings and Gödel algebras Algebra Universalis, 64, (1), pp. 103-116. (doi:10.1007/s00012-010-0092-1).

Flaminio, Tommaso, Godo, Lluís and Marchioni, Enrico (2011) On the logical formalization of possibilistic counterparts of states over n-valued Łukasiewicz events Journal of Logic and Computation, 21, (3), pp. 429-446. (doi:10.1093/logcom/exp012).

Marchioni, Enrico and Spada, Luca (2011) Advances in the theory of μŁΠ algebras Journal of IGPL, 19, (3), pp. 476-489. (doi:10.1093/jigpal/jzp089).

Marchioni, Enrico (2009) Ordered fields and ŁΠ1/2-algebras Soft Computing, 13, (6), pp. 559-564. (doi:10.1007/s00500-008-0315-y).

Contact

Share this profile FacebookGoogle+TwitterWeibo

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×