Enrico Marchioni

37 papers A* 1A 2B 2C 4Journal 22Unranked 6
YearRankTypeTitle / Venue / Authors
2025 — conf
Quantifiers for Differentiable Logics in Rocq (Extended Abstract).
SAIV
Jairo Miguel Marulanda-Giraldo, Ekaterina Komendantskaya, Alessandro Bruni, Reynald Affeldt, Matteo Capucci, Enrico Marchioni
2025 A conf
Resource Task Games.
AAMAS
Jessica L. Newman, Enrico H. Gerding, Enrico Marchioni, Baharak Rastegari
2024 J jnl
Some notes on possibilistic randomisation with t-norm based joint distributions in strategic-form games.
Int. J. Approx. Reason.
Esther Anna Corsi, Hykel Hosni, Enrico Marchioni
2022 J jnl
From Intelligent Agents to Trustworthy Human-Centred Multiagent Systems.
CoRR
Mohammad Divband Soorati, Enrico H. Gerding, Enrico Marchioni, Pavel Naumov, Timothy J. Norman, Sarvapali D. Ramchurn, Bahar Rastegari, Adam J. Sobey, Sebastian Stein, Danesh Tarpore, Vahid Yazdanpanah, Jie Zhang
2022 J jnl
From intelligent agents to trustworthy human-centred multiagent systems.
AI Commun.
Mohammad Divband Soorati, Enrico H. Gerding, Enrico Marchioni, Pavel Naumov, Timothy J. Norman, Sarvapali D. Ramchurn, Bahar Rastegari, Adam J. Sobey, Sebastian Stein, Danesh Tarpore, Vahid Yazdanpanah, Jie Zhang
2019 J jnl
Possibilistic randomisation in strategic-form games.
Int. J. Approx. Reason.
Hykel Hosni, Enrico Marchioni
2019 J jnl
Łukasiewicz logics for cooperative games.
Artif. Intell.
Enrico Marchioni, Michael J. Wooldridge
2016 J jnl
On Deductive Interpolation for the Weak Nilpotent Minimum logic.
Fuzzy Sets Syst.
Enrico Marchioni
2016 A* conf
Rational Verification: From Model Checking to Equilibrium Checking.
AAAI
Michael J. Wooldridge, Julian Gutierrez, Paul Harrenstein, Enrico Marchioni, Giuseppe Perelli, Alexis Toumi
2015 J jnl
Łukasiewicz Games: A Logic-Based Approach to Quantitative Strategic Interactions.
ACM Trans. Comput. Log.
Enrico Marchioni, Michael J. Wooldridge
2014 — conf
Games for the Strategic Influence of Expectations.
SR
Lluís Godo, Enrico Marchioni
2014 A conf
Lukasiewicz games.
AAMAS
Enrico Marchioni, Michael J. Wooldridge
2013 C conf
Logics for Non-Cooperative Games with Expectations.
EUMAS
Lluís Godo, Enrico Marchioni
2013 J jnl
Logics for belief functions on MV-algebras.
Int. J. Approx. Reason.
Tommaso Flaminio, Lluís Godo, Enrico Marchioni
2012 J jnl
Amalgamation through quantifier elimination for varieties of commutative residuated lattices.
Arch. Math. Log.
Enrico Marchioni
2012 J jnl
Craig interpolation for semilinear substructural logics.
Math. Log. Q.
Enrico Marchioni, George Metcalfe
2012 B conf
Extending a Temporal Defeasible Argumentation Framework with Possibilistic Weights.
JELIA
Lluís Godo, Enrico Marchioni, Pere Pardo
2012 J jnl
Geometrical aspects of possibility measures on finite domain MV-clans.
Soft Comput.
Tommaso Flaminio, Lluís Godo, Enrico Marchioni
2011 J jnl
Advances in the theory of
Log. J. IGPL
Enrico Marchioni, Luca Spada
2011 C conf
Belief Functions on MV-Algebras of Fuzzy Events Based on Fuzzy Evidence.
ECSQARU
Tommaso Flaminio, Lluís Godo, Enrico Marchioni
2011 J jnl
Extending possibilistic logic over Gödel logic.
Int. J. Approx. Reason.
Pilar Dellunde, Lluís Godo, Enrico Marchioni
2011 J jnl
On the Logical Formalization of Possibilistic Counterparts of States over
J. Log. Comput.
Tommaso Flaminio, Lluís Godo, Enrico Marchioni
2011 J jnl
Quantifier Elimination and Other Model-Theoretic Properties of BL-Algebras.
Notre Dame J. Formal Log.
Tommaso Cortonesi, Enrico Marchioni, Franco Montagna
2010 — conf
Interpolation Properties for Uninorm Based Logics.
ISMVL
Enrico Marchioni, George Metcalfe
2009 C conf
Exploring Extensions of Possibilistic Logic over Gödel Logic.
ECSQARU
Pilar Dellunde, Lluís Godo, Enrico Marchioni
2009 J jnl
Ordered fields and LP 1/2 -algebras.
Soft Comput.
Enrico Marchioni
2008 J jnl
On Computational Complexity of Semilinear Varieties.
J. Log. Comput.
Enrico Marchioni
2008 J jnl
On triangular norms and uninorms definable in Pi 1/2.
Int. J. Approx. Reason.
Enrico Marchioni, Franco Montagna
2007 J jnl
Complexity and Definability Issues in L Pi 1/2.
J. Log. Comput.
Enrico Marchioni, Franco Montagna
2007 — conf
Uncertainty as a Modality over t-norm Based Logics.
EUSFLAT Conf. (1)
Enrico Marchioni
2006 J jnl
Coherent Conditional Probability in a Fuzzy Logic Setting.
Log. J. IGPL
Lluís Godo, Enrico Marchioni
2006 — conf
Mixed Rational Assessments of Possibility and Probability Measures.
LMCS
Tommaso Flaminio, Enrico Marchioni
2006 J jnl
Possibilistic conditioning framed in fuzzy logics.
Int. J. Approx. Reason.
Enrico Marchioni
2006 J jnl
T-norm-based logics with an independent involutive negation.
Fuzzy Sets Syst.
Tommaso Flaminio, Enrico Marchioni
2005 C conf
A Logical Treatment of Possibilistic Conditioning.
ECSQARU
Enrico Marchioni
2005 — conf
Extending the Monoidal T-norm Based Logic with an Independent Involutive Negation.
EUSFLAT Conf.
Tommaso Flaminio, Enrico Marchioni
2004 B conf
A Logic for Reasoning About Coherent Conditional Probability: A Modal Fuzzy Logic Approach.
JELIA
Enrico Marchioni, Lluís Godo