tag : logic programming

12 talk
page_white_powerpoint Explainability through argumentation in logic programming (CAUSAL 2021, 20/09/2021) — Marco Billi, Giuseppe Pisano (Marco Billi, Roberta Calegari, Giuseppe Contissa, Giuseppe Pisano, Galileo Sartor, Giovanni Sartor)
page_white_powerpoint A Mechanism for Reasoning over Defeasible Preferences in Arg2P (CILC 2021, 07/09/2021) — Giuseppe Pisano (Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor)
page_white_powerpoint Argumentation and Logic Programming for Explainable and Ethical AI (AIxIA 2020, 25/11/2020) — Roberta Calegari (Andrea Omicini, Giovanni Sartor, Roberta Calegari)
page_white_powerpoint 2P-Kt: logic programming with objects & functions in Kotlin (WOA 2020, 16/09/2020) — Giovanni Ciatto (Andrea Omicini, Enrico Denti, Enrico Siboni, Giovanni Ciatto, Roberta Calegari)
page_white_powerpoint Interpretable Narrative Explanation for ML Predictors with LP: A Case Study for XAI (WOA 2019, 28/06/2019) — Roberta Calegari (Andrea Omicini, Giovanni Ciatto, Jason Dellaluce, Roberta Calegari)
page_white_powerpoint Logic Programming in Space-Time: The Case of Situatedness in LPaaS (WOA 2018, 29/06/2018) — Giovanni Ciatto (Andrea Omicini, Enrico Denti, Giovanni Ciatto, Roberta Calegari, Stefano Mariani)
page_white_powerpoint From the Blockchain to Logic Programming and back: Research perspectives (WOA 2018, 29/06/2018) — Giovanni Ciatto (Andrea Omicini, Enrico Denti, Giovanni Ciatto, Roberta Calegari, Stefano Mariani)
page_white_powerpoint Object-Oriented Computations in Logic Programming (ECOOP 1994, 07/06/1994) — Andrea Omicini (Andrea Omicini, Antonio Natali)
page_white_powerpoint Exploiting Logic Programming in Robot Applications (GULP 1993, 18/06/1993) — Andrea Omicini (Antonio Natali, Andrea Omicini, Francesco Zanichelli)
page_white_powerpoint Il prototipo APPEAL (Progetto Finalizzato “Sistemi Informatici e Calcolo Parallelo”, Sottoprogetto SP4: Linguaggi di nuova concezione – Project Meeting, 13/06/1993) — Andrea Omicini, Antonio Natali (Andrea Omicini, Antonio Natali, Cristina Ruggieri)
page_white_powerpoint Contexts as First-Class Objects: An Implementation based on the SICStus Prolog System (GULP 1992, 18/06/1992) — Andrea Omicini (Andrea Omicini, Antonio Natali, Enrico Denti)
page_white_powerpoint Implementing Contexts in Logic Programming (ELP'92, 26/02/1992) — Andrea Omicini (Enrico Denti, Evelina Lamma, Paola Mello, Antonio Natali, Andrea Omicini)