The University of Southampton

Dr Enrico Marchioni 


Deputy Programme Leader for the MSc in Computer Science

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 interests

Game Theory, Reasoning under Uncertainty, Mathematical Logic


Teaching 2018-2019:

  • COMP1206: Programming II
  • COMP6203: Intelligent Agents
  • COMP6231: Foundations of Artificial Intelligence
  • COMP6233: Topics in Computer Science


Flaminio, Tommaso, Godo, Lluís and Marchioni, Enrico (2013) Logics for belief functions on MV-algebras. International Journal of Approximate Reasoning, 54 (4), 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), 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), 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), 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), 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, 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), 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), 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), 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), 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), 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), 429-446. (doi:10.1093/logcom/exp012).

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

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

Flaminio, Tommaso and Marchioni, Enrico (2006) T-norm-based logics with an independent involutive negation. Fuzzy Sets and Systems, 157 (24), 3125-3144. (doi:10.1016/j.fss.2006.06.016).

Godo, Lluís and Marchioni, Enrico (2006) Coherent conditional probability in a fuzzy logic setting. Journal of IGPL, 14 (3), 457-481. (doi:10.1093/jigpal/jzl019).

Marchioni, Enrico (2008) Representing upper probability measures over rational Lukasiewicz logic. Mathware & Soft Computing, 15, 159-173.

Flaminio, Tommaso and Marchioni, Enrico (2007) Mixed rational assessments of possibility and probability measures. Electronic Notes in Theoretical Computer Science, 169, 33-42. (doi:10.1016/j.entcs.2006.07.027).

Marchioni, Enrico and Montagna, Franco (2007) Complexity and definability issues in ŁΠ1/2. Journal of Logic and Computation, 17 (2), 311-331. (doi:10.1093/logcom/exl044).

Marchioni, Enrico (2006) Possibilistic conditioning framed in fuzzy logics. International Journal of Approximate Reasoning, 43 (2), 133-165. (doi:10.1016/j.ijar.2006.03.002).


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.