Enrico Marchioni : Publications
-
[1]
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
-
[2]
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
-
[3]
SOME NOTES ON ELIMINATION PROPERTIES FOR THE THEORY OF RIESZ MV−CHAINS
E Marchioni
In MATHEMATICA SLOVACA. Vol. 65. Pages 789–800. August, 2015.
Details about SOME NOTES ON ELIMINATION PROPERTIES FOR THE THEORY OF RIESZ MV−CHAINS | BibTeX data for SOME NOTES ON ELIMINATION PROPERTIES FOR THE THEORY OF RIESZ MV−CHAINS | DOI (10.1515/ms-2015-0055) | Link to SOME NOTES ON ELIMINATION PROPERTIES FOR THE THEORY OF RIESZ MV−CHAINS
-
[4]
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
-
[5]
An algebraic characterization of o−minimal and weakly o−minimal MV−chains
G Lenzi and E Marchioni
In Journal of Pure and Applied Algebra. Vol. 218. Pages 90–100. January, 2014.
publisher: Elsevier articletitle: An algebraic characterization of o−minimal and weakly o−minimal MV−chains journaltitle: Journal of Pure and Applied Algebra articlelink: http://dx.doi.org/10.1016/j.jpaa.2013.04.014 content_type: article copyright: Copyright © 2013 Elsevier B.V. All rights reserved.
Details about An algebraic characterization of o−minimal and weakly o−minimal MV−chains | BibTeX data for An algebraic characterization of o−minimal and weakly o−minimal MV−chains | DOI (10.1016/j.jpaa.2013.04.014)
-
[6]
Łukasiewicz games
E Marchioni and M Wooldridge
In 13th International Conference on Autonomous Agents and Multiagent Systems‚ AAMAS 2014. Vol. 1. Pages 837–844. January, 2014.
Details about Łukasiewicz games | BibTeX data for Łukasiewicz games
-
[7]
Logics for belief functions on MV−algebras
T Flaminio‚ L Godo and E Marchioni
In International Journal of Approximate Reasoning. Vol. 54. Pages 491–512. June, 2013.
publisher: Elsevier articletitle: Logics for belief functions on MV−algebras journaltitle: International Journal of Approximate Reasoning articlelink: http://dx.doi.org/10.1016/j.ijar.2012.08.006 content_type: article copyright: Copyright © 2012 Elsevier Inc. All rights reserved.
Details about Logics for belief functions on MV−algebras | BibTeX data for Logics for belief functions on MV−algebras | DOI (10.1016/j.ijar.2012.08.006)
-
[8]
Logics in Artificial Intelligence
L Godo‚ E Marchioni and P Pardo
In Logics in Artificial Intelligence. Pages 242–254. Springer−Verlag. September, 2012.
Details about Logics in Artificial Intelligence | BibTeX data for Logics in Artificial Intelligence
-
[9]
Amalgamation through quantifier elimination for varieties of commutative residuated lattices
E Marchioni
In Archive for Mathematical Logic. Vol. 51. Pages 15–34. February, 2012.
Details about Amalgamation through quantifier elimination for varieties of commutative residuated lattices | BibTeX data for Amalgamation through quantifier elimination for varieties of commutative residuated lattices | DOI (10.1007/s00153-011-0251-x)
-
[10]
Geometrical aspects of possibility measures on finite domain MV−clans
T Flaminio‚ L Godo and E Marchioni
In Soft Computing. Vol. 16. Pages 1863–1873. November, 2012.
Details about Geometrical aspects of possibility measures on finite domain MV−clans | BibTeX data for Geometrical aspects of possibility measures on finite domain MV−clans | DOI (10.1007/s00500-012-0838-0)
-
[11]
Craig interpolation for semilinear substructural logics
E Marchioni and G Metcalfe
In Mathematical Logic Quarterly. Vol. 58. Pages 468–481. November, 2012.
Details about Craig interpolation for semilinear substructural logics | BibTeX data for Craig interpolation for semilinear substructural logics | DOI (10.1002/malq.201200004)
-
[12]
Quantifier Elimination and Other Model−Theoretic Properties of BL−Algebras
T Cortonesi‚ E Marchioni and F Montagna
In Notre Dame Journal of Formal Logic. Vol. 52. Pages 339–379. July, 2011.
Details about Quantifier Elimination and Other Model−Theoretic Properties of BL−Algebras | BibTeX data for Quantifier Elimination and Other Model−Theoretic Properties of BL−Algebras | DOI (10.1215/00294527-1499336)
-
[13]
On the Logical Formalization of Possibilistic Counterparts of States over n−valued Lukasiewicz Events
T Flaminio‚ L Godo and E Marchioni
In Journal of Logic and Computation. Vol. 21. Pages 429–446. June, 2011.
Details about On the Logical Formalization of Possibilistic Counterparts of States over n−valued Lukasiewicz Events | BibTeX data for On the Logical Formalization of Possibilistic Counterparts of States over n−valued Lukasiewicz Events | DOI (10.1093/logcom/exp012)
-
[14]
Advances in the theory of L algebras
E Marchioni and L Spada
In Logic Journal of IGPL. Vol. 19. Pages 476–489. June, 2011.
Details about Advances in the theory of L algebras | BibTeX data for Advances in the theory of L algebras | DOI (10.1093/jigpal/jzp089)
-
[15]
Extending possibilistic logic over Gödel logic
P Dellunde‚ L Godo and E Marchioni
In International Journal of Approximate Reasoning. Vol. 52. Pages 63–75. January, 2011.
Details about Extending possibilistic logic over Gödel logic | BibTeX data for Extending possibilistic logic over Gödel logic | DOI (10.1016/j.ijar.2010.08.014)
-
[16]
Reasoning about uncertainty of fuzzy events: an overview
T Flaminio‚ L Godo and E Marchioni
In P Cintula‚ C Fermüller‚ L Godo and P Hájek, editors, Understanding Vagueness: Logical‚ Philosophical‚ and Linguistic Perspectives. Pages 367–400. College Publications. 2011.
Details about Reasoning about uncertainty of fuzzy events: an overview | BibTeX data for Reasoning about uncertainty of fuzzy events: an overview
-
[17]
Logics with enriched language
F Esteva‚ L Godo and E Marchioni
In P Cintula‚ P Hájek and C Noguera, editors, Handbook of Mathematical Fuzzy Logic. Vol. 2 of Studies in Logic. Pages 627–712. College Publications. 2011.
Details about Logics with enriched language | BibTeX data for Logics with enriched language
-
[18]
Rings and Gödel algebras
LP Belluce‚ A Di Nola and E Marchioni
In Algebra universalis. Vol. 64. Pages 103–116. October, 2010.
Details about Rings and Gödel algebras | BibTeX data for Rings and Gödel algebras | DOI (10.1007/s00012-010-0092-1)
-
[19]
Ordered fields and −algebras
E Marchioni
In Soft Computing. Vol. 13. Pages 559–564. April, 2009.
Details about Ordered fields and −algebras | BibTeX data for Ordered fields and −algebras | DOI (10.1007/s00500-008-0315-y)
-
[20]
On triangular norms and uninorms definable in Ł
E Marchioni and F Montagna
In International Journal of Approximate Reasoning. Vol. 47. Pages 179–201. February, 2008.
Details about On triangular norms and uninorms definable in Ł | BibTeX data for On triangular norms and uninorms definable in Ł | DOI (10.1016/j.ijar.2007.04.003)
-
[21]
On Computational Complexity of Semilinear Varieties
E Marchioni
In Journal of Logic and Computation. Vol. 18. Pages 941–958. October, 2008.
Details about On Computational Complexity of Semilinear Varieties | BibTeX data for On Computational Complexity of Semilinear Varieties | DOI (10.1093/logcom/exn017)
-
[22]
Complexity and Definability Issues in LFormula
E Marchioni and F Montagna
In Journal of Logic and Computation. Vol. 17. Pages 311–331. April, 2007.
Details about Complexity and Definability Issues in LFormula | BibTeX data for Complexity and Definability Issues in LFormula | DOI (10.1093/logcom/exl044)
-
[23]
Mixed Rational Assessments of Possibility and Probability Measures
T Flaminio and E Marchioni
In Electronic Notes in Theoretical Computer Science. Vol. 169. No. C. Pages 33–42. March, 2007.
Details about Mixed Rational Assessments of Possibility and Probability Measures | BibTeX data for Mixed Rational Assessments of Possibility and Probability Measures | DOI (10.1016/j.entcs.2006.07.027)
-
[24]
Coherent Conditional Probability in a Fuzzy Logic Setting
L Godo and E Marchioni
In Logic Journal of IGPL. Vol. 14. Pages 457–481. September, 2006.
Details about Coherent Conditional Probability in a Fuzzy Logic Setting | BibTeX data for Coherent Conditional Probability in a Fuzzy Logic Setting | DOI (10.1093/jigpal/jzl019)
-
[25]
T−norm−based logics with an independent involutive negation
T Flaminio and E Marchioni
In Fuzzy Sets and Systems. Vol. 157. Pages 3125–3144. December, 2006.
Details about T−norm−based logics with an independent involutive negation | BibTeX data for T−norm−based logics with an independent involutive negation | DOI (10.1016/j.fss.2006.06.016)
-
[26]
Possibilistic conditioning framed in fuzzy logics
E Marchioni
In International Journal of Approximate Reasoning. Vol. 43. Pages 133–165. October, 2006.
Details about Possibilistic conditioning framed in fuzzy logics | BibTeX data for Possibilistic conditioning framed in fuzzy logics | DOI (10.1016/j.ijar.2006.03.002)
-
[27]
Possibilistic expectation in the selection of multiple Nash equilibria
H Hosni and E Marchioni
In 11th Conference on Logic and the Foundations of Game and Decision Theory‚ 2014. Bergen‚ Norway.
Details about Possibilistic expectation in the selection of multiple Nash equilibria | BibTeX data for Possibilistic expectation in the selection of multiple Nash equilibria
-
[28]
Logics for Non−Cooperative Games with Expectations
L Godo and E Marchioni
In Proceedings of the Eleventh European Workshop on Multi−Agent Systems‚ 2013. Toulouse‚ France.
Details about Logics for Non−Cooperative Games with Expectations | BibTeX data for Logics for Non−Cooperative Games with Expectations
-
[29]
Logics for belief functions on MV−algebras
T Flaminio‚ L Godo and E Marchioni
In ECAI−2012 Workshop on Weighted Logics for Artificial Intelligence‚ 2012. Montpellier‚ France.
Details about Logics for belief functions on MV−algebras | BibTeX data for Logics for belief functions on MV−algebras
-
[30]
Interpolation properties for Uninorm based logics
E Marchioni and G Metcalfe
In Proceedings of the ISMVL‚ 2010. Barcelona‚ Spain.
Details about Interpolation properties for Uninorm based logics | BibTeX data for Interpolation properties for Uninorm based logics
-
[31]
Games for the Strategic Influence of Expectations
L Godo and E Marchioni
In roceedings of the 2nd International Workshop on Strategic Reasoning‚ 2014. Grenoble‚ France. Electronic Proceedings in Theoretical Computer Science.
Details about Games for the Strategic Influence of Expectations | BibTeX data for Games for the Strategic Influence of Expectations
-
[32]
Belief Functions on MV−algebras of Fuzzy Events Based on Fuzzy Evidence
T Flaminio‚ L Godo and E Marchioni
In Lecture Notes in Computer Science. Pages 628–639. Springer−Verlag.
Details about Belief Functions on MV−algebras of Fuzzy Events Based on Fuzzy Evidence | BibTeX data for Belief Functions on MV−algebras of Fuzzy Events Based on Fuzzy Evidence