Gian Luca Pozzato

ORCID

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 52

Top Venues

CILC

AI*IA

CoRR

Intelligenza Artificiale

Publications

Antonio Lieto, Manuel Striani, Cristina Gena, Enrico Dolza, Anna Maria Marras, Gian Luca Pozzato, Rossana Damiano
A sensemaking system for grouping and suggesting stories from multiple affective viewpoints in museums. Hum. Comput. Interact. 39 (1-2) (2024)
Alberto Valese, Valentina Gliozzi, Gian Luca Pozzato
Learning Typicality Inclusions in a Probabilistic Description Logic for Concept Combination. ISMIS (2024)
Antonio Lieto, Gian Luca Pozzato, Gioele Tallone
A Description Logics Based Cognitively Inspired Tool for Knowledge Generation via Concept Combination. CILC (2024)
Antonio Lieto, Manuel Striani, Cristina Gena, Enrico Dolza, Anna Maria Marras, Gian Luca Pozzato, Rossana Damiano
A sensemaking system for grouping and suggesting stories from multiple affective viewpoints in museums. CoRR (2023)
Valentina Gliozzi, Gian Luca Pozzato, Alberto Valese
Proof Methods and Theorem Proving for Conditional Logics with Strong Centering. CILC (2023)
Antonio Lieto, Gian Luca Pozzato, Manuel Striani, Stefano Zoia, Rossana Damiano
DEGARI 2.0: A diversity-seeking, explainable, and affective art recommender for social inclusion. Cogn. Syst. Res. 77 (2023)
Gian Luca Pozzato, Marco Spinnicchia
A Defeasible Description Logic for Abduction. AI*IA (2023)
Nikola Panic, Gian Luca Pozzato
Efficient Theorem Proving for Conditional Logics with Conditional Excluded Middle. CILC (2022)
Nicola Olivetti, Nikola Panic, Gian Luca Pozzato
Labelled Sequent Calculi for Conditional Logics: Conditional Excluded Middle and Conditional Modus Ponens Finally Together. AI*IA (2022)
Chiara Barbera, Antonio Lieto, Gian Luca Pozzato
An Ontology-based Tool for Dynamic Generation, Classification and Recommendation of Novel Contents in Online Libraries. AI4CH@AI*IA (2022)
Antonio Lieto, Gian Luca Pozzato, Alberto Valese, Mattia Zito
A Logic-Based Tool for Dynamic Generation and Classification of Musical Content. AI*IA (2022)
Gian Luca Pozzato
Probabilistic Semantic Web Reasoning and Learning, by Zese Riccardo. Theory Pract. Log. Program. 22 (3) (2022)
Marianna Girlando, Björn Lellmann, Nicola Olivetti, Stefano Pesce, Gian Luca Pozzato
Calculi, countermodel generation and theorem prover for strong logics of counterfactual reasoning. J. Log. Comput. 32 (2) (2022)
Antonio Lieto, Gian Luca Pozzato, Manuel Striani, Stefano Zoia, Rossana Damiano
Formal Methods Meet XAI: the Tool DEGARI 2.0 for Social Inclusion. OVERLAY@AI*IA (2022)
Valentina Gliozzi, Gian Luca Pozzato, Alberto Valese
Combining neural and symbolic approaches to solve the Picasso problem: A first step. Displays 74 (2022)
Antonio Lieto, Gian Luca Pozzato, Stefano Zoia, Viviana Patti, Rossana Damiano
A commonsense reasoning framework for explanatory emotion attribution, generation and re-classification. Knowl. Based Syst. 227 (2021)
Antonio Lieto, Gian Luca Pozzato, Stefano Zoia, Viviana Patti, Rossana Damiano
A Commonsense Reasoning Framework for Explanatory Emotion Attribution, Generation and Re-classification. CoRR (2021)
Laura Giordano, Valentina Gliozzi, Antonio Lieto, Nicola Olivetti, Gian Luca Pozzato
Reasoning about Typicality and Probabilities in Preferential Description Logics. CoRR (2020)
Antonio Lieto, Gian Luca Pozzato
What Cognitive Research Can Do for AI: a Case Study (short paper). DP@AI*IA (2020)
Antonio Lieto, Gian Luca Pozzato
A description logic framework for commonsense conceptual combination integrating typicality, probabilities and cognitive heuristics. J. Exp. Theor. Artif. Intell. 32 (5) (2020)
Eleonora Chiodino, Antonio Lieto, Federico Perrone, Gian Luca Pozzato
A Goal-Oriented Framework for Knowledge Invention and Creative Problem Solving in Cognitive Architectures. ECAI (2020)
Eleonora Chiodino, Davide Di Luccio, Antonio Lieto, Alberto Messina, Gian Luca Pozzato, Davide Rubinetti
A Knowledge-Based System for the Dynamic Generation and Classification of Novel Contents in Multimedia Broadcasting. ECAI (2020)
Tiziano Dalmonte, Sara Negri, Nicola Olivetti, Gian Luca Pozzato
Proof-search and countermodel generation for non-normal modal logics: The theorem prover PRONOM. Intelligenza Artificiale 14 (2) (2020)
Tiziano Dalmonte, Nicola Olivetti, Gian Luca Pozzato
HYPNO: Theorem Proving with Hypersequent Calculi for Non-normal Modal Logics (System Description). IJCAR (2) (2020)
Marianna Girlando, Björn Lellmann, Nicola Olivetti, Stefano Pesce, Gian Luca Pozzato
Theorem Proving for Lewis Logics of Counterfactual Reasoning. CILC (2020)
Tiziano Dalmonte, Sara Negri, Nicola Olivetti, Gian Luca Pozzato
Theorem Proving for Non-normal Modal Logics. OVERLAY (2020)
Antonio Lieto, Gian Luca Pozzato, Federico Perrone
A Dynamic Knowledge Generation System for Cognitive Agents. ICTAI (2019)
Gian Luca Pozzato
Typicalities and probabilities of exceptions in nonmotonic Description Logics. Int. J. Approx. Reason. 107 (2019)
Antonio Lieto, Gian Luca Pozzato
Applying a description logic of typicality as a generative tool for concept combination in computational creativity. Intelligenza Artificiale 13 (1) (2019)
Antonio Lieto, Federico Perrone, Gian Luca Pozzato
GOCCIOLA: Generating New Knowledge by Combining Concepts in Description Logics of Typicality (short paper). CILC (2019)
Antonio Lieto, Federico Perrone, Gian Luca Pozzato, Eleonora Chiodino
A Typicality-Based Knowledge Generation Framework. BICA (2019)
Antonio Lieto, Federico Perrone, Gian Luca Pozzato, Eleonora Chiodino
Beyond subgoaling: A dynamic knowledge generation framework for creative problem solving in cognitive architectures. Cogn. Syst. Res. 58 (2019)
Gian Luca Pozzato, Gabriele Soriano
PEAR: a Tool for Reasoning About Scenarios and Probabilities in Description Logics of Typicality (short paper). CILC (2019)
Tiziano Dalmonte, Sara Negri, Nicola Olivetti, Gian Luca Pozzato
PRONOM: Proof-Search and Countermodel Generation for Non-normal Modal Logics. AI*IA (2019)
Antonio Lieto, Gian Luca Pozzato, Federico Perrone, Eleonora Chiodino
Knowledge Capturing via Conceptual Reframing: A Goal-oriented Framework for Knowledge Invention. K-CAP (2019)
Gian Luca Pozzato
On Probabilities of Exceptions in Description Logics of Typicality. CILC (2018)
Antonio Lieto, Gian Luca Pozzato
A Description Logic Framework for Commonsense Conceptual Combination Integrating Typicality, Probabilities and Cognitive Heuristics. CoRR (2018)
Antonio Lieto, Gian Luca Pozzato
Creative Concept Generation by Combining Description Logic of Typicality, Probabilities and Cognitive Heuristics. AI*IA (2018)
Antonio Lieto, Gian Luca Pozzato, Alberto Valese
COCOS: a typicality based COncept COmbination System. CILC (2018)
Antonio Lieto, Gian Luca Pozzato
A Description Logic of Typicality for Conceptual Combination. ISMIS (2018)
Roberto Micalizio, Gian Luca Pozzato
Revision of Ontologies to Accommodate Exceptions: a Typicality-based Approach. Fundam. Informaticae 161 (1-2) (2018)
Laura Giordano, Valentina Gliozzi, Alberto Pettorossi, Gian Luca Pozzato
Preface. Fundam. Informaticae 150 (1) (2017)
Marianna Girlando, Björn Lellmann, Nicola Olivetti, Gian Luca Pozzato, Quentin Vitalis
VINTE: An Implementation of Internal Calculi for Lewis' Logics of Counterfactual Reasoning. TABLEAUX (2017)
Gian Luca Pozzato
Reasoning about plausible scenarios in Description Logics of typicality. Intelligenza Artificiale 11 (1) (2017)
Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato, Riccardo Renzulli
RAT-OWL: Reasoning with Rational Closure in Description Logics of Typicality. ICTCS/CILC (2017)
Marianna Girlando, Björn Lellmann, Nicola Olivetti, Gian Luca Pozzato
Hypersequent Calculi for Lewis' Conditional Logics with Uniformity and Reflexivity. TABLEAUX (2017)
Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato, Riccardo Renzulli
An Efficient Reasoner for Description Logics of Typicality and Rational Closure. Description Logics (2017)
Gian Luca Pozzato
Reasoning in Description Logics with Typicalities and Probabilities of Exceptions. ECSQARU (2017)
Régis Alenda, Nicola Olivetti, Gian Luca Pozzato
Nested sequent calculi for normal conditional logics. J. Log. Comput. 26 (1) (2016)
Roberto Micalizio, Gian Luca Pozzato
A Typicality-Based Revision to Handle Exceptions in Description Logics. ECAI (2016)
Marianna Girlando, Björn Lellmann, Nicola Olivetti, Gian Luca Pozzato
Standard Sequent Calculi for Lewis' Logics of Counterfactuals. JELIA (2016)
Gian Luca Pozzato
Reasoning About Surprising Scenarios in Description Logics of Typicality. AI*IA (2016)
Gian Luca Pozzato
Preferential description logics meet sports entertainment: cardinality restrictions and perfect extensions for a better royal rumble match. CILC (2015)
Nicola Olivetti, Gian Luca Pozzato
A Standard Internal Calculus for Lewis' Counterfactual Logics. TABLEAUX (2015)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Luca Violanti
DysToPic: a Multi-Engine Theorem Prover for Preferential Description Logics. Description Logics (2015)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
Semantic characterization of rational closure: From propositional logic to description logics. Artif. Intell. 226 (2015)
Nicola Olivetti, Gian Luca Pozzato
Nested sequent calculi and theorem proving for normal conditional logics: The theorem prover NESCOND. Intelligenza Artificiale 9 (2) (2015)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Luca Violanti
A Multi-engine Theorem Prover for a Description Logic of Typicality. AI*IA (2015)
Nicola Olivetti, Gian Luca Pozzato
A natural sequent calculus for Lewis' logic of counterfactuals. CILC (2015)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
Rational Closure in SHIQ. CoRR (2014)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
Rational Closure in SHIQ. Description Logics (2014)
Nicola Olivetti, Gian Luca Pozzato
NESCOND: An Implementation of Nested Sequent Calculi for Conditional Logics. IJCAR (2014)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
Minimal models for rational closure in SHIQ. ICTCS (2014)
Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato
Logics in access control: a conditional approach. J. Log. Comput. 24 (4) (2014)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
A Semantics for Rational Closure: Preliminary Results. CILC (2013)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
Minimal Model Semantics and Rational Closure in Description Logics. Description Logics (2013)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
On Rational Closure in Description Logics of Typicality CoRR (2013)
Nicola Olivetti, Gian Luca Pozzato
Nested Sequent Calculi and Theorem Proving for Normal Conditional Logics. CILC (2013)
Laura Giordano, Valentina Gliozzi, Adam Jalal, Nicola Olivetti, Gian Luca Pozzato
PreDeLo 1.0: A Theorem Prover for Preferential Description Logics. AI*IA (2013)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
A non-monotonic Description Logic for reasoning about typicality. Artif. Intell. 195 (2013)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
A Minimal Model Semantics for Nonmonotonic Reasoning. JELIA (2012)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
A Modal Reconstruction of Rational Closure. CILC (2012)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
Preferential Low Complexity Description Logics: Complexity Results and Proof Methods. Description Logics (2012)
Régis Alenda, Nicola Olivetti, Gian Luca Pozzato
Nested Sequent Calculi for Conditional Logics. JELIA (2012)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
\mathcal{EL}^\bot. TABLEAUX (2011)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind
Non-classical logics for knowledge representation and reasoning. Intelligenza Artificiale 5 (1) (2011)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
Nonmonotonic extensions of low-complexity DLs: complexity results and proof methods. CILC (2011)
Davide D'Aprile, Laura Giordano, Valentina Gliozzi, Alberto Martelli, Gian Luca Pozzato, Daniele Theseider Dupré
Verifying Compliance of Business Processes with Temporal Answer Sets. CILC (2011)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
. IJCAI (2011)
Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato
A Conditional Constructive Logic for Access Control and Its Sequent Calculus. TABLEAUX (2011)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
A Tableau Calculus for a Nonmonotonic Extension of the Description Logic $\mbox{\em DL-Lite}_{\mathit{core}}$. AI*IA (2011)
Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato
A Constructive Conditional Logic for Access Control. CILC (2010)
Régis Alenda, Nicola Olivetti, Gian Luca Pozzato
CSL-lean: A Theorem-prover for the Logic of Comparative Concept Similarity. Electron. Notes Theor. Comput. Sci. 262 (2010)
Davide D'Aprile, Laura Giordano, Valentina Gliozzi, Alberto Martelli, Gian Luca Pozzato, Daniele Theseider Dupré
Verifying Business Process Compliance by Reasoning about Actions. CLIMA (2010)
Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato
A constructive conditional logic for access control: a preliminary report. ECAI (2010)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
Reasoning About Typicality in Preferential Description Logics: Preferential vs Rational Entailment. CILC (2010)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
A Nonmonotonic Extension of KLM Preferential Logic P. LPAR (Yogyakarta) (2010)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
Preferential vs Rational Description Logics: which one for Reasoning About Typicality?. ECAI (2010)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results. LPNMR (2009)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
T. AI*IA (2009)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
Analytic tableaux calculi for KLM logics of nonmonotonic reasoning. ACM Trans. Comput. Log. 10 (3) (2009)
Laura Giordano, Nicola Olivetti, Valentina Gliozzi, Gian Luca Pozzato
ALC + T: a Preferential Extension of Description Logics. Fundam. Informaticae 96 (3) (2009)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
Reasoning About Typicality in ALC and EL. Description Logics (2009)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind
Non-Classical Logics for Knowledge Representation and Reasoning. Il Milione (2008)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
Reasoning about Typicality in Preferential Description Logics. JELIA (2008)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
An Implementation of a Free-Variable Tableaux for KLM Preferential Logic P of Nonmonotonic Reasoning: The Theorem Prover FreeP 1.0. AI*IA (2007)
Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind
A sequent calculus and a theorem prover for standard conditional logics. ACM Trans. Comput. Log. 8 (4) (2007)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
Preferential Description Logics. LPAR (2007)
Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato
KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning. TABLEAUX (2007)
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
Analytic Tableau Calculi for KLM Rational Logic R. JELIA (2006)

Gian Luca Pozzato.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Gian Luca Pozzato