Computer Science Department

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

• Algoritmi e Strutture Dati (MFN0597)
  Corso di laurea in Informatica
• Data Science and Circular Economy
  PhD Programme in Innovation for the Circular Economy
• Informatica I (CPS0501)
  Scuola Universitaria Interdipartimentale in Scienze Strategiche (SUISS)
• Intelligenza Artificiale e Laboratorio (MFN0942)
  Corso di laurea magistrale in Informatica
• Intelligenza artificiale (I SEM) (INT 1455)
  Scuola di Studi Superiori "Ferdinando Rossi" dell'Università degli Studi di Torino - SSST
• Linguaggi Formali e Traduttori (MFN0603)
  Corso di laurea in Informatica
• 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)

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

• AI research @ Dipartimento di Informatica
• Knowledge representation, Automated Reasoning, Logic and ontologies
• Social Computing (SoCom)

• AI research @ Dipartimento di Informatica
• Rappresentazione della conoscenza, ragionamento automatico, logica e ontologie
• Social Computing

Academic bodies

• Consiglio di Dipartimento

• Consiglio di corso di Laurea e Laurea Magistrale in Informatica
• Giunta del Corso di Laurea e Laurea Magistrale

Office hours

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