Gian Luca Pozzato
Università degli Studi di Torino
H-index: 24
Europe-Italy
Top articles of Gian Luca Pozzato
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
A sensemaking system for grouping and suggesting stories from multiple affective viewpoints in museums | Human–Computer Interaction | Antonio Lieto Manuel Striani Cristina Gena Enrico Dolza Anna Maria Marras | 2024/3/3 |
A Defeasible Description Logic for Abduction | Gian Luca Pozzato Marco Spinnicchia | 2023/11/2 | |
Modeling, verifying and reasoning about web services | ALPSWS2006: Applications of Logic Programming in the Semantic Web and Semantic Web Services | Alberto Martelli | 2006/8/16 |
AI generativa (chatBot) in didattica | Ivan Molineris Leonardo Agasso Ugo Ala Beatrice Albanesi Marco Beccuti | 2023 | |
Proof Methods and Theorem Proving for Conditional Logics with Strong Centering | CEUR WORKSHOP PROCEEDINGS | Valentina Gliozzi Gian Luca Pozzato Alberto Valese | 2023 |
Degari 2.0: A diversity-seeking, explainable, and affective art recommender for social inclusion | Cognitive Systems Research | Antonio Lieto Gian Luca Pozzato Manuel Striani Stefano Zoia Rossana Damiano | 2023 |
An Ontology-based Tool for Dynamic Generation, Classification and Recommendation of Novel | CEUR WORKSHOP PROCEEDINGS | Chiara Barbera Antonio Lieto Gian Luca Pozzato | 2022 |
A logic-based tool for dynamic generation and classification of musical content | AI*IA 2022 | Antonio Lieto Gian Luca Pozzato Alberto Valese Mattia Zito | 2022 |
Formal Methods Meet XAI: the Tool DEGARI 2.0 for Social Inclusion | CEUR Workshop Proceedings | Antonio Lieto Gian Luca Pozzato Manuel Striani Stefano Zoia Rossana Damiano | 2022 |
Labelled sequent calculi for conditional logics: Conditional excluded middle and conditional modus ponens finally together | Nicola Olivetti Nikola Panic Gian Luca Pozzato | 2022/11/28 | |
Efficient theorem proving for conditional logics with conditional excluded middle | CEUR WORKSHOP PROCEEDINGS | Nikola Panic Gian Luca Pozzato | 2022 |
Combining neural and symbolic approaches to solve the Picasso problem: A first step | Displays | Valentina Gliozzi Gian Luca Pozzato Alberto Valese | 2022/9/1 |
Degari 2.0: A diversity-seeking, knowledge-based, explainalable, and affective art recommender for social inclusion | Knowledge-Based, Explainalable, and Affective Art Recommender for Social Inclusion | Antonio Lieto Gian Luca Pozzato Manuel Striani Stefano Zoia Rossana Damiano | 2022 |
Probabilistic Semantic Web Reasoning and Learning, by Zese Riccardo | Theory and Practice of Logic Programming | Gian Luca Pozzato | 2022/5 |
Calculi, countermodel generation and theorem prover for strong logics of counterfactual reasoning | Journal of Logic and Computation | Marianna Girlando Björn Lellmann Nicola Olivetti Stefano Pesce Gian Luca Pozzato | 2022/3 |
Proceedings 37th International Conference on Logic Programming (Technical Communications) | arXiv preprint arXiv:2109.07914 | Andrea Formisano Yanhong Annie Liu Bart Bogaerts Alex Brik Veronica Dahl | 2021/9/15 |
A commonsense reasoning framework for explanatory emotion attribution, generation and re-classification | Knowledge-Based Systems | Antonio Lieto Gian Luca Pozzato Stefano Zoia Viviana Patti Rossana Damiano | 2021/1 |
Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Twelfth International Symposium on Games … | D Della Monica GL Pozzato | 2021 | |
Theorem proving for non-normal modal logics | Tiziano Dalmonte Sara Negri Nicola Olivetti Gian Luca Pozzato | 2021/9/25 | |
A goal-oriented framework for knowledge invention and creative problem solving in cognitive architectures | Eleonora Chiodino Antonio Lieto Federico Perrone Gian Luca Pozzato | 2020 |