Vai al contenuto principale
Logo Università
Logo di PhD in Computer Science

Doctoral school

PhD in Computer Science

Logo di PhD in Computer Science

Gian Luca Pozzato

Professor

Contacts

At

  • 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 in matematica
  • 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

  • Curriculum Vitae (1.0 MB)

    • Selected research products

    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

    Courses

    Research topics

    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.

     

    Research groups

    Activities in agenda

    See my calendar

    Academic bodies

    Office hours

    Lunedì 10-12 previo appuntamento - Ufficio 40 - Dipartimento di Informatica - corso Svizzera 185 - 10149 Torino

    Last update: 26/11/2024 08:09
    Location: https://dott-informatica.campusnet.unito.it/robots.html
    Non cliccare qui!