The University of Southampton
Telephone:
+442380594699
Email:
e.marchioni@soton.ac.uk

Dr Enrico Marchioni 

Personal homepage

Programme Leader for the MSc in Software Engineering

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, Reasoning under Uncertainty, Mathematical Logic

Teaching

Teaching 2020-2021:

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

Publications

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 and 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), [33]. (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. (Series in Logic) 978-1848900370. College Publications, pp. 367-400.

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.

Marchioni, Enrico and Montagna, Franco (2008) On triangular norms and uninorms definable in ŁΠ½. International Journal of Approximate Reasoning, 47 (2), 179-201. (doi:10.1016/j.ijar.2007.04.003).

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).

Marchioni, Enrico and Wooldridge, Michael (2019) Łukasiewicz logics for cooperative games. Artificial Intelligence, 275, 252-278. (doi:10.1016/j.artint.2019.03.003).

Hosni, Hykel and Marchioni, Enrico (2019) Possibilistic randomisation in strategic-form games. International Journal of Approximate Reasoning, 114, 204-225. (doi:10.1016/j.ijar.2019.08.008).

Contact

Share this profile FacebookTwitterWeibo