Enrico Marchioni

Dr Enrico Marchioni

EPSRC Post-Doctoral Research Fellow

Leaving date: 31st August 2017

Themes:

• Quantum
• Data, Knowledge and Action

Interests

Many-valued Logics, Mathematical Logic, Games, Uncertain Reasoning.

Biography

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.

Selected Publications

View AllManage publications

• On Deductive Interpolation for the Weak Nilpotent Minimum logic

  E Marchioni

  In FUZZY SETS AND SYSTEMS. Vol. 292. Pages 318–332. June, 2016.

  Details about On Deductive Interpolation for the Weak Nilpotent Minimum logic | BibTeX data for On Deductive Interpolation for the Weak Nilpotent Minimum logic | DOI (10.1016/j.fss.2015.12.016) | Link to On Deductive Interpolation for the Weak Nilpotent Minimum logic

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

  Details about Rational Verification: From Model Checking to Equilibrium Checking | BibTeX data for Rational Verification: From Model Checking to Equilibrium Checking

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

  Details about Lukasiewicz Games: A Logic−Based Approach to Quantitative Strategic Interactions | BibTeX data for Lukasiewicz Games: A Logic−Based Approach to Quantitative Strategic Interactions | DOI (10.1145/2783436) | Link to Lukasiewicz Games: A Logic−Based Approach to Quantitative Strategic Interactions