Gian Luca Pozzato
Professore/Professoressa ordinario/a
- Dipartimento di Informatica
- SSD: INF/01 - informatica
- ORCID: orcid.org/0000-0002-3952-4624
Contatti
- 011 670 68 48
- 011 751 603
- Chiama gianlucapozzato
- gianluca.pozzato@unito.it
- https://unito.webex.com/meet/gianluca.pozzato
- Dipartimento di Informatica
via Pessinetto 12, angolo c.so Svizzera 185
10149 Torino - http://informatica.unito.it/do/docenti.pl/Show?_id=gpozzato
- VCard contatti
Presso
- Computer Science Department
- Dipartimento di Informatica
- Corsi di Studio del Dipartimento di Lingue e Letterature straniere e Culture moderne
- Corso di laurea in Informatica
- Corso di laurea magistrale in Informatica
- Scuola di Studi Superiori "Ferdinando Rossi" dell'Università degli Studi di Torino - SSST
- Scuola Universitaria Interdipartimentale in Scienze Strategiche (SUISS)
- PhD in Computer Science
Curriculum vitae
Prodotti della ricerca selezionati
DEGARI 2.0: A diversity-seeking, explainable, and affective art recommender for social inclusion
2023-01-01 Antonio Lieto AND Gian Luca Pozzato AND Manuel Striani AND Stefano Zoia AND Rossana Damiano https://iris.unito.it/handle/2318/1879923
Calculi, countermodel generation and theorem prover for strong logics of counterfactual reasoning
2022-01-01 Girlando M.; Lellmann B.; Olivetti N.; Pesce S.; Pozzato G.L. https://iris.unito.it/handle/2318/1853618
Efficient Theorem Proving for Conditional Logics with Conditional Excluded Middle
2022-01-01 Panic N.; Pozzato G.L. https://iris.unito.it/handle/2318/1890095
Formal Methods Meet XAI: the Tool DEGARI 2.0 for Social Inclusion
2022-01-01 Lieto A.; Pozzato G.L.; Striani M.; Zoia S.; Damiano R. https://iris.unito.it/handle/2318/1890093
Combining neural and symbolic approaches to solve the Picasso problem: A first step
2022-01-01 Gliozzi V.; Pozzato G.L.; Valese A. https://iris.unito.it/handle/2318/1859465
An Ontology-based Tool for Dynamic Generation, Classification and Recommendation of Novel Contents in Online Libraries
2022-01-01 Barbera C.; Lieto A.; Pozzato G.L. https://iris.unito.it/handle/2318/1890094
A commonsense reasoning framework for explanatory emotion attribution, generation and re-classification
2021-01-01 Lieto A.; Pozzato G.L.; Zoia S.; Patti V.; Damiano R. https://iris.unito.it/handle/2318/1795578
Preface
2021-01-01 Monica D.D.; Pozzato G.L.; Scala E. https://iris.unito.it/handle/2318/1853620
Preface
2021-01-01 Rocha R.; Formisano A.; Liu Y.A.; Areias M.; Angelopoulos N.; Bogaerts B.; Dodaro C.; Alviano M.; Brik A.; Vennekens J.; Pozzato G.L.; Zhou N.-F.; Dahl V.; Fodor P. https://iris.unito.it/handle/2318/1853619
Applications and Practices in Ontology Design, Extraction, and Reasoning
2020-01-01 Giuseppe Cota, Marilena Daquino, Gian Luca Pozzato https://iris.unito.it/handle/2318/1795674
A Typicality-Based Knowledge Generation Framework
2020-01-01 Lieto A.; Perrone F.; Pozzato G.L.; Chiodino E. https://iris.unito.it/handle/2318/1795669
Proof-search and countermodel generation for non-normal modal logics: The theorem prover PRONOM
2020-01-01 Dalmonte T.; Negri S.; Olivetti N.; Pozzato G.L. https://iris.unito.it/handle/2318/1795576
HYPNO: Theorem Proving with Hypersequent Calculi for Non-normal Modal Logics (System Description)
2020-01-01 Dalmonte T.; Olivetti N.; Pozzato G.L. https://iris.unito.it/handle/2318/1766437
Reasoning about Typicality and Probabilities in Preferential Description Logics
2020-01-01 Laura Giordano, Valentina Gliozzi, Antonio Lieto, Nicola Olivetti, Gian Luca Pozzato https://iris.unito.it/handle/2318/1742105
Theorem proving for lewis logics of counterfactual reasoning?
2020-01-01 Girlando M.; Lellmann B.; Olivetti N.; Pesce S.; Pozzato G.L. https://iris.unito.it/handle/2318/1795668
What cognitive research can do for AI: A case study
2020-01-01 Lieto A.; Pozzato G.L. https://iris.unito.it/handle/2318/1795583
Theorem proving for non-normal modal logics
2020-01-01 Dalmonte T.; Negri S.; Olivetti N.; Pozzato G.L. https://iris.unito.it/handle/2318/1795581
A goal-oriented framework for knowledge invention and creative problem solving in cognitive architectures
2020-01-01 Eleonora Chiodino, Antonio Lieto, Federico Perrone, Gian Luca Pozzato https://iris.unito.it/handle/2318/1739856
A description logic framework for commonsense conceptual combination integrating typicality, probabilities and cognitive heuristics
2020-01-01 Lieto A.; Pozzato G.L. https://iris.unito.it/handle/2318/1736642
A Knowledge-based System for the Dynamic Generation and Classification of Novel Contents in Multimedia Broadcasting
2020-01-01 Eleonora Chiodino, Davide Di Luccio, Antonio Lieto, Alberto Messina, Gian Luca Pozzato, Davide Rubinetti https://iris.unito.it/handle/2318/1739854
A Dynamic Knowledge Generation System for Cognitive Agents
2019-01-01 Lieto Antonio, Pozzato Gian Luca, Perrone Federico https://iris.unito.it/handle/2318/1715069
PRONOM: Proof-Search and Countermodel Generation for Non-normal Modal Logics
2019-01-01 Dalmonte T.; Negri S.; Olivetti N.; Pozzato G.L. https://iris.unito.it/handle/2318/1727003
PEAR: A tool for reasoning about scenarios and probabilities in description logics of typicality
2019-01-01 Pozzato G.L.; Soriano G. https://iris.unito.it/handle/2318/1727004
GOCCIOLA: Generating new knowledge by combining concepts in description logics of typicality
2019-01-01 Lieto A.; Perrone F.; Pozzato G.L. https://iris.unito.it/handle/2318/1727005
Beyond subgoaling: A dynamic knowledge generation framework for creative problem solving in cognitive architectures
2019-01-01 Lieto A.; Perrone F.; Pozzato G.L.; Chiodino E. https://iris.unito.it/handle/2318/1726157
Knowledge Capturing via Conceptual Reframing: A Goal-oriented Framework for Knowledge Invention
2019-01-01 Antonio Lieto, Gian Luca Pozzato, Federico Perrone, Eleonora Chiodino https://iris.unito.it/handle/2318/1711583
Applying a description logic of typicality as a generative tool for concept combination in computational creativity
2019-01-01 Lieto A.; Pozzato G.L. https://iris.unito.it/handle/2318/1726158
Typicalities and probabilities of exceptions in nonmotonic Description Logics
2019-01-01 Pozzato, Gian Luca https://iris.unito.it/handle/2318/1694148
Revision of Ontologies to Accommodate Exceptions: a Typicality-based Approach
2018-01-01 Micalizio Roberto - Pozzato Gian Luca https://iris.unito.it/handle/2318/1662655
Creative Concept Generation by Combining Description Logic of Typicality, Probabilities and Cognitive Heuristics
2018-01-01 Lieto, Antonio; Pozzato, Gian Luca* https://iris.unito.it/handle/2318/1685065
A description logic of typicality for conceptual combination
2018-01-01 Lieto, Antonio; Pozzato, Gian Luca* https://iris.unito.it/handle/2318/1685068
On probabilities of exceptions in description logics of typicality
2018-01-01 Pozzato, Gian Luca* https://iris.unito.it/handle/2318/1685066
COCOS: A typicality based COncept COmbination System
2018-01-01 Lieto, Antonio; Pozzato, Gian Luca; Valese, Alberto https://iris.unito.it/handle/2318/1685067
Reasoning in description logics with typicalities and probabilities of exceptions
2017-01-01 Pozzato, Gian Luca https://iris.unito.it/handle/2318/1655257
Hypersequent calculi for lewis' conditional logics with uniformity and reflexivity
2017-01-01 Girlando, Marianna; Lellmann, Bjoern; Olivetti, Nicola; Pozzato, Gian Luca https://iris.unito.it/handle/2318/1655258
Reasoning About Plausible Scenarios in Description Logics of Typicality
2017-01-01 Pozzato, Gian Luca https://iris.unito.it/handle/2318/1639953
VINTE: An implementation of internal calculi for lewis' logics of counterfactual reasoning
2017-01-01 Girlando, Marianna; Lellmann, Bjoern; Olivetti, Nicola; Pozzato, Gian Luca; Vitalis, Quentin https://iris.unito.it/handle/2318/1655260
RAT-OWL: Reasoning with rational closure in description logics of typicality
2017-01-01 Giordano, Laura; Gliozzi, Valentina; Pozzato, Gian Luca; Renzulli, Riccardo https://iris.unito.it/handle/2318/1655263
Special Issue on the 29th Italian Conference on Computational Logic: CILC 2014
2017-01-01 Laura Giordano; Valentina Gliozzi; Alberto Pettorossi; Gian Luca Pozzato https://iris.unito.it/handle/2318/1639958
An efficient reasoner for description logics of typicality and rational closure
2017-01-01 Giordano, Laura; Gliozzi, Valentina; Pozzato, Gian Luca; Renzulli, Riccardo https://iris.unito.it/handle/2318/1655261
Typicality-based revision for handling exceptions in Description Logics
2016-01-01 Micalizio, Roberto; Pozzato, Gian Luca https://iris.unito.it/handle/2318/1640040
Nested Sequent Calculi for Normal Conditional Logics
2016-01-01 N. Olivetti; G.L. Pozzato; R. Alenda https://iris.unito.it/handle/2318/134107
A Typicality-based Revision to Handle Exceptions in Description Logics
2016-01-01 Micalizio, Roberto; Pozzato, Gian Luca https://iris.unito.it/handle/2318/1640047
Reasoning About Surprising Scenarios in Description Logics of Typicality
2016-01-01 Gian Luca Pozzato https://iris.unito.it/handle/2318/1639966
Standard Sequent Calculi for Lewis' Logics of Counterfactuals
2016-01-01 Marianna, Girlando; Bjoern, Lellmann; Nicola, Olivetti; Gian, Luca Pozzato https://iris.unito.it/handle/2318/1640054
ALC + Texp: beyond most likely scenarios in preferential Description Logics of typicality
2016-01-01 Gian Luca Pozzato https://iris.unito.it/handle/2318/1640033
Nested sequent calculi and theorem proving for normal conditional logics: The theorem prover NESCOND
2015-01-01 Olivetti, Nicola; Pozzato, Gian Luca https://iris.unito.it/handle/2318/1563245
A standard and internal calculus for Lewis counterfactual logics
2015-01-01 Olivetti, Nicola; Pozzato, Gian Luca https://iris.unito.it/handle/2318/1640076
Preferential Description Logics meet Sports Entertainment: Cardinality Restrictions and Perfect Extensions for a Better Royal Rumble Match
2015-01-01 Pozzato, Gian Luca https://iris.unito.it/handle/2318/1526134
A natural sequent calculus for Lewis logic of counterfactuals
2015-01-01 Olivetti, Nicola; Pozzato, Gian Luca https://iris.unito.it/handle/2318/1526133
A Multi-Engine Theorem Prover for a Description Logic of Typicality
2015-01-01 Giordano, Laura; Gliozzi, Valentina; Olivetti, Nicola; Pozzato, Gian Luca; Violanti, Luca https://iris.unito.it/handle/2318/1526107
DysToPic: a Multi-Engine Theorem Prover for Preferential Description Logics
2015-01-01 Giordano, Laura; Gliozzi, Valentina; Olivetti, Nicola; Pozzato, Gian Luca; Violanti, Luca https://iris.unito.it/handle/2318/1526106
Semantic characterization of Rational Closure: from Propositional Logic to Description Logics
2015-01-01 Giordano, Laura; Gliozzi, Valentina; Olivetti, Nicola; Pozzato, Gian Luca https://iris.unito.it/handle/2318/1526077
Rational Closure in SHIQ
2014-01-01 Laura Giordano; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato https://iris.unito.it/handle/2318/153797
Logics in Access Control: A Conditional Approach
2014-01-01 Valerio Genovese; Laura Giordano; Valentina Gliozzi; Gian Luca Pozzato https://iris.unito.it/handle/2318/106000
Insegnamenti
- INFORMATICA (CPS0981 )
Scuola Universitaria Interdipartimentale in Scienze Strategiche (SUISS) - INFORMATICA - Studenti A-L (LIN0016)
Corsi di Studio del Dipartimento di Lingue e Letterature straniere e Culture moderne - Informatica I (CPS0501)
Scuola Universitaria Interdipartimentale in Scienze Strategiche (SUISS) - Intelligenza Artificiale e Laboratorio (MFN0942)
Corso di laurea magistrale in Informatica - Linguaggi Formali e Traduttori (non attivato nel 2024/2025) (MFN0603)
Corso di laurea in Informatica - PROGRAMMAZIONE (INF0397)
Scuola Universitaria Interdipartimentale in Scienze Strategiche (SUISS) - Reasoning about ontologies, causality, preferences, for explainability, accountability and compliance (INF01)
PhD in Computer Science - Reti di calcolatori (INF0150)
Scuola Universitaria Interdipartimentale in Scienze Strategiche (SUISS)
Temi di ricerca
Gian Luca Pozzato was born in Moncalieri (Turin) in 1978.
He took his ``Laurea'' degree ``summa cum laude'' in Computer Science in April 2003, and his Ph.D. in Computer Science in February 2007, both at the University of Turin, Italy. Since November 2015 he is an associate professor at the Department of Computer Science in the Università degli studi di Torino, where he is member of the "Knowledge representation, Automated Reasoning, Logic and ontologies" (KARL) group.
His PhD dissertation "Proof Methods for Conditional and Preferential Logics" has been awarded by the Italian Association for Logic Programming (GULP) with the "Marco Cadoli" price, as one of the best two Phd thesis focused on computation logic and discussed between 2007 and 2009. Visit GULP page
His main research interests include non-monotonic reasoning, non-classical logics (in particular, conditional and preferential logics), non-monotonic extensions of description logics, and logic programming.
Conditional logics have a long history, and recently they have found interesting applications in several areas of artificial intelligence, including belief revision and update, the representation of causal inferences in action planning, the formalization of hypothetical queries in deductive databases. Conditional logics have also been applied to non-monotonic reasoning. A fundamental contribution to the study of the relation between conditional logics and non-monotonic reasoning has been given by Kraus, Lehmann and Magidor, who have introduced the so called KLM framework. The KLM framework has been introduced in order to describe a set of properties that any concrete non-monotonic reasoning system should satisfy. The logics of this framework are called preferential logics.
The family of Description Logics (DLs) represents one of the most important formalism of knowledge representation. DLs have a well-defined semantics based on first order logic and offer a good trade-off between expressivity and complexity. Since the very objective of a DL knowledge base is to represent a taxonomy of concepts, the need of representing prototypical properties and to reason about inheritance with exceptions easily arises. Standard DLs do not allow to reason about defeasible properties. His recent research is focused on extending standrd DLs with a typicality operator, in order to define defeasible properties and to reason about eceptions.
Gruppi di ricerca
Attività in agenda
Organi
Ricevimento studenti
Lunedì 10-12 previo appuntamento - Ufficio 40 - Dipartimento di Informatica - corso Svizzera 185 - 10149 Torino