Many-valued Logics, Mathematical Logic, Games, Uncertain Reasoning.
I am a researcher at the Department of Computer Science of the University of Oxford, where I collaborate with Prof. Michael Wooldridge in the EPSRC-funded project "Combining Qualitative and Quantitative Reasoning for Logic-based Games".
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 Toulouse, Paul Sabatier University, in France.
On Deductive Interpolation for the Weak Nilpotent Minimum logic
In FUZZY SETS AND SYSTEMS. Vol. 292. Pages 318–332. June, 2016.
Rational Verification: From Model Checking to Equilibrium Checking
M Wooldridge‚ J Gutierrez‚ P Harrenstein‚ E Marchioni‚ G Perelli and A Toumi
In Thirtieth AAAI Conference on Artificial Intelligence. February, 2016.
Lukasiewicz Games: A Logic−Based Approach to Quantitative Strategic Interactions
E Marchioni and M Wooldridge
In ACM TRANSACTIONS ON COMPUTATIONAL LOGIC. Vol. 16. No. ARTN 33. November, 2015.