Enrico Marchioni : Publications
Click here to download all publications in a single bibtex file
@article{marchioni2016onlogic,
title = "On Deductive Interpolation for the Weak Nilpotent Minimum logic",
author = "Marchioni, E",
year = "2016",
issn = "0165-0114",
journal = "FUZZY SETS AND SYSTEMS",
month = "Jun",
pages = "318--332",
url = "http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2\&SrcApp=PARTNER_APP\&SrcAuth=LinksAMR\&KeyUT=WOS:000371786900021\&DestLinkType=FullRecord\&DestApp=ALL_WOS\&UsrCustomerID=4fd6f7d59a501f9b8bac2be37914c43e",
volume = "292",
doi = "10.1016/j.fss.2015.12.016",
}
@inproceedings{wooldridge2016rationalchecking,
title = "Rational Verification: From Model Checking to Equilibrium Checking",
author = "Wooldridge, M and Gutierrez, J and Harrenstein, P and Marchioni, E and Perelli, G and Toumi, A",
year = "2016",
booktitle = "Thirtieth AAAI Conference on Artificial Intelligence",
month = "Feb",
}
@article{marchioni2015somemv-chains,
title = "SOME NOTES ON ELIMINATION PROPERTIES FOR THE THEORY OF RIESZ MV-CHAINS",
author = "Marchioni, E",
year = "2015",
issn = "0139-9918",
journal = "MATHEMATICA SLOVACA",
month = "Aug",
pages = "789--800",
url = "http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2\&SrcApp=PARTNER_APP\&SrcAuth=LinksAMR\&KeyUT=WOS:000365543500007\&DestLinkType=FullRecord\&DestApp=ALL_WOS\&UsrCustomerID=4fd6f7d59a501f9b8bac2be37914c43e",
volume = "65",
doi = "10.1515/ms-2015-0055",
}
@article{marchioni2015lukasiewiczinteractions,
title = "Lukasiewicz Games: A Logic-Based Approach to Quantitative Strategic Interactions",
author = "Marchioni, E and Wooldridge, M",
year = "2015",
issn = "1529-3785",
journal = "ACM TRANSACTIONS ON COMPUTATIONAL LOGIC",
month = "Nov",
number = "ARTN 33",
url = "http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2\&SrcApp=PARTNER_APP\&SrcAuth=LinksAMR\&KeyUT=WOS:000365216500006\&DestLinkType=FullRecord\&DestApp=ALL_WOS\&UsrCustomerID=4fd6f7d59a501f9b8bac2be37914c43e",
volume = "16",
doi = "10.1145/2783436",
}
@article{lenzi2014anmv-chains,
title = "An algebraic characterization of o-minimal and weakly o-minimal MV-chains",
author = "Lenzi, G and Marchioni, E",
year = "2014",
issn = "0022-4049",
journal = "Journal of Pure and Applied Algebra",
month = "Jan",
note = "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.",
pages = "90--100",
volume = "218",
doi = "10.1016/j.jpaa.2013.04.014",
}
@inproceedings{marchioni2014ukasiewiczgames,
title = "Łukasiewicz games",
author = "Marchioni, E and Wooldridge, M",
year = "2014",
booktitle = "13th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2014",
isbn = "9781634391313",
month = "Jan",
pages = "837--844",
volume = "1",
}
@article{flaminio2013logicsmv-algebras,
title = "Logics for belief functions on MV-algebras",
author = "Flaminio, T and Godo, L and Marchioni, E",
year = "2013",
issn = "0888-613X",
journal = "International Journal of Approximate Reasoning",
month = "Jun",
note = "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.",
pages = "491--512",
volume = "54",
doi = "10.1016/j.ijar.2012.08.006",
}
@inproceedings{godo2012logicsintelligence,
title = "Logics in Artificial Intelligence",
author = "Godo, L and Marchioni, E and Pardo, P",
year = "2012",
booktitle = "Logics in Artificial Intelligence",
month = "Sep",
pages = "242--254",
publisher = "Springer-Verlag",
}
@article{marchioni2012amalgamationlattices,
title = "Amalgamation through quantifier elimination for varieties of commutative residuated lattices",
author = "Marchioni, E",
year = "2012",
issn = "0933-5846",
journal = "Archive for Mathematical Logic",
month = "Feb",
pages = "15--34",
volume = "51",
doi = "10.1007/s00153-011-0251-x",
}
@article{flaminio2012geometricalmv-clans,
title = "Geometrical aspects of possibility measures on finite domain MV-clans",
author = "Flaminio, T and Godo, L and Marchioni, E",
year = "2012",
issn = "1432-7643",
journal = "Soft Computing",
month = "Nov",
pages = "1863--1873",
volume = "16",
doi = "10.1007/s00500-012-0838-0",
}
@article{marchioni2012craiglogics,
title = "Craig interpolation for semilinear substructural logics",
author = "Marchioni, E and Metcalfe, G",
year = "2012",
issn = "0942-5616",
journal = "Mathematical Logic Quarterly",
month = "Nov",
pages = "468--481",
volume = "58",
doi = "10.1002/malq.201200004",
}
@article{cortonesi2011quantifierbl-algebras,
title = "Quantifier Elimination and Other Model-Theoretic Properties of BL-Algebras",
author = "Cortonesi, T and Marchioni, E and Montagna, F",
year = "2011",
issn = "0029-4527",
journal = "Notre Dame Journal of Formal Logic",
month = "Jul",
pages = "339--379",
volume = "52",
doi = "10.1215/00294527-1499336",
}
@article{flaminio2011onevents,
title = "On the Logical Formalization of Possibilistic Counterparts of States over n-valued Lukasiewicz Events",
author = "Flaminio, T and Godo, L and Marchioni, E",
year = "2011",
issn = "0955-792X",
journal = "Journal of Logic and Computation",
month = "Jun",
pages = "429--446",
volume = "21",
doi = "10.1093/logcom/exp012",
}
@article{marchioni2011advancesalgebras,
title = "Advances in the theory of L algebras",
author = "Marchioni, E and Spada, L",
year = "2011",
issn = "1367-0751",
journal = "Logic Journal of IGPL",
month = "Jun",
pages = "476--489",
volume = "19",
doi = "10.1093/jigpal/jzp089",
}
@article{dellunde2011extendinglogic,
title = "Extending possibilistic logic over Gödel logic",
author = "Dellunde, P and Godo, L and Marchioni, E",
year = "2011",
issn = "0888-613X",
journal = "International Journal of Approximate Reasoning",
month = "Jan",
pages = "63--75",
volume = "52",
doi = "10.1016/j.ijar.2010.08.014",
}
@incollection{flaminio2011reasoningoverview,
title = "Reasoning about uncertainty of fuzzy events: an overview",
author = "Flaminio, T and Godo, L and Marchioni, E",
year = "2011",
booktitle = "Understanding Vagueness: Logical, Philosophical, and Linguistic Perspectives",
editor = "Cintula, P and Fermüller, C and Godo, L and Hájek, P",
isbn = "9781848900370",
pages = "367--400",
publisher = "College Publications",
}
@incollection{esteva2011logicslanguage,
title = "Logics with enriched language",
author = "Esteva, F and Godo, L and Marchioni, E",
year = "2011",
booktitle = "Handbook of Mathematical Fuzzy Logic",
editor = "Cintula, P and Hájek, P and Noguera, C",
isbn = "9781848900394",
pages = "627--712",
publisher = "College Publications",
series = "Studies in Logic",
volume = "2",
}
@article{belluce2010ringsalgebras,
title = "Rings and Gödel algebras",
author = "Belluce, LP and Di Nola, A and Marchioni, E",
year = "2010",
issn = "0002-5240",
journal = "Algebra universalis",
month = "Oct",
pages = "103--116",
volume = "64",
doi = "10.1007/s00012-010-0092-1",
}
@article{marchioni2009ordered-algebras,
title = "Ordered fields and \$\$\rm \L\Pi\frac12\$\$ -algebras",
author = "Marchioni, E",
year = "2009",
issn = "1432-7643",
journal = "Soft Computing",
month = "Apr",
pages = "559--564",
volume = "13",
doi = "10.1007/s00500-008-0315-y",
}
@article{marchioni2008onmathvariantnormal></mml:mi><mml:mfrac><mml:mrow><mml:mn>1</mml:mn></mml:mrow><mml:mrow><mml:mn>2</mml:mn></mml:mrow></mml:mfrac></mml:mrow></mml:math>,
title = "On triangular norms and uninorms definable in \L$\Pi1\2$",
author = "Marchioni, E and Montagna, F",
year = "2008",
issn = "0888-613X",
journal = "International Journal of Approximate Reasoning",
month = "Feb",
pages = "179--201",
volume = "47",
doi = "10.1016/j.ijar.2007.04.003",
}
@article{marchioni2008onvarieties,
title = "On Computational Complexity of Semilinear Varieties",
author = "Marchioni, E",
year = "2008",
issn = "0955-792X",
journal = "Journal of Logic and Computation",
month = "Oct",
pages = "941--958",
volume = "18",
doi = "10.1093/logcom/exn017",
}
@article{marchioni2007complexitylformula,
title = "Complexity and Definability Issues in LFormula",
author = "Marchioni, E and Montagna, F",
year = "2007",
issn = "0955-792X",
journal = "Journal of Logic and Computation",
month = "Apr",
pages = "311--331",
volume = "17",
doi = "10.1093/logcom/exl044",
}
@article{flaminio2007mixedmeasures,
title = "Mixed Rational Assessments of Possibility and Probability Measures",
author = "Flaminio, T and Marchioni, E",
year = "2007",
issn = "1571-0661",
journal = "Electronic Notes in Theoretical Computer Science",
month = "Mar",
number = "C",
pages = "33--42",
volume = "169",
doi = "10.1016/j.entcs.2006.07.027",
}
@article{godo2006coherentsetting,
title = "Coherent Conditional Probability in a Fuzzy Logic Setting",
author = "Godo, L and Marchioni, E",
year = "2006",
issn = "1367-0751",
journal = "Logic Journal of IGPL",
month = "Sep",
pages = "457--481",
volume = "14",
doi = "10.1093/jigpal/jzl019",
}
@article{flaminio2006t-norm-basednegation,
title = "T-norm-based logics with an independent involutive negation",
author = "Flaminio, T and Marchioni, E",
year = "2006",
issn = "0165-0114",
journal = "Fuzzy Sets and Systems",
month = "Dec",
pages = "3125--3144",
volume = "157",
doi = "10.1016/j.fss.2006.06.016",
}
@article{marchioni2006possibilisticlogics,
title = "Possibilistic conditioning framed in fuzzy logics",
author = "Marchioni, E",
year = "2006",
issn = "0888-613X",
journal = "International Journal of Approximate Reasoning",
month = "Oct",
pages = "133--165",
volume = "43",
doi = "10.1016/j.ijar.2006.03.002",
}
@inproceedings{hosnipossibilisticequilibria,
title = "Possibilistic expectation in the selection of multiple Nash equilibria",
author = "Hosni, H and Marchioni, E",
booktitle = "11th Conference on Logic and the Foundations of Game and Decision Theory, 2014",
organization = "Bergen, Norway",
}
@inproceedings{godologicsexpectations,
title = "Logics for Non-Cooperative Games with Expectations",
author = "Godo, L and Marchioni, E",
booktitle = "Proceedings of the Eleventh European Workshop on Multi-Agent Systems, 2013",
organization = "Toulouse, France",
}
@inproceedings{flaminiologicsmv-algebras,
title = "Logics for belief functions on MV-algebras",
author = "Flaminio, T and Godo, L and Marchioni, E",
booktitle = "ECAI-2012 Workshop on Weighted Logics for Artificial Intelligence, 2012",
organization = "Montpellier, France",
}
@inproceedings{marchioniinterpolationlogics,
title = "Interpolation properties for Uninorm based logics",
author = "Marchioni, E and Metcalfe, G",
booktitle = "Proceedings of the ISMVL, 2010",
organization = "Barcelona, Spain",
}
@inproceedings{godogamesexpectations,
title = "Games for the Strategic Influence of Expectations",
author = "Godo, L and Marchioni, E",
booktitle = "roceedings of the 2nd International Workshop on Strategic Reasoning, 2014",
organization = "Grenoble, France",
publisher = "Electronic Proceedings in Theoretical Computer Science",
}
@inproceedings{flaminiobeliefevidence,
title = "Belief Functions on MV-algebras of Fuzzy Events Based on Fuzzy Evidence",
author = "Flaminio, T and Godo, L and Marchioni, E",
booktitle = "Lecture Notes in Computer Science",
pages = "628--639",
publisher = "Springer-Verlag",
}