### 2022

- P. Baldi and H. Hosni, “A logic-based tractable approximation of probability,” Journal of logic and computation, 2022.

[Bibtex]`@article{2434_926523, author = {Baldi, P. and Hosni, H.}, title = {A logic-based tractable approximation of probability}, year = {2022}, journal = {JOURNAL OF LOGIC AND COMPUTATION}, doi = {10.1093/logcom/exac038} }`

- P. Baldi and H. Hosni, “A logic-based tractable approximation of probability,” Journal of logic and computation, 2022.

[Bibtex]`@article{2434_926523, author = {Baldi, P. and Hosni, H.}, title = {A logic-based tractable approximation of probability}, year = {2022}, journal = {JOURNAL OF LOGIC AND COMPUTATION}, doi = {10.1093/logcom/exac038} }`

- L. Casini and J. Landes, “Confirmation by robustness analysis: a bayesian account,” Erkenntnis, 2022.

[Bibtex]`@article{2434_938149, author = {Casini, L. and Landes, J.}, title = {Confirmation by Robustness Analysis: A Bayesian Account}, year = {2022}, publisher = {Springer}, journal = {ERKENNTNIS}, keywords = {Robustness analysis; Minimal models; Agent-based models; Confirmation; Variety of evidence; Stylized facts of finance;}, doi = {10.1007/s10670-022-00537-7} }`

- E. A. Corsi, T. Flaminio, and H. Hosni, “Towards a unified view on logics for uncertainty,” in Scalable uncertainty management, Springer, 2022, vol. 13562, p. 329–337.

[Bibtex]`@inbook{2434_943267, author = {Corsi, E. A. and Flaminio, T. and Hosni, H.}, title = {Towards a Unified View on Logics for Uncertainty}, year = {2022}, publisher = {Springer}, volume = {13562}, booktitle = {Scalable Uncertainty Management}, keywords = {Fuzzy logic; Dempster-Shafer belief functions; Probability functions; Imprecise probabilities; Modal logic}, doi = {10.1007/978-3-031-18843-5_22}, isbn = {978-3-031-18842-8}, isbn = {978-3-031-18843-5}, pages = {329--337} }`

- E. A. Corsi, “What’s hot in…uncertain reasoning,” The reasoner, vol. 16, iss. 5, p. 42–43, 2022.

[Bibtex]`@article{2434_936813, author = {Corsi, E. A.}, title = {What’s Hot in...Uncertain Reasoning}, year = {2022}, publisher = {University of Kent}, journal = {THE REASONER}, volume = {16}, pages = {42--43}, number = {5} }`

- F. De Prestis, S. Jukola, and J. Landes, “E-synthesis for carcinogenicity assessments: a case study of processed meat,” Journal of evaluation in clinical practice, vol. 28, iss. 5, p. 752–772, 2022.

[Bibtex]`@article{2434_938992, author = {De Prestis, F. and Jukola, S. and Landes, J.}, title = {E-synthesis for carcinogenicity assessments: A case study of processed meat}, year = {2022}, publisher = {Wiley Blackwell Publishing}, journal = {JOURNAL OF EVALUATION IN CLINICAL PRACTICE}, volume = {28}, keywords = {Bayesian network; E-synthesis; cancer; causality; evidence aggregation; meat;}, doi = {10.1111/jep.13697}, pages = {752--772}, number = {5} }`

- J. Landes, “Bayesian epistemology,” Kriterion, vol. 36, iss. 1, p. 1–7, 2022.

[Bibtex]`@article{2434_945277, author = {Landes, J.}, title = {Bayesian Epistemology}, year = {2022}, publisher = {De Gruyter}, journal = {KRITERION}, volume = {36}, doi = {10.1515/krt-2022-0005}, pages = {1--7}, number = {1} }`

- J. Landes, S. Rafiee Rad, and J. Williamson, “Determining maximal entropy functions for objective bayesian inductive logic,” Journal of philosophical logic, 2022.

[Bibtex]`@article{2434_940786, author = {Landes, J. and Rafiee Rad, S. and Williamson, J.}, title = {Determining Maximal Entropy Functions for Objective Bayesian Inductive Logic}, year = {2022}, publisher = {Springer}, journal = {JOURNAL OF PHILOSOPHICAL LOGIC}, keywords = {Entropy; First order logic; Inductive logic; Maximum entropy principle; Probability logic;}, doi = {10.1007/s10992-022-09680-6} }`

- J. Landes and J. Williamson, “Objective bayesian nets for integrating consistent datasets,” The journal of artificial intelligence research, vol. 74, p. 393–458, 2022.

[Bibtex]`@article{2434_937846, author = {Landes, J. and Williamson, J.}, title = {Objective Bayesian Nets for Integrating Consistent Datasets}, year = {2022}, publisher = {AI Access Foundation}, journal = {THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH}, volume = {74}, doi = {10.1613/jair.1.13363}, pages = {393--458} }`

### 2021

- P. Baldi, A. Ciabattoni, and K. -. Adlassnig, “Bilattice cadiag-ii: theory and experimental results,” in Soft computing: biomedical and related applications, Springer science and business media deutschland gmbh, 2021, vol. 981, p. 3–20.

[Bibtex]`@inbook{2434_917265, author = {Baldi, P. and Ciabattoni, A. and Adlassnig, K. -.}, title = {Bilattice CADIAG-II: Theory and Experimental Results}, year = {2021}, publisher = {Springer Science and Business Media Deutschland GmbH}, volume = {981}, booktitle = {Soft Computing: Biomedical and Related Applications}, doi = {10.1007/978-3-030-76620-7_1}, isbn = {978-3-030-76619-1}, isbn = {978-3-030-76620-7}, pages = {3--20} }`

- E. A. Corsi, “Progic 2021: combining probability and logic. 31 august – 3 september (virtual),” The reasoner, vol. 15, iss. 5, p. 37–38, 2021.

[Bibtex]`@article{2434_936787, author = {Corsi, E. A.}, title = {Progic 2021: Combining Probability and Logic. 31 August - 3 September (virtual)}, year = {2021}, publisher = {University of Kent}, journal = {THE REASONER}, volume = {15}, pages = {37--38}, number = {5} }`

- E. A. Corsi, T. Flaminio, and H. Hosni, “Scoring rules for belief functions and imprecise probabilities: a comparison,” in Symbolic and quantitative approaches to reasoning with uncertainty, Springer, 2021, vol. 12897, p. 301–313.

[Bibtex]`@inbook{2434_871297, author = {Corsi, E. A. and Flaminio, T. and Hosni, H.}, title = {Scoring Rules for Belief Functions and Imprecise Probabilities: A Comparison}, year = {2021}, publisher = {Springer}, volume = {12897}, booktitle = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty}, keywords = {Scoring rules; Belief functions; Lower probabilities; Imprecise probabilities; Coherence}, doi = {10.1007/978-3-030-86772-0_22}, isbn = {978-3-030-86771-3}, isbn = {978-3-030-86772-0}, pages = {301--313} }`

- F. A. D’Asaro, P. Baldi, and G. Primiero, “Introducing k-lingo: a k-depth bounded version of asp system clingo,” in Kr2021, Ijcai organization, 2021, p. 661–665.

[Bibtex]`@inbook{2434_901310, author = {D'Asaro, F. A. and Baldi, P. and Primiero, G.}, title = {Introducing k-lingo: a k-depth Bounded Version of ASP System Clingo}, year = {2021}, publisher = {IJCAI Organization}, booktitle = {KR2021}, keywords = {KR and autonomous agents and multi-agent systems; Logic programming, answer set programming; Uncertainty, vagueness, many-valued and fuzzy logics}, url = {https://proceedings.kr.org/2021/65/}, doi = {10.24963/kr.2021/65}, isbn = {978-1-956792-99-7}, pages = {661--665} }`

- F. De Pretis and J. Landes, “Ea³: a softmax algorithm for evidence appraisal aggregation [ea(3): a softmax algorithm for evidence appraisal aggregation],” Plos one, vol. 16, iss. 6, p. 1–23, 2021.

[Bibtex]`@article{2434_938996, author = {De Pretis, F. and Landes, J.}, title = {EA³: A softmax algorithm for evidence appraisal aggregation [EA(3): A softmax algorithm for evidence appraisal aggregation]}, year = {2021}, publisher = {Public Library of Science}, journal = {PLOS ONE}, volume = {16}, keywords = {Bayes Theorem; Decision Making; Evidence-Based Medicine; Humans; Software;}, doi = {10.1371/journal.pone.0253057}, pages = {1--23}, number = {6} }`

- A. Termine, G. Primiero, and F. A. D’Asaro, “Modelling accuracy and trustworthiness of explaining agents,” in Logic, rationality, and interaction, Springer science and business media, 2021, vol. 13039, p. 232–245.

[Bibtex]`@inbook{2434_915395, author = {Termine, A. and Primiero, G. and D'Asaro, F. A.}, title = {Modelling Accuracy and Trustworthiness of Explaining Agents}, year = {2021}, publisher = {Springer Science and Business Media}, volume = {13039}, booktitle = {Logic, Rationality, and Interaction}, keywords = {Accuracy; Explainable AI; Trustworthiness}, doi = {10.1007/978-3-030-88708-7_19}, isbn = {978-3-030-88707-0}, isbn = {978-3-030-88708-7}, pages = {232--245} }`

- A. Termine, A. Antonucci, G. Primiero, and A. Facchini, “Logic and model checking by imprecise probabilistic interpreted systems,” in Multi-agent systems, Springer, 2021, vol. 12802, p. 211–227.

[Bibtex]`@inbook{2434_868337, author = {Termine, A. and Antonucci, A. and Primiero, G. and Facchini, A.}, title = {Logic and Model Checking by Imprecise Probabilistic Interpreted Systems}, year = {2021}, publisher = {Springer}, volume = {12802}, booktitle = {Multi-Agent Systems}, keywords = {Probabilistic Interpreted Systems; Imprecise Markov chains; Imprecise probabilities; Model checking}, doi = {10.1007/978-3-030-82254-5_13}, isbn = {978-3-030-82253-8}, pages = {211--227} }`

- A. Termine, G. Primiero, and F. A. D’Asaro, “Modelling accuracy and trustworthiness of explaining agents,” in Logic, rationality, and interaction, Springer science and business media, 2021, vol. 13039, p. 232–245.

[Bibtex]`@inbook{2434_915395, author = {Termine, A. and Primiero, G. and D'Asaro, F. A.}, title = {Modelling Accuracy and Trustworthiness of Explaining Agents}, year = {2021}, publisher = {Springer Science and Business Media}, volume = {13039}, booktitle = {Logic, Rationality, and Interaction}, keywords = {Accuracy; Explainable AI; Trustworthiness}, doi = {10.1007/978-3-030-88708-7_19}, isbn = {978-3-030-88707-0}, isbn = {978-3-030-88708-7}, pages = {232--245} }`

- A. Termine, A. Antonucci, A. Facchini, and G. Primiero, “Robust model checking with imprecise markov reward models,” in International symposium on imprecise probability: theories and applications, Pmlr, 2021, vol. 147, p. 299–309.

[Bibtex]`@inbook{2434_868341, author = {Termine, A. and Antonucci, A. and Facchini, A. and Primiero, G.}, title = {Robust Model Checking with Imprecise Markov Reward Models}, year = {2021}, publisher = {PMLR}, volume = {147}, booktitle = {International Symposium on Imprecise Probability: Theories and Applications}, keywords = {Probabilistic Computational Tree Logic; Model-Checking, Imprecise Markov Chains; Imprecise Markov Reward Models}, url = {https://proceedings.mlr.press/v147/termine21a.html}, pages = {299--309}, organization ={Society for Imprecise Probability (SIPTA)} }`

### 2020

- T. Flaminio, L. Godo, and H. Hosni, “Boolean algebras of conditionals, probability and logic,” Artificial intelligence, vol. 286, p. 1–35, 2020.

[Bibtex]`@article{2434_743342, author = {Flaminio, T. and Godo, L. and Hosni, H.}, title = {Boolean algebras of conditionals, probability and logic}, year = {2020}, publisher = {Elsevier}, journal = {ARTIFICIAL INTELLIGENCE}, volume = {286}, keywords = {Logic; Conditional Probability; Boolean Algebras}, doi = {10.1016/j.artint.2020.103347}, pages = {1--35} }`

### 2019

- S. C. Fletcher, J. Landes, and R. Poellinger, “Evidence amalgamation in the sciences: an introduction,” Synthese, vol. 196, iss. 8, p. 3163–3188, 2019.

[Bibtex]`@article{2434_943949, author = {Fletcher, S. C. and Landes, J. and Poellinger, R.}, title = {Evidence amalgamation in the sciences: an introduction}, year = {2019}, publisher = {Springer}, journal = {SYNTHESE}, volume = {196}, keywords = {Variety-of-evidence thesis; Meta-analysis; Sensitivity analysis; Extrapolation; External validity; Theory development; Causal inference; Causal theories of cancer}, doi = {10.1007/s11229-018-1840-6}, pages = {3163--3188}, number = {8} }`

### 2018

- E. A. Corsi and C. G. Fermüller, “Connecting fuzzy logic and argumentation frames via logical attack principles,” Soft computing, vol. 23, iss. 7, p. 2255–2270, 2018.

[Bibtex]`@article{2434_936782, author = {Corsi, E. A. and Fermüller, C. G.}, title = {Connecting fuzzy logic and argumentation frames via logical attack principles}, year = {2018}, publisher = {Springer}, journal = {SOFT COMPUTING}, volume = {23}, keywords = {t-norm-based logics; Abstract argumentation; Weighted argumentation frames; Semantics of fuzzy logics}, doi = {10.1007/s00500-018-3513-2}, pages = {2255--2270}, number = {7} }`

- E. A. Corsi and C. Fermueller, “From semi-abstract argumentation to logical consequence,” in Argumentation and inference. 2, College publications, 2018, vol. 77, p. 151–164.

[Bibtex]`@inbook{2434_936785, author = {Corsi, E. A. and Fermueller, C.}, title = {From Semi-Abstract Argumentation to Logical Consequence}, year = {2018}, publisher = {College Publications}, volume = {77}, booktitle = {Argumentation and Inference. 2}, keywords = {abstract argumentation; sequent calculus}, isbn = {978-1-84890-284-8}, pages = {151--164} }`

- T. Flaminio, H. Hosni, and S. Lapenta, “Convex mv-algebras : many-valued logics meet decision theory,” Studia logica, vol. 106, iss. 5, p. 913–945, 2018.

[Bibtex]`@article{2434_503017, author = {Flaminio, T. and Hosni, H. and Lapenta, S.}, title = {Convex MV-algebras : many-valued logics meet decision theory}, year = {2018}, publisher = {Springer}, journal = {STUDIA LOGICA}, volume = {106}, keywords = {MV-algebras; convexity; uncertainty measures; Anscombe–Aumann}, doi = {10.1007/s11225-016-9705-9}, pages = {913--945}, number = {5} }`

- H. Hosni and A. Vulpiani, “Data science and the art of modelling,” Lettera matematica, vol. 6, iss. 2, p. 121–129, 2018.

[Bibtex]`@article{2434_603018, author = {Hosni, H. and Vulpiani, A.}, title = {Data science and the art of modelling}, year = {2018}, publisher = {Springer}, journal = {LETTERA MATEMATICA}, volume = {6}, keywords = {Big data Scientific modelling}, doi = {10.1007/s40329-018-0225-5}, pages = {121--129}, number = {2} }`

- C. Resteghini, A. Trama, E. Borgonovi, H. Hosni, G. Corrao, E. Orlandi, G. Calareso, L. De Cecco, C. Piazza, V. L. Mainardi, and L. Licitra, “Big data in head and neck cancer,” Current treatment options in oncology, vol. 19, iss. 12, p. 1–15, 2018.

[Bibtex]`@article{2434_603026, author = {Resteghini, C. and Trama, A. and Borgonovi, E. and Hosni, H. and Corrao, G. and Orlandi, E. and Calareso, G. and De Cecco, L. and Piazza, C. and Mainardi, V. L. and Licitra, L.}, title = {Big Data in Head and Neck Cancer}, year = {2018}, publisher = {Springer}, journal = {CURRENT TREATMENT OPTIONS IN ONCOLOGY}, volume = {19}, keywords = {Big data; Support vector machine; Machine learning; Head and neck cancer; Genomics; Radiomics; Surgery; Radiotherapy; Oncology; Forecasting; Evidence based medicine; Guidelines; Decision support system}, pages = {1--15}, number = {12} }`

### 2017

- E. A. Corsi and C. Fermüller, “Logical argumentation principles, sequents, and nondeterministic matrices,” in Logic, rationality, and interaction, Springer, 2017, vol. 10455, p. 422–437.

[Bibtex]`@inbook{2434_936810, author = {Corsi, E. A. and Fermüller, C.}, title = {Logical Argumentation Principles, Sequents, and Nondeterministic Matrices}, year = {2017}, publisher = {Springer}, volume = {10455}, booktitle = {Logic, Rationality, and Interaction}, keywords = {Argumentation; Sequent calculus; Nondeterministic matrices}, doi = {10.1007/978-3-662-55665-8_29}, isbn = {978-3-662-55665-8}, pages = {422--437} }`

- L. Licitra, A. Trama, and H. Hosni, “Benefits and risks of machine learning decision support system,” Jama, vol. 318, iss. 23, p. 2354–2354, 2017.

[Bibtex]`@article{2434_549503, author = {Licitra, L. and Trama, A. and Hosni, H.}, title = {Benefits and Risks of Machine Learning Decision Support System}, year = {2017}, publisher = {American Medical Association}, journal = {JAMA}, volume = {318}, keywords = {expert systems; humans; risk assessment; decision support systems, clinical; machine learning; medicine}, doi = {10.1001/jama.2017.16627}, pages = {2354--2354}, number = {23} }`

### 2016

- P. Baldi, “A calculus for rational łukasiewicz logic and related systems,” in Information processing and management of uncertainty in knowledge-based systems, Springer, 2016, vol. 611, p. 136–147.

[Bibtex]`@inbook{2434_875496, author = {Baldi, P.}, title = {A Calculus for Rational Łukasiewicz Logic and Related Systems}, year = {2016}, publisher = {Springer}, volume = {611}, booktitle = {Information Processing and Management of Uncertainty in Knowledge-Based Systems}, keywords = {Fuzzy Logic; Atomic Formula; Truth Function; Propositional Variable; Real Interval;}, doi = {10.1007/978-3-319-40581-0_12}, isbn = {978-3-319-40580-3}, isbn = {978-3-319-40581-0}, pages = {136--147} }`

- E. A. Corsi and F. Montagna, “The rényi-ulam games and many-valued logics,” Fuzzy sets and systems, vol. 301, p. 37–50, 2016.

[Bibtex]`@article{2434_936784, author = {Corsi, E. A. and Montagna, F.}, title = {The Rényi-Ulam games and many-valued logics}, year = {2016}, publisher = {ELSEVIER}, journal = {FUZZY SETS AND SYSTEMS}, volume = {301}, keywords = {The Renyi-Ulam game; Many-valued logics; Multichannel games}, doi = {10.1016/j.fss.2015.09.006}, pages = {37--50} }`

- J. Landes and J. Williamson, “Objective bayesian nets from consistent datasets,” in Bayesian inference and maximum entropy methods in science and engineering, Aip, 2016, vol. 1758, p. 1–8.

[Bibtex]`@inbook{2434_948696, author = {Landes, J. and Williamson, J.}, title = {Objective Bayesian Nets From Consistent Datasets}, year = {2016}, publisher = {AIP}, volume = {1758}, booktitle = {Bayesian inference and maximum entropy methods in science and engineering}, doi = {10.1063/1.4959048}, isbn = {978-0-7354-1415-0}, pages = {1--8} }`

### 2015

- T. Flaminio, L. Godo, and H. Hosni, “Coherence in the aggregate : a betting method for belief functions on many-valued events,” International journal of approximate reasoning, vol. 58, p. 71–86, 2015.

[Bibtex]`@article{2434_326168, author = {Flaminio, T. and Godo, L. and Hosni, H.}, title = {Coherence in the aggregate : a betting method for belief functions on many-valued events}, year = {2015}, publisher = {Elsevier Inc.}, journal = {INTERNATIONAL JOURNAL OF APPROXIMATE REASONING}, volume = {58}, doi = {10.1016/j.ijar.2015.01.001}, pages = {71--86} }`

### 2014

- P. Baldi, “A note on standard completeness for some extensions of uninorm logic,” Soft computing, vol. 18, iss. 8, p. 1463–1470, 2014.

[Bibtex]`@article{2434_875494, author = {Baldi, P.}, title = {A note on standard completeness for some extensions of uninorm logic}, year = {2014}, publisher = {Springer}, journal = {SOFT COMPUTING}, volume = {18}, keywords = {Density elimination; Fuzzy logic; Hypersequent; Knotted axioms; Standard completeness; Uninorm logic}, doi = {10.1007/s00500-014-1265-1}, pages = {1463--1470}, number = {8} }`

### 2012

- J. Landes and R. Buettner, “Argumentation-based negotiation? negotiation-based argumentation!,” in E-commerce and web technologies, Springer, 2012, vol. 123, p. 149–162.

[Bibtex]`@inbook{2434_948033, author = {Landes, J. and Buettner, R.}, title = {Argumentation-based negotiation? Negotiation-based argumentation!}, year = {2012}, publisher = {Springer}, volume = {123}, booktitle = {E-Commerce and Web Technologies}, keywords = {Autonomous Agents; Dung-Style Argumentation; Multi-Agent System; Negotiation; Protocol}, doi = {10.1007/978-3-642-32273-0_13}, isbn = {978-3-642-32272-3}, isbn = {978-3-642-32273-0}, pages = {149--162} }`

### 2011

- M. Fedel, H. Hosni, and F. Montagna, “A logical characterization of coherence for imprecise probabilities,” International journal of approximate reasoning, vol. 52, iss. 8, p. 1147–1170, 2011.

[Bibtex]`@article{2434_326233, author = {Fedel, M. and Hosni, H. and Montagna, F.}, title = {A logical characterization of coherence for imprecise probabilities}, year = {2011}, journal = {INTERNATIONAL JOURNAL OF APPROXIMATE REASONING}, volume = {52}, keywords = {Subjective probability; Probabilistic logic; Coherence; Betting framework; Imprecise probability; Many-valued logic}, doi = {10.1016/j.ijar.2011.06.004}, pages = {1147--1170}, number = {8} }`

### 2009

- G. Casini and H. Hosni, “A note on cumulative stereotypical reasoning,” in Symbolic and quantitative approaches to reasoning with uncertainty, Springer, 2009, p. 590–601.

[Bibtex]`@inbook{2434_326217, author = {Casini, G. and Hosni, H.}, title = {A Note on Cumulative Stereotypical Reasoning}, year = {2009}, publisher = {Springer}, booktitle = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty}, doi = {10.1007/978-3-642-02906-6_51}, isbn = {978-3-642-02905-9}, pages = {590--601} }`

### 2008

- P. Koiran, J. Landes, N. Portier, and P. Yao, “Adversary lower bounds for nonadaptive quantum algorithms,” in Logic, language, information and computation, Springer, 2008, vol. 5110, p. 226–237.

[Bibtex]`@inbook{2434_948039, author = {Koiran, P. and Landes, J. and Portier, N. and Yao, P.}, title = {Adversary lower bounds for nonadaptive quantum algorithms}, year = {2008}, publisher = {Springer}, volume = {5110}, booktitle = {Logic, Language, Information and Computation}, doi = {10.1007/978-3-540-69937-8_20}, isbn = {978-3-540-69936-1}, isbn = {978-3-540-69937-8}, pages = {226--237} }`

### 2006

- E. Datteri, H. Hosni, and G. Tamburrini, “An inductionless and default-based analysis of machine learning procedures,” in Model based reasoning in science and engineering, College publications london, 2006, vol. 2, p. 379–400.

[Bibtex]`@inbook{2434_326028, author = {Datteri, E. and Hosni, H. and Tamburrini, G.}, title = {An inductionless and default-based analysis of machine learning procedures}, year = {2006}, publisher = {College Publications London}, volume = {2}, booktitle = {Model Based Reasoning in Science and Engineering}, isbn = {1904987230}, pages = {379--400} }`