Concepedia

Enrico Marchioni

EM

12

Publications

239

Citations

10

H-Index

2006

Active since

Affiliations

Artificial Intelligence Research Institute(Current)

Universitat Autònoma de Barcelona

Consejo Superior de Investigaciones Científicas

Universidad de Salamanca

University of Siena

Enrico Marchioni is an author at Artificial Intelligence Research Institute specializing in automated reasoning, engineering, and formal methods.

Top concepts

Automated ReasoningEngineeringFormal MethodsFuzzy LogicComputer ScienceSemanticsFormal VerificationGamesLanguageComplexity

Publications per year

2006–2016

12

Publications

12

T-norm-based logics with an independent involutive negation

Tommaso Flaminio, Enrico Marchioni · Fuzzy Sets and Systems · 2006 · 45 citations

Non-classical Logic, Fuzzy Logic, Engineering +5

Rational Verification: From Model Checking to Equilibrium Checking

Michael Wooldridge, Julián Gutiérrez, Paul Harrenstein et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 2016 · 32 citations · Full text

Engineering, Agent Decision-making, Verification +17

Coherent Conditional Probability in a Fuzzy Logic Setting

Lluı́s Godo, Enrico Marchioni · Logic Journal of IGPL · 2006 · 30 citations

Engineering, Classical Logic, Semantics +18

On the Logical Formalization of Possibilistic Counterparts of States over n-valued Lukasiewicz Events

Tommaso Flaminio, Lluı́s Godo, Enrico Marchioni · Journal of Logic and Computation · 2009 · 29 citations · Full text

Craig interpolation for semilinear substructural logics

Enrico Marchioni, George Metcalfe · Mathematical logic quarterly · 2012 · 19 citations

Mathematical Programming, Computational Logic, Algebraic Logic +11

Rows per page

1–5 of 12