Personal information

Websites & social links

http://www.di.unito.it/~pozzato/

Other IDs

Scopus Author ID: 7005075430

Countries

Italy

Biography

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 October 2007 he is a researcher at the Department of Computer Science in the Università degli studi di Torino, where he is member of the Knowledge Representation and Automated Reasoning 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.

Since 2012 he is member of the steering committee of GULP icona link esterno. Since 2013 he is member of the scientific committee of Master in PROGETTAZIONE E MANAGEMENT DEL MULTIMEDIA PER LA COMUNICAZIONE (COREP and University of Turin), and from 2015 to 2019 he has been head of the same master. Since 2017 he is vice-President of "Corso di Laurea in Informatica" and "Corso di laurea Magistrale in Informatica" (courses of degree in Computer Science) of the University of Turin.

Activities

Collapse all

Employment (2)

Università degli Studi di Torino Dipartimento di informatica: Torino, Piemonte, IT

2015-11-01 to present | Associate Professor (Dipartimento di Informatica)
Employment
Source: Self-asserted source
Gian Luca Pozzato

Università degli Studi di Torino Dipartimento di informatica: Torino, Piemonte, IT

2007-10-01 to 2015-10-31 | Assistant Professor (ricercatore)
Employment
Source: Self-asserted source
Gian Luca Pozzato

Education and qualifications (2)

Università degli Studi di Torino Dipartimento di informatica: Torino, Piemonte, IT

2003-10-01 to 2007-02-02 | PhD in Computer Science
Education
Source: Self-asserted source
Gian Luca Pozzato

Università degli Studi di Torino Dipartimento di informatica: Torino, Piemonte, IT

1997-09-01 to 2003-04-11 | Laurea
Education
Source: Self-asserted source
Gian Luca Pozzato

Funding (1)

ExceptionOWL: Nonmonotonic Extensions of Description Logics and OWL for defeasible inheritance with exceptions

2015-07 to 2018-01 | Grant
Compagnia di San Paolo (Turin, IT)
GRANT_NUMBER: Torino_call2014_L1_111
Source: Self-asserted source
Gian Luca Pozzato

Works (49)

Learning Typicality Inclusions in a Probabilistic Description Logic for Concept Combination

2024 | Book chapter
DOI: 10.1007/978-3-031-62700-2_3
Contributors: Alberto Valese; Valentina Gliozzi; Gian Luca Pozzato
Source: check_circle
Crossref

A sensemaking system for grouping and suggesting stories from multiple affective viewpoints in museums

Human–Computer Interaction
2024-03-03 | Journal article
DOI: 10.1080/07370024.2023.2242355
Contributors: Antonio Lieto; Manuel Striani; Cristina Gena; Enrico Dolza; Anna Maria Marras; Gian Luca Pozzato; Rossana Damiano
Source: check_circle
Crossref

A Defeasible Description Logic for Abduction

2023 | Book chapter
DOI: 10.1007/978-3-031-47546-7_6
Contributors: Gian Luca Pozzato; Marco Spinnicchia
Source: check_circle
Crossref

A Logic-Based Tool for Dynamic Generation and Classification of Musical Content

2023 | Book chapter
DOI: 10.1007/978-3-031-27181-6_22
Contributors: Antonio Lieto; Gian Luca Pozzato; Alberto Valese; Mattia Zito
Source: check_circle
Crossref

Labelled Sequent Calculi for Conditional Logics: Conditional Excluded Middle and Conditional Modus Ponens Finally Together

2023 | Book chapter
DOI: 10.1007/978-3-031-27181-6_24
Contributors: Nicola Olivetti; Nikola Panic; Gian Luca Pozzato
Source: check_circle
Crossref

Combining neural and symbolic approaches to solve the Picasso problem: A first step

Displays
2022-09 | Journal article
DOI: 10.1016/j.displa.2022.102203
Contributors: Valentina Gliozzi; Gian Luca Pozzato; Alberto Valese
Source: check_circle
Crossref

Probabilistic Semantic Web Reasoning and Learning, by Zese Riccardo

Theory and Practice of Logic Programming
2022-05 | Journal article
DOI: 10.1017/S1471068421000041
Contributors: GIAN LUCA POZZATO
Source: check_circle
Crossref

A commonsense reasoning framework for explanatory emotion attribution, generation and re-classification

Knowledge-Based Systems
2021-09 | Journal article
DOI: 10.1016/j.knosys.2021.107166
Contributors: Antonio Lieto; Gian Luca Pozzato; Stefano Zoia; Viviana Patti; Rossana Damiano
Source: check_circle
Crossref

Proof-search and countermodel generation for non-normal modal logics: The theorem prover PRONOM

Intelligenza Artificiale
2021-01-11 | Journal article
DOI: 10.3233/IA-200052
Contributors: Tiziano Dalmonte; Sara Negri; Nicola Olivetti; Gian Luca Pozzato; Mario Alviano; Gianluigi Greco; Francesco Scarcello
Source: check_circle
Crossref

HYPNO: Theorem Proving with Hypersequent Calculi for Non-normal Modal Logics (System Description)

2020 | Book chapter
DOI: 10.1007/978-3-030-51054-1_23
Contributors: Tiziano Dalmonte; Nicola Olivetti; Gian Luca Pozzato
Source: check_circle
Crossref

A description logic framework for commonsense conceptual combination integrating typicality, probabilities and cognitive heuristics

Journal of Experimental & Theoretical Artificial Intelligence
2020-09-02 | Journal article
DOI: 10.1080/0952813X.2019.1672799
Contributors: Antonio Lieto; Gian Luca Pozzato
Source: check_circle
Crossref

PRONOM: Proof-Search and Countermodel Generation for Non-normal Modal Logics

2019 | Book chapter
DOI: 10.1007/978-3-030-35166-3_12
Contributors: Tiziano Dalmonte; Sara Negri; Nicola Olivetti; Gian Luca Pozzato
Source: check_circle
Crossref

A non-monotonic Description Logic for reasoning about typicality

Artificial Intelligence
2013 | Journal article
DOI:

10.1016/j.artint.2012.10.004
Contributors: Giordano, L.; Gliozzi, V.; Olivetti, N.; Pozzato, G.L.
Source: Self-asserted source
Gian Luca Pozzato via Scopus - Elsevier

A semantics for rational closure: Preliminary results

CEUR Workshop Proceedings
2013 | Journal article
EID: 2-s2.0-84887500956
Contributors: Giordano, L.; Gliozzi, V.; Olivetti, N.; Pozzato, G.L.
Source: Self-asserted source
Gian Luca Pozzato via Scopus - Elsevier

Minimal model semantics and rational closure in Description Logics

CEUR Workshop Proceedings
2013 | Journal article
EID: 2-s2.0-84892406532
Contributors: Giordano, L.; Gliozzi, V.; Olivetti, N.; Pozzato, G.L.
Source: Self-asserted source
Gian Luca Pozzato via Scopus - Elsevier

Nested sequent calculi and theorem proving for normal conditional logics

CEUR Workshop Proceedings
2013 | Journal article
EID: 2-s2.0-84887495335
Contributors: Olivetti, N.; Pozzato, G.L.
Source: Self-asserted source
Gian Luca Pozzato via Scopus - Elsevier

A minimal model semantics for nonmonotonic reasoning

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2012 | Journal article
DOI:

10.1007/978-3-642-33353-8_18
Contributors: Giordano, L.; Gliozzi, V.; Olivetti, N.; Pozzato, G.L.
Source: Self-asserted source
Gian Luca Pozzato via Scopus - Elsevier

A modal reconstruction of rational closure

CEUR Workshop Proceedings
2012 | Journal article
EID: 2-s2.0-84883382055
Contributors: Giordano, L.; Gliozzi, V.; Olivetti, N.; Pozzato, G.L.
Source: Self-asserted source
Gian Luca Pozzato via Scopus - Elsevier

Nested sequent calculi for conditional logics

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2012 | Journal article
DOI:

10.1007/978-3-642-33353-8_2
Contributors: Alenda, R.; Olivetti, N.; Pozzato, G.L.
Source: Self-asserted source
Gian Luca Pozzato via Scopus - Elsevier

Preferential low complexity description logics: Complexity results and proof methods

CEUR Workshop Proceedings
2012 | Journal article
EID: 2-s2.0-84872892853
Contributors: Giordano, L.; Gliozzi, V.; Olivetti, N.; Pozzato, G.L.
Source: Self-asserted source
Gian Luca Pozzato via Scopus - Elsevier

A conditional constructive logic for access control and its sequent calculus

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2011 | Journal article
DOI:

10.1007/978-3-642-22119-4_14
Contributors: Genovese, V.; Giordano, L.; Gliozzi, V.; Pozzato, G.L.
Source: Self-asserted source
Gian Luca Pozzato via Scopus - Elsevier

A tableau calculus for a nonmonotonic extension of the description logic DL-Litecore

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2011 | Journal article
DOI:

10.1007/978-3-642-23954-0_17
Contributors: Giordano, L.; Gliozzi, V.; Olivetti, N.; Pozzato, G.L.
Source: Self-asserted source
Gian Luca Pozzato via Scopus - Elsevier

A tableau calculus for a nonmonotonic extension of ℰℒ ⊥

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2011 | Journal article
DOI:

10.1007/978-3-642-22119-4_15
Contributors: Giordano, L.; Gliozzi, V.; Olivetti, N.; Pozzato, G.L.
Source: Self-asserted source
Gian Luca Pozzato via Scopus - Elsevier

Nonmonotonic extensions of low complexity DLs: Complexity results and proof methods

CEUR Workshop Proceedings
2011 | Journal article
EID: 2-s2.0-84883366567
Contributors: Giordano, L.; Gliozzi, V.; Olivetti, N.; Pozzato, G.L.
Source: Self-asserted source
Gian Luca Pozzato via Scopus - Elsevier

Reasoning about typicality in low complexity DLs: The logics EL ⊥Tminand DL-LitecTmin

IJCAI International Joint Conference on Artificial Intelligence
2011 | Journal article
DOI:

10.5591/978-1-57735-516-8/IJCAI11-155
Contributors: Giordano, L.; Gliozzi, V.; Olivetti, N.; Pozzato, G.L.
Source: Self-asserted source
Gian Luca Pozzato via Scopus - Elsevier

Verifying compliance of business processes with temporal answer sets

CEUR Workshop Proceedings
2011 | Journal article
EID: 2-s2.0-84870620678
Contributors: D'Aprile, D.; Giordano, L.; Gliozzi, V.; Martelli, A.; Pozzato, G.L.; Dupré, D.T.
Source: Self-asserted source
Gian Luca Pozzato via Scopus - Elsevier

A constructive conditional logic for access control: A completeness result and a sequent calculus

CEUR Workshop Proceedings
2010 | Journal article
EID: 2-s2.0-84883385078
Contributors: Genovese, V.; Giordano, L.; Gliozzi, V.; Pozzato, G.L.
Source: Self-asserted source
Gian Luca Pozzato via Scopus - Elsevier

A constructive conditional logic for access control: A preliminary report

Frontiers in Artificial Intelligence and Applications
2010 | Journal article
DOI:

10.3233/978-1-60750-606-5-1073
Contributors: Genovese, V.; Giordano, L.; Gliozzi, V.; Pozzato, G.L.
Source: Self-asserted source
Gian Luca Pozzato via Scopus - Elsevier

A nonmonotonic extension of KLM preferential logic P

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2010 | Journal article
DOI:

10.1007/978-3-642-16242-8-23
Contributors: Giordano, L.; Gliozzi, V.; Olivetti, N.; Pozzato, G.L.
Source: Self-asserted source
Gian Luca Pozzato via Scopus - Elsevier

Conditional and preferential logics: Proof methods and theorem proving

Frontiers in Artificial Intelligence and Applications
2010 | Journal article
DOI:

10.3233/978-1-60750-095-7-i
Contributors: Pozzato, G.L.
Source: Self-asserted source
Gian Luca Pozzato via Scopus - Elsevier

CSL-lean: A theorem-prover for the logic of comparative concept similarity

Electronic Notes in Theoretical Computer Science
2010 | Journal article
DOI:

10.1016/j.entcs.2010.04.002
Contributors: Alenda, R.; Olivetti, N.; Pozzato, G.L.
Source: Self-asserted source
Gian Luca Pozzato via Scopus - Elsevier

Preferential vs Rational description logics: Which one for reasoning about typicality?

Frontiers in Artificial Intelligence and Applications
2010 | Journal article
DOI:

10.3233/978-1-60750-606-5-1069
Contributors: Giordano, L.; Gliozzi, V.; Olivetti, N.; Pozzato, G.L.
Source: Self-asserted source
Gian Luca Pozzato via Scopus - Elsevier

Reasoning about typicality in preferential description logics: Preferential vs Rational entailment

CEUR Workshop Proceedings
2010 | Journal article
EID: 2-s2.0-84883412450
Contributors: Giordano, L.; Gliozzi, V.; Olivetti, N.; Pozzato, G.L.
Source: Self-asserted source
Gian Luca Pozzato via Scopus - Elsevier

Verifying business process compliance by reasoning about actions

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2010 | Journal article
DOI:

10.1007/978-3-642-14977-1_10
Contributors: D'Aprile, D.; Giordano, L.; Gliozzi, V.; Martelli, A.; Pozzato, G.L.; Theseider Dupré, D.
Source: Self-asserted source
Gian Luca Pozzato via Scopus - Elsevier

ALC + T: A preferential extension of description logics

Fundamenta Informaticae
2009 | Journal article
DOI:

10.3233/FI-2009-182
Contributors: Giordano, L.; Olivetti, N.; Gliozzi, V.; Pozzato, G.L.
Source: Self-asserted source
Gian Luca Pozzato via Scopus - Elsevier

Analytic tableaux calculi for KLM logics of nonmonotonic reasoning

ACM Transactions on Computational Logic
2009 | Journal article
DOI:

10.1145/1507244.1507248
Contributors: Giordano, L.; Gliozzi, V.; Olivetti, N.; Pozzato, G.L.
Source: Self-asserted source
Gian Luca Pozzato via Scopus - Elsevier

Prototypical reasoning with low complexity description logics: Preliminary results

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2009 | Journal article
DOI:

10.1007/978-3-642-04238-6_38
Contributors: Giordano, L.; Gliozzi, V.; Olivetti, N.; Pozzato, G.L.
Source: Self-asserted source
Gian Luca Pozzato via Scopus - Elsevier

Reasoning about typicality in ALC and EL

CEUR Workshop Proceedings
2009 | Journal article
EID: 2-s2.0-77951013795
Contributors: Giordano, L.; Gliozzi, V.; Olivetti, N.; Pozzato, G.L.
Source: Self-asserted source
Gian Luca Pozzato via Scopus - Elsevier

Reasoning about typicality with low complexity description logics: The logic EL+⊥T

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2009 | Journal article
DOI:

10.1007/978-3-642-10291-2_7
Contributors: Giordano, L.; Gliozzi, V.; Olivetti, N.; Pozzato, G.L.
Source: Self-asserted source
Gian Luca Pozzato via Scopus - Elsevier

Reasoning about typicality in preferential description logics

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2008 | Journal article
DOI:

10.1007/978-3-540-87803-2_17
Contributors: Giordano, L.; Gliozzi, V.; Olivetti, N.; Pozzato, G.L.
Source: Self-asserted source
Gian Luca Pozzato via Scopus - Elsevier

A sequent calculus and a theorem prover for standard conditional logics

ACM Transactions on Computational Logic
2007 | Journal article
DOI:

10.1145/1276920.1276924
Contributors: Olivetti, N.; Pozzato, G.L.; Schwind, C.B.
Source: Self-asserted source
Gian Luca Pozzato via Scopus - Elsevier

An implementation of a free-variable tableaux for KLM preferential logic P of nonmonotonic reasoning: The theorem prover FreeP 1.0

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2007 | Journal article
EID: 2-s2.0-38049186763
Contributors: Giordano, L.; Gliozzi, V.; Olivetti, N.; Pozzato, G.L.
Source: Self-asserted source
Gian Luca Pozzato via Scopus - Elsevier

KLMLean 2.0: A theorem prover for KLM logics of nonmonotonic reasoning

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2007 | Journal article
EID: 2-s2.0-37249085239
Contributors: Giordano, L.; Gliozzi, V.; Pozzato, G.L.
Source: Self-asserted source
Gian Luca Pozzato via Scopus - Elsevier

Preferential description logics

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2007 | Journal article
EID: 2-s2.0-38149066683
Contributors: Giordano, L.; Gliozzi, V.; Olivetti, N.; Pozzato, G.L.
Source: Self-asserted source
Gian Luca Pozzato via Scopus - Elsevier

Analytic tableau calculi for KLM rational logic R

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2006 | Journal article
EID: 2-s2.0-33750036994
Contributors: Giordano, L.; Gliozzi, V.; Olivetti, N.; Pozzato, G.L.
Source: Self-asserted source
Gian Luca Pozzato via Scopus - Elsevier

Automated deduction for logics of default reasoning

Frontiers in Artificial Intelligence and Applications
2006 | Journal article
EID: 2-s2.0-84886020063
Contributors: Giordano, L.; Gliozzi, V.; Olivetti, N.; Pozzato, G.L.
Source: Self-asserted source
Gian Luca Pozzato via Scopus - Elsevier

Analytic tableaux for KLM preferential and cumulative logics

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2005 | Journal article
DOI:

10.1007/11591191_46
Contributors: Giordano, L.; Gliozzi, V.; Olivetti, N.; Pozzato, G.L.
Source: Self-asserted source
Gian Luca Pozzato via Scopus - Elsevier

CondLean 3.0: Improving CondLean for stronger conditional logics

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2005 | Journal article
DOI:

10.1007/11554554_27
Contributors: Olivetti, N.; Pozzato, G.L.
Source: Self-asserted source
Gian Luca Pozzato via Scopus - Elsevier

CondLean: A theorem prover for conditional logics

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)
2003 | Journal article
EID: 2-s2.0-7044231703
Contributors: Olivetti, N.; Pozzato, G.L.
Source: Self-asserted source
Gian Luca Pozzato via Scopus - Elsevier

Peer review (1 review for 1 publication/grant)

Review activity for Journal of philosophical logic. (1)
How many people are using ORCID?