BibTeX records: Enrico Marchioni

download as .bib file

@inproceedings{DBLP:conf/ifaamas/NewmanGMR25,
  author       = {Jessica L. Newman and
                  Enrico H. Gerding and
                  Enrico Marchioni and
                  Baharak Rastegari},
  editor       = {Sanmay Das and
                  Ann Now{\'{e}} and
                  Yevgeniy Vorobeychik},
  title        = {Resource Task Games},
  booktitle    = {Proceedings of the 24th International Conference on Autonomous Agents
                  and Multiagent Systems, {AAMAS} 2025, Detroit, MI, USA, May 19-23,
                  2025},
  pages        = {1529--1537},
  publisher    = {International Foundation for Autonomous Agents and Multiagent Systems
                  / {ACM}},
  year         = {2025},
  url          = {https://dl.acm.org/doi/10.5555/3709347.3743787},
  doi          = {10.5555/3709347.3743787},
  timestamp    = {Tue, 29 Jul 2025 14:24:35 +0200},
  biburl       = {https://dblp.org/rec/conf/ifaamas/NewmanGMR25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/saiv/MarulandaGiraldoKBACM25,
  author       = {Jairo Miguel Marulanda{-}Giraldo and
                  Ekaterina Komendantskaya and
                  Alessandro Bruni and
                  Reynald Affeldt and
                  Matteo Capucci and
                  Enrico Marchioni},
  editor       = {Mirco Giacobbe and
                  Anna Lukina},
  title        = {Quantifiers for Differentiable Logics in Rocq (Extended Abstract)},
  booktitle    = {{AI} Verification - Second International Symposium, {SAIV} 2025, Zagreb,
                  Croatia, July 21-22, 2025, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {15947},
  pages        = {227--237},
  publisher    = {Springer},
  year         = {2025},
  url          = {https://doi.org/10.1007/978-3-031-99991-8\_12},
  doi          = {10.1007/978-3-031-99991-8\_12},
  timestamp    = {Sat, 08 Nov 2025 10:18:35 +0100},
  biburl       = {https://dblp.org/rec/conf/saiv/MarulandaGiraldoKBACM25.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijar/CorsiHM24,
  author       = {Esther Anna Corsi and
                  Hykel Hosni and
                  Enrico Marchioni},
  title        = {Some notes on possibilistic randomisation with t-norm based joint
                  distributions in strategic-form games},
  journal      = {Int. J. Approx. Reason.},
  volume       = {166},
  pages        = {109109},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.ijar.2023.109109},
  doi          = {10.1016/J.IJAR.2023.109109},
  timestamp    = {Fri, 08 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijar/CorsiHM24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/SooratiGMNNRRSS22,
  author       = {Mohammad Divband Soorati and
                  Enrico H. Gerding and
                  Enrico Marchioni and
                  Pavel Naumov and
                  Timothy J. Norman and
                  Sarvapali D. Ramchurn and
                  Bahar Rastegari and
                  Adam J. Sobey and
                  Sebastian Stein and
                  Danesh Tarpore and
                  Vahid Yazdanpanah and
                  Jie Zhang},
  title        = {From intelligent agents to trustworthy human-centred multiagent systems},
  journal      = {{AI} Commun.},
  volume       = {35},
  number       = {4},
  pages        = {443--457},
  year         = {2022},
  url          = {https://doi.org/10.3233/AIC-220127},
  doi          = {10.3233/AIC-220127},
  timestamp    = {Mon, 03 Mar 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/aicom/SooratiGMNNRRSS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-02260,
  author       = {Mohammad Divband Soorati and
                  Enrico H. Gerding and
                  Enrico Marchioni and
                  Pavel Naumov and
                  Timothy J. Norman and
                  Sarvapali D. Ramchurn and
                  Bahar Rastegari and
                  Adam J. Sobey and
                  Sebastian Stein and
                  Danesh Tarpore and
                  Vahid Yazdanpanah and
                  Jie Zhang},
  title        = {From Intelligent Agents to Trustworthy Human-Centred Multiagent Systems},
  journal      = {CoRR},
  volume       = {abs/2210.02260},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2210.02260},
  doi          = {10.48550/ARXIV.2210.02260},
  eprinttype    = {arXiv},
  eprint       = {2210.02260},
  timestamp    = {Sun, 06 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2210-02260.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/MarchioniW19,
  author       = {Enrico Marchioni and
                  Michael J. Wooldridge},
  title        = {{\L}ukasiewicz logics for cooperative games},
  journal      = {Artif. Intell.},
  volume       = {275},
  pages        = {252--278},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.artint.2019.03.003},
  doi          = {10.1016/J.ARTINT.2019.03.003},
  timestamp    = {Wed, 25 Feb 2026 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ai/MarchioniW19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijar/HosniM19,
  author       = {Hykel Hosni and
                  Enrico Marchioni},
  title        = {Possibilistic randomisation in strategic-form games},
  journal      = {Int. J. Approx. Reason.},
  volume       = {114},
  pages        = {204--225},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.ijar.2019.08.008},
  doi          = {10.1016/J.IJAR.2019.08.008},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijar/HosniM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/Marchioni16,
  author       = {Enrico Marchioni},
  title        = {On Deductive Interpolation for the Weak Nilpotent Minimum logic},
  journal      = {Fuzzy Sets Syst.},
  volume       = {292},
  pages        = {318--332},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.fss.2015.12.016},
  doi          = {10.1016/J.FSS.2015.12.016},
  timestamp    = {Wed, 19 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fss/Marchioni16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/WooldridgeGHMPT16,
  author       = {Michael J. Wooldridge and
                  Julian Gutierrez and
                  Paul Harrenstein and
                  Enrico Marchioni and
                  Giuseppe Perelli and
                  Alexis Toumi},
  editor       = {Dale Schuurmans and
                  Michael P. Wellman},
  title        = {Rational Verification: From Model Checking to Equilibrium Checking},
  booktitle    = {Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence,
                  February 12-17, 2016, Phoenix, Arizona, {USA}},
  pages        = {4184--4191},
  publisher    = {{AAAI} Press},
  year         = {2016},
  url          = {https://doi.org/10.1609/aaai.v30i1.9878},
  doi          = {10.1609/AAAI.V30I1.9878},
  timestamp    = {Wed, 25 Feb 2026 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aaai/WooldridgeGHMPT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/MarchioniW15,
  author       = {Enrico Marchioni and
                  Michael J. Wooldridge},
  title        = {{\L}ukasiewicz Games: {A} Logic-Based Approach to Quantitative Strategic
                  Interactions},
  journal      = {{ACM} Trans. Comput. Log.},
  volume       = {16},
  number       = {4},
  pages        = {33:1--33:44},
  year         = {2015},
  url          = {https://doi.org/10.1145/2783436},
  doi          = {10.1145/2783436},
  timestamp    = {Wed, 25 Feb 2026 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tocl/MarchioniW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/MarchioniW14,
  author       = {Enrico Marchioni and
                  Michael J. Wooldridge},
  editor       = {Ana L. C. Bazzan and
                  Michael N. Huhns and
                  Alessio Lomuscio and
                  Paul Scerri},
  title        = {Lukasiewicz games},
  booktitle    = {International conference on Autonomous Agents and Multi-Agent Systems,
                  {AAMAS} '14, Paris, France, May 5-9, 2014},
  pages        = {837--844},
  publisher    = {{IFAAMAS/ACM}},
  year         = {2014},
  url          = {http://dl.acm.org/citation.cfm?id=2615866},
  timestamp    = {Fri, 26 Apr 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/atal/MarchioniW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/GodoM14,
  author       = {Llu{\'{\i}}s Godo and
                  Enrico Marchioni},
  editor       = {Fabio Mogavero and
                  Aniello Murano and
                  Moshe Y. Vardi},
  title        = {Games for the Strategic Influence of Expectations},
  booktitle    = {Proceedings 2nd International Workshop on Strategic Reasoning, {SR}
                  2014, Grenoble, France, April 5-6, 2014},
  series       = {{EPTCS}},
  volume       = {146},
  pages        = {9--15},
  year         = {2014},
  url          = {https://doi.org/10.4204/EPTCS.146.2},
  doi          = {10.4204/EPTCS.146.2},
  timestamp    = {Sun, 01 Feb 2026 13:35:44 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/GodoM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijar/FlaminioGM13,
  author       = {Tommaso Flaminio and
                  Llu{\'{\i}}s Godo and
                  Enrico Marchioni},
  title        = {Logics for belief functions on MV-algebras},
  journal      = {Int. J. Approx. Reason.},
  volume       = {54},
  number       = {4},
  pages        = {491--512},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.ijar.2012.08.006},
  doi          = {10.1016/J.IJAR.2012.08.006},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijar/FlaminioGM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eumas/GodoM13,
  author       = {Llu{\'{\i}}s Godo and
                  Enrico Marchioni},
  editor       = {Emiliano Lorini},
  title        = {Logics for Non-Cooperative Games with Expectations},
  booktitle    = {Proceedings of the Eleventh European Workshop on Multi-Agent Systems
                  {(EUMAS} 2013), Toulouse, France, December 12-13, 2013},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1113},
  pages        = {82--96},
  publisher    = {CEUR-WS.org},
  year         = {2013},
  url          = {https://ceur-ws.org/Vol-1113/paper7.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:57 +0100},
  biburl       = {https://dblp.org/rec/conf/eumas/GodoM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Marchioni12,
  author       = {Enrico Marchioni},
  title        = {Amalgamation through quantifier elimination for varieties of commutative
                  residuated lattices},
  journal      = {Arch. Math. Log.},
  volume       = {51},
  number       = {1-2},
  pages        = {15--34},
  year         = {2012},
  url          = {https://doi.org/10.1007/s00153-011-0251-x},
  doi          = {10.1007/S00153-011-0251-X},
  timestamp    = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aml/Marchioni12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/MarchioniM12,
  author       = {Enrico Marchioni and
                  George Metcalfe},
  title        = {Craig interpolation for semilinear substructural logics},
  journal      = {Math. Log. Q.},
  volume       = {58},
  number       = {6},
  pages        = {468--481},
  year         = {2012},
  url          = {https://doi.org/10.1002/malq.201200004},
  doi          = {10.1002/MALQ.201200004},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/MarchioniM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/soco/FlaminioGM12,
  author       = {Tommaso Flaminio and
                  Llu{\'{\i}}s Godo and
                  Enrico Marchioni},
  title        = {Geometrical aspects of possibility measures on finite domain MV-clans},
  journal      = {Soft Comput.},
  volume       = {16},
  number       = {11},
  pages        = {1863--1873},
  year         = {2012},
  url          = {https://doi.org/10.1007/s00500-012-0838-0},
  doi          = {10.1007/S00500-012-0838-0},
  timestamp    = {Fri, 05 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/soco/FlaminioGM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/GodoMP12,
  author       = {Llu{\'{\i}}s Godo and
                  Enrico Marchioni and
                  Pere Pardo},
  editor       = {Luis Fari{\~{n}}as del Cerro and
                  Andreas Herzig and
                  J{\'{e}}r{\^{o}}me Mengin},
  title        = {Extending a Temporal Defeasible Argumentation Framework with Possibilistic
                  Weights},
  booktitle    = {Logics in Artificial Intelligence - 13th European Conference, {JELIA}
                  2012, Toulouse, France, September 26-28, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7519},
  pages        = {242--254},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33353-8\_19},
  doi          = {10.1007/978-3-642-33353-8\_19},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jelia/GodoMP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/MarchioniS11,
  author       = {Enrico Marchioni and
                  Luca Spada},
  title        = {Advances in the theory of \emph{{\(\mu\)}}{\L}{\(\Pi\)} algebras},
  journal      = {Log. J. {IGPL}},
  volume       = {19},
  number       = {3},
  pages        = {476--489},
  year         = {2011},
  url          = {https://doi.org/10.1093/jigpal/jzp089},
  doi          = {10.1093/JIGPAL/JZP089},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/igpl/MarchioniS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijar/DellundeGM11,
  author       = {Pilar Dellunde and
                  Llu{\'{\i}}s Godo and
                  Enrico Marchioni},
  title        = {Extending possibilistic logic over G{\"{o}}del logic},
  journal      = {Int. J. Approx. Reason.},
  volume       = {52},
  number       = {1},
  pages        = {63--75},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.ijar.2010.08.014},
  doi          = {10.1016/J.IJAR.2010.08.014},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijar/DellundeGM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/FlaminioGM11,
  author       = {Tommaso Flaminio and
                  Llu{\'{\i}}s Godo and
                  Enrico Marchioni},
  title        = {On the Logical Formalization of Possibilistic Counterparts of States
                  over \emph{n}-valued {\L}ukasiewicz Events},
  journal      = {J. Log. Comput.},
  volume       = {21},
  number       = {3},
  pages        = {429--446},
  year         = {2011},
  url          = {https://doi.org/10.1093/logcom/exp012},
  doi          = {10.1093/LOGCOM/EXP012},
  timestamp    = {Fri, 05 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/logcom/FlaminioGM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/CortonesiMM11,
  author       = {Tommaso Cortonesi and
                  Enrico Marchioni and
                  Franco Montagna},
  title        = {Quantifier Elimination and Other Model-Theoretic Properties of BL-Algebras},
  journal      = {Notre Dame J. Formal Log.},
  volume       = {52},
  number       = {4},
  pages        = {339--379},
  year         = {2011},
  url          = {https://doi.org/10.1215/00294527-1499336},
  doi          = {10.1215/00294527-1499336},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ndjfl/CortonesiMM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/FlaminioGM11,
  author       = {Tommaso Flaminio and
                  Llu{\'{\i}}s Godo and
                  Enrico Marchioni},
  editor       = {Weiru Liu},
  title        = {Belief Functions on MV-Algebras of Fuzzy Events Based on Fuzzy Evidence},
  booktitle    = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty
                  - 11th European Conference, {ECSQARU} 2011, Belfast, UK, June 29-July
                  1, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6717},
  pages        = {628--639},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22152-1\_53},
  doi          = {10.1007/978-3-642-22152-1\_53},
  timestamp    = {Fri, 05 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecsqaru/FlaminioGM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/MarchioniM10,
  author       = {Enrico Marchioni and
                  George Metcalfe},
  title        = {Interpolation Properties for Uninorm Based Logics},
  booktitle    = {40th {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
                  2010, Barcelona, Spain, 26-28 May 2010},
  pages        = {205--210},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/ISMVL.2010.46},
  doi          = {10.1109/ISMVL.2010.46},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/MarchioniM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/soco/Marchioni09,
  author       = {Enrico Marchioni},
  title        = {Ordered fields and {LP} 1/2 -algebras},
  journal      = {Soft Comput.},
  volume       = {13},
  number       = {6},
  pages        = {559--564},
  year         = {2009},
  url          = {https://doi.org/10.1007/s00500-008-0315-y},
  doi          = {10.1007/S00500-008-0315-Y},
  timestamp    = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/soco/Marchioni09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/DellundeGM09,
  author       = {Pilar Dellunde and
                  Llu{\'{\i}}s Godo and
                  Enrico Marchioni},
  editor       = {Claudio Sossai and
                  Gaetano Chemello},
  title        = {Exploring Extensions of Possibilistic Logic over G{\"{o}}del
                  Logic},
  booktitle    = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty,
                  10th European Conference, {ECSQARU} 2009, Verona, Italy, July 1-3,
                  2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5590},
  pages        = {923--934},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-02906-6\_79},
  doi          = {10.1007/978-3-642-02906-6\_79},
  timestamp    = {Fri, 05 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecsqaru/DellundeGM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijar/MarchioniM08,
  author       = {Enrico Marchioni and
                  Franco Montagna},
  title        = {On triangular norms and uninorms definable in Pi 1/2},
  journal      = {Int. J. Approx. Reason.},
  volume       = {47},
  number       = {2},
  pages        = {179--201},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.ijar.2007.04.003},
  doi          = {10.1016/J.IJAR.2007.04.003},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijar/MarchioniM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Marchioni08,
  author       = {Enrico Marchioni},
  title        = {On Computational Complexity of Semilinear Varieties},
  journal      = {J. Log. Comput.},
  volume       = {18},
  number       = {6},
  pages        = {941--958},
  year         = {2008},
  url          = {https://doi.org/10.1093/logcom/exn017},
  doi          = {10.1093/LOGCOM/EXN017},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/logcom/Marchioni08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/MarchioniM07,
  author       = {Enrico Marchioni and
                  Franco Montagna},
  title        = {Complexity and Definability Issues in {L} Pi 1/2},
  journal      = {J. Log. Comput.},
  volume       = {17},
  number       = {2},
  pages        = {311--331},
  year         = {2007},
  url          = {https://doi.org/10.1093/logcom/exl044},
  doi          = {10.1093/LOGCOM/EXL044},
  timestamp    = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/logcom/MarchioniM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eusflat/Marchioni07,
  author       = {Enrico Marchioni},
  editor       = {Martin Stepnicka and
                  Vil{\'{e}}m Nov{\'{a}}k and
                  Ulrich Bodenhofer},
  title        = {Uncertainty as a Modality over t-norm Based Logics},
  booktitle    = {New Dimensions in Fuzzy Logic and Related Technologies. Proceedings
                  of the 5th {EUSFLAT} Conference, Ostrava, Czech Republic, September
                  11-14, 2007, Volume 1: Invited Lectures and Special Sessions},
  pages        = {169--176},
  publisher    = {Universitas Ostraviensis},
  year         = {2007},
  url          = {http://www.eusflat.org/proceedings/EUSFLAT\_2007/papers/Marchioni\_Enrico\_(159).pdf},
  timestamp    = {Thu, 04 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/eusflat/Marchioni07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/FlaminioM06,
  author       = {Tommaso Flaminio and
                  Enrico Marchioni},
  title        = {T-norm-based logics with an independent involutive negation},
  journal      = {Fuzzy Sets Syst.},
  volume       = {157},
  number       = {24},
  pages        = {3125--3144},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.fss.2006.06.016},
  doi          = {10.1016/J.FSS.2006.06.016},
  timestamp    = {Wed, 19 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fss/FlaminioM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/GodoM06,
  author       = {Llu{\'{\i}}s Godo and
                  Enrico Marchioni},
  title        = {Coherent Conditional Probability in a Fuzzy Logic Setting},
  journal      = {Log. J. {IGPL}},
  volume       = {14},
  number       = {3},
  pages        = {457--481},
  year         = {2006},
  url          = {https://doi.org/10.1093/jigpal/jzl019},
  doi          = {10.1093/JIGPAL/JZL019},
  timestamp    = {Fri, 05 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/igpl/GodoM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijar/Marchioni06,
  author       = {Enrico Marchioni},
  title        = {Possibilistic conditioning framed in fuzzy logics},
  journal      = {Int. J. Approx. Reason.},
  volume       = {43},
  number       = {2},
  pages        = {133--165},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.ijar.2006.03.002},
  doi          = {10.1016/J.IJAR.2006.03.002},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijar/Marchioni06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FlaminioM07,
  author       = {Tommaso Flaminio and
                  Enrico Marchioni},
  editor       = {Flavio Corradini and
                  Carlo Toffalori},
  title        = {Mixed Rational Assessments of Possibility and Probability Measures},
  booktitle    = {Proceedings of the Workshop on Logic, Models and Computer Science,
                  {LMCS} 2006, Camerino, Italy, April 20-22, 2006},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {169},
  pages        = {33--42},
  publisher    = {Elsevier},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.entcs.2006.07.027},
  doi          = {10.1016/J.ENTCS.2006.07.027},
  timestamp    = {Tue, 24 Jan 2023 11:23:31 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/FlaminioM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/Marchioni05,
  author       = {Enrico Marchioni},
  editor       = {Llu{\'{\i}}s Godo},
  title        = {A Logical Treatment of Possibilistic Conditioning},
  booktitle    = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty,
                  8th European Conference, {ECSQARU} 2005, Barcelona, Spain, July 6-8,
                  2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3571},
  pages        = {701--713},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11518655\_59},
  doi          = {10.1007/11518655\_59},
  timestamp    = {Fri, 05 Jun 2020 11:50:47 +0200},
  biburl       = {https://dblp.org/rec/conf/ecsqaru/Marchioni05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eusflat/FlaminioM05,
  author       = {Tommaso Flaminio and
                  Enrico Marchioni},
  editor       = {Eduard Montseny and
                  Pilar Sobrevilla},
  title        = {Extending the Monoidal T-norm Based Logic with an Independent Involutive
                  Negation},
  booktitle    = {Proceedings of the Joint 4th Conference of the European Society for
                  Fuzzy Logic and Technology and the 11th Rencontres Francophones sur
                  la Logique Floue et ses Applications, Barcelona, Spain, September
                  7-9, 2005},
  pages        = {860--865},
  publisher    = {Universidad Polytecnica de Catalunya},
  year         = {2005},
  url          = {http://www.eusflat.org/proceedings/EUSFLAT-LFA\_2005/papers/JEL136.pdf},
  timestamp    = {Thu, 04 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/eusflat/FlaminioM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/MarchioniG04,
  author       = {Enrico Marchioni and
                  Llu{\'{\i}}s Godo},
  editor       = {Jos{\'{e}} J{\'{u}}lio Alferes and
                  Jo{\~{a}}o Alexandre Leite},
  title        = {A Logic for Reasoning About Coherent Conditional Probability: {A}
                  Modal Fuzzy Logic Approach},
  booktitle    = {Logics in Artificial Intelligence, 9th European Conference, {JELIA}
                  2004, Lisbon, Portugal, September 27-30, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3229},
  pages        = {213--225},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30227-8\_20},
  doi          = {10.1007/978-3-540-30227-8\_20},
  timestamp    = {Tue, 07 May 2024 20:11:09 +0200},
  biburl       = {https://dblp.org/rec/conf/jelia/MarchioniG04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}