CondLean: A Theorem Prover for Conditional Logics. - Nicola Olivetti; Gian Luca Pozzato (TABLEAUX, 2003)

Analytic Tableaux for KLM Preferential and Cumulative Logics. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (LPAR, 2005)

CondLean 3.0: Improving CondLean for Stronger Conditional Logics. - Nicola Olivetti; Gian Luca Pozzato (TABLEAUX, 2005)

Automated Deduction for Logics of Default Reasoning. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (ECAI, 2006)

Analytic Tableau Calculi for KLM Rational Logic R. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (JELIA, 2006)

An Implementation of a Free-Variable Tableaux for KLM Preferential Logic P of Nonmonotonic Reasoning: The Theorem Prover FreeP 1.0. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (AI*IA, 2007)

Preferential Description Logics. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (LPAR, 2007)

KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning. - Laura Giordano 001; Valentina Gliozzi; Gian Luca Pozzato (TABLEAUX, 2007)

A sequent calculus and a theorem prover for standard conditional logics. - Nicola Olivetti; Gian Luca Pozzato; Camilla Schwind (ACM Trans. Comput. Log., 2007)

Reasoning about Typicality in Preferential Description Logics. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (JELIA, 2008)

Reasoning about Typicality with Low Complexity Description Logics: The Logic EL+^T. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (AI*IA, 2009)

Reasoning About Typicality in ALC and EL. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (Description Logics, 2009)

Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (LPNMR, 2009)

CSL-lean: A Theorem-prover for the Logic of Comparative Concept Similarity. - Régis Alenda; Nicola Olivetti; Gian Luca Pozzato (M4M, 2009)

ALC + T: a Preferential Extension of Description Logics. - Laura Giordano 001; Nicola Olivetti; Valentina Gliozzi; Gian Luca Pozzato (Fundam. Informaticae, 2009)

Analytic tableaux calculi for KLM logics of nonmonotonic reasoning. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (ACM Trans. Comput. Log., 2009)

A Constructive Conditional Logic for Access Control. - Valerio Genovese; Laura Giordano 001; Valentina Gliozzi; Gian Luca Pozzato (CILC, 2010)

Reasoning About Typicality in Preferential Description Logics: Preferential vs Rational Entailment. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (CILC, 2010)

Verifying Business Process Compliance by Reasoning about Actions. - Davide D'Aprile; Laura Giordano 001; Valentina Gliozzi; Alberto Martelli; Gian Luca Pozzato; Daniele Theseider Dupré (CLIMA, 2010)

A constructive conditional logic for access control: a preliminary report. - Valerio Genovese; Laura Giordano 001; Valentina Gliozzi; Gian Luca Pozzato (ECAI, 2010)

Preferential vs Rational Description Logics: which one for Reasoning About Typicality?. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (ECAI, 2010)

A Nonmonotonic Extension of KLM Preferential Logic P. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (LPAR (Yogyakarta), 2010)

Conditional and Preferential Logics: Proof Methods and Theorem Proving - Gian Luca Pozzato (IOS Press, 2010)

A Tableau Calculus for a Nonmonotonic Extension of the Description Logic $ mbox{ em DL-Lite}_{ mathit{core}}$. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (AI*IA, 2011)

Verifying Compliance of Business Processes with Temporal Answer Sets. - Davide D'Aprile; Laura Giordano 001; Valentina Gliozzi; Alberto Martelli; Gian Luca Pozzato; Daniele Theseider Dupré (CILC, 2011)

Nonmonotonic extensions of low-complexity DLs: complexity results and proof methods. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (CILC, 2011)

Reasoning about Typicality in Low Complexity DLs: The Logics EL⊥Tmin and DL-Litec Tmin. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (IJCAI, 2011)

A Conditional Constructive Logic for Access Control and Its Sequent Calculus. - Valerio Genovese; Laura Giordano 001; Valentina Gliozzi; Gian Luca Pozzato (TABLEAUX, 2011)

A Tableau Calculus for a Nonmonotonic Extension of EL^ mathcal{EL}^ bot. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (TABLEAUX, 2011)

Non-classical logics for knowledge representation and reasoning. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato; Camilla Schwind (Intelligenza Artificiale, 2011)

A Modal Reconstruction of Rational Closure. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (CILC, 2012)

Preferential Low Complexity Description Logics: Complexity Results and Proof Methods. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (Description Logics, 2012)

Nested Sequent Calculi for Conditional Logics. - Régis Alenda; Nicola Olivetti; Gian Luca Pozzato (JELIA, 2012)

A Minimal Model Semantics for Nonmonotonic Reasoning. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (JELIA, 2012)

PreDeLo 1.0: A Theorem Prover for Preferential Description Logics. - Laura Giordano 001; Valentina Gliozzi; Adam Jalal; Nicola Olivetti; Gian Luca Pozzato (AI*IA, 2013)

A Semantics for Rational Closure: Preliminary Results. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (CILC, 2013)

Nested Sequent Calculi and Theorem Proving for Normal Conditional Logics. - Nicola Olivetti; Gian Luca Pozzato (CILC, 2013)

Minimal Model Semantics and Rational Closure in Description Logics. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (Description Logics, 2013)

A non-monotonic Description Logic for reasoning about typicality. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (Artif. Intell., 2013)

On Rational Closure in Description Logics of Typicality - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (CoRR, 2013)

NESCOND: An Implementation of Nested Sequent Calculi for Conditional Logics. - Nicola Olivetti; Gian Luca Pozzato (IJCAR, 2014)

Revising Description Logic Terminologies to Handle Exceptions: a First Step. - Roberto Micalizio; Gianluca Pozzato (CILC, 2014)

Rational Closure in SHIQ. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (Description Logics, 2014)

Minimal models for rational closure in SHIQ. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (ICTCS, 2014)

Logics in access control: a conditional approach. - Valerio Genovese; Laura Giordano 001; Valentina Gliozzi; Gian Luca Pozzato (J. Log. Comput., 2014)

A Multi-engine Theorem Prover for a Description Logic of Typicality. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato; Luca Violanti (AI*IA, 2015)

A natural sequent calculus for Lewis' logic of counterfactuals. - Nicola Olivetti; Gian Luca Pozzato (CILC, 2015)

Preferential description logics meet sports entertainment: cardinality restrictions and perfect extensions for a better royal rumble match. - Gian Luca Pozzato (CILC, 2015)

DysToPic: a Multi-Engine Theorem Prover for Preferential Description Logics. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato; Luca Violanti (Description Logics, 2015)

A Standard Internal Calculus for Lewis' Counterfactual Logics. - Nicola Olivetti; Gian Luca Pozzato (TABLEAUX, 2015)

Semantic characterization of rational closure: From propositional logic to description logics. - Laura Giordano 001; Valentina Gliozzi; Nicola Olivetti; Gian Luca Pozzato (Artif. Intell., 2015)

Nested sequent calculi and theorem proving for normal conditional logics: The theorem prover NESCOND. - Nicola Olivetti; Gian Luca Pozzato (Intelligenza Artificiale, 2015)

Reasoning About Surprising Scenarios in Description Logics of Typicality. - Gian Luca Pozzato (AI*IA, 2016)

Typicality-based Revision for Handling Exceptions in Description Logics. - Roberto Micalizio; Gianluca Pozzato (CILC, 2016)

ALC + Texp: Beyond most likely Scenarios in Preferential Description Logics of Typicality. - Gianluca Pozzato (CILC, 2016)

A Typicality-Based Revision to Handle Exceptions in Description Logics. - Roberto Micalizio; Gian Luca Pozzato (ECAI, 2016)

Standard Sequent Calculi for Lewis' Logics of Counterfactuals. - Marianna Girlando; Björn Lellmann; Nicola Olivetti; Gian Luca Pozzato (JELIA, 2016)

Nested sequent calculi for normal conditional logics. - Régis Alenda; Nicola Olivetti; Gian Luca Pozzato (J. Log. Comput., 2016)

An Efficient Reasoner for Description Logics of Typicality and Rational Closure. - Laura Giordano 001; Valentina Gliozzi; Gian Luca Pozzato; Riccardo Renzulli (Description Logics, 2017)

Reasoning in Description Logics with Typicalities and Probabilities of Exceptions. - Gian Luca Pozzato (ECSQARU, 2017)

RAT-OWL: Reasoning with Rational Closure in Description Logics of Typicality. - Laura Giordano 001; Valentina Gliozzi; Gian Luca Pozzato; Riccardo Renzulli (ICTCS/CILC, 2017)

Hypersequent Calculi for Lewis' Conditional Logics with Uniformity and Reflexivity. - Marianna Girlando; Björn Lellmann; Nicola Olivetti; Gian Luca Pozzato (TABLEAUX, 2017)

VINTE: An Implementation of Internal Calculi for Lewis' Logics of Counterfactual Reasoning. - Marianna Girlando; Björn Lellmann; Nicola Olivetti; Gian Luca Pozzato; Quentin Vitalis (TABLEAUX, 2017)

Preface. - Laura Giordano 001; Valentina Gliozzi; Alberto Pettorossi; Gian Luca Pozzato (Fundam. Informaticae, 2017)

Reasoning about plausible scenarios in Description Logics of typicality. - Gian Luca Pozzato (Intelligenza Artificiale, 2017)

Creative Concept Generation by Combining Description Logic of Typicality, Probabilities and Cognitive Heuristics. - Antonio Lieto; Gian Luca Pozzato (AI*IA, 2018)

COCOS: a typicality based COncept COmbination System. - Antonio Lieto; Gian Luca Pozzato; Alberto Valese (CILC, 2018)

On Probabilities of Exceptions in Description Logics of Typicality. - Gian Luca Pozzato (CILC, 2018)

A Description Logic of Typicality for Conceptual Combination. - Antonio Lieto; Gian Luca Pozzato (ISMIS, 2018)

Revision of Ontologies to Accommodate Exceptions: a Typicality-based Approach. - Roberto Micalizio; Gian Luca Pozzato (Fundam. Informaticae, 2018)

PRONOM: Proof-Search and Countermodel Generation for Non-normal Modal Logics. - Tiziano Dalmonte; Sara Negri; Nicola Olivetti; Gian Luca Pozzato (AI*IA, 2019)

A Typicality-Based Knowledge Generation Framework. - Antonio Lieto; Federico Perrone; Gian Luca Pozzato; Eleonora Chiodino (BICA, 2019)

GOCCIOLA: Generating New Knowledge by Combining Concepts in Description Logics of Typicality (short paper). - Antonio Lieto; Federico Perrone; Gian Luca Pozzato (CILC, 2019)

PEAR: a Tool for Reasoning About Scenarios and Probabilities in Description Logics of Typicality (short paper). - Gian Luca Pozzato; Gabriele Soriano (CILC, 2019)

A Dynamic Knowledge Generation System for Cognitive Agents. - Antonio Lieto; Gian Luca Pozzato; Federico Perrone (ICTAI, 2019)

Knowledge Capturing via Conceptual Reframing: A Goal-oriented Framework for Knowledge Invention. - Antonio Lieto; Gian Luca Pozzato; Federico Perrone; Eleonora Chiodino (K-CAP, 2019)

Beyond subgoaling: A dynamic knowledge generation framework for creative problem solving in cognitive architectures. - Antonio Lieto; Federico Perrone; Gian Luca Pozzato; Eleonora Chiodino (Cogn. Syst. Res., 2019)

Applying a description logic of typicality as a generative tool for concept combination in computational creativity. - Antonio Lieto; Gian Luca Pozzato (Intelligenza Artificiale, 2019)

Typicalities and probabilities of exceptions in nonmotonic Description Logics. - Gian Luca Pozzato (Int. J. Approx. Reason., 2019)

What Cognitive Research Can Do for AI: a Case Study (short paper). - Antonio Lieto; Gian Luca Pozzato (DP@AI*IA, 2020)

HYPNO: Theorem Proving with Hypersequent Calculi for Non-normal Modal Logics (System Description). - Tiziano Dalmonte; Nicola Olivetti; Gian Luca Pozzato (IJCAR (2), 2020)

Theorem Proving for Lewis Logics of Counterfactual Reasoning. - Marianna Girlando; Björn Lellmann; Nicola Olivetti; Stefano Pesce; Gian Luca Pozzato (CILC, 2020)

A Knowledge-Based System for the Dynamic Generation and Classification of Novel Contents in Multimedia Broadcasting. - Eleonora Chiodino; Davide Di Luccio; Antonio Lieto; Alberto Messina; Gian Luca Pozzato; Davide Rubinetti (ECAI, 2020)

A Goal-Oriented Framework for Knowledge Invention and Creative Problem Solving in Cognitive Architectures. - Eleonora Chiodino; Antonio Lieto; Federico Perrone; Gian Luca Pozzato (ECAI, 2020)

Theorem Proving for Non-normal Modal Logics. - Tiziano Dalmonte; Sara Negri; Nicola Olivetti; Gian Luca Pozzato (OVERLAY, 2020)

Reasoning about Typicality and Probabilities in Preferential Description Logics. - Laura Giordano 001; Valentina Gliozzi; Antonio Lieto; Nicola Olivetti; Gian Luca Pozzato (CoRR, 2020)

Proof-search and countermodel generation for non-normal modal logics: The theorem prover PRONOM. - Tiziano Dalmonte; Sara Negri; Nicola Olivetti; Gian Luca Pozzato (Intelligenza Artificiale, 2020)

A description logic framework for commonsense conceptual combination integrating typicality, probabilities and cognitive heuristics. - Antonio Lieto; Gian Luca Pozzato (J. Exp. Theor. Artif. Intell., 2020)

Reasoning About Typicality and Probabilities in Preferential Description Logics. - Laura Giordano 001; Valentina Gliozzi; Antonio Lieto; Nicola Olivetti; Gian Luca Pozzato (Applications and Practices in Ontology Design, Extraction, and Reasoning, 2020)

A commonsense reasoning framework for explanatory emotion attribution, generation and re-classification. - Antonio Lieto; Gian Luca Pozzato; Stefano Zoia 001; Viviana Patti; Rossana Damiano (Knowl. Based Syst., 2021)

An Ontology-based Tool for Dynamic Generation, Classification and Recommendation of Novel Contents in Online Libraries. - Chiara Barbera; Antonio Lieto; Gian Luca Pozzato (AI4CH@AI*IA, 2022)

Formal Methods Meet XAI: the Tool DEGARI 2.0 for Social Inclusion. - Antonio Lieto; Gian Luca Pozzato; Manuel Striani; Stefano Zoia 001; Rossana Damiano (OVERLAY@AI*IA, 2022)

A Logic-Based Tool for Dynamic Generation and Classification of Musical Content. - Antonio Lieto; Gian Luca Pozzato; Alberto Valese; Mattia Zito (AI*IA, 2022)

Labelled Sequent Calculi for Conditional Logics: Conditional Excluded Middle and Conditional Modus Ponens Finally Together. - Nicola Olivetti; Nikola Panic; Gian Luca Pozzato (AI*IA, 2022)

Efficient Theorem Proving for Conditional Logics with Conditional Excluded Middle. - Nikola Panic; Gian Luca Pozzato (CILC, 2022)

Combining neural and symbolic approaches to solve the Picasso problem: A first step. - Valentina Gliozzi; Gian Luca Pozzato; Alberto Valese (Displays, 2022)

Calculi, countermodel generation and theorem prover for strong logics of counterfactual reasoning. - Marianna Girlando; Björn Lellmann; Nicola Olivetti; Stefano Pesce; Gian Luca Pozzato (J. Log. Comput., 2022)

Probabilistic Semantic Web Reasoning and Learning, by Zese Riccardo. - Gian Luca Pozzato (Theory Pract. Log. Program., 2022)

A Defeasible Description Logic for Abduction. - Gian Luca Pozzato; Marco Spinnicchia (AI*IA, 2023)

Proof Methods and Theorem Proving for Conditional Logics with Strong Centering. - Valentina Gliozzi; Gian Luca Pozzato; Alberto Valese (CILC, 2023)

DEGARI 2.0: A diversity-seeking, explainable, and affective art recommender for social inclusion. - Antonio Lieto; Gian Luca Pozzato; Manuel Striani; Stefano Zoia 001; Rossana Damiano (Cogn. Syst. Res., 2023)

A Description Logics Based Cognitively Inspired Tool for Knowledge Generation via Concept Combination. - Antonio Lieto; Gian Luca Pozzato; Gioele Tallone (CILC, 2024)

Learning Typicality Inclusions in a Probabilistic Description Logic for Concept Combination. - Alberto Valese; Valentina Gliozzi; Gian Luca Pozzato (ISMIS, 2024)

Handling irresolvable conflicts in the Semantic Web: an RDF-based conflict-tolerant version of the Deontic Traditional Scheme. - Livio Robaldo; Gianluca Pozzato (CoRR, 2024)

Sequent calculi and an efficient theorem prover for conditional logics with selection function semantics. - Valentina Gliozzi; Gian Luca Pozzato; Gabriele Tessore; Alberto Valese (J. Log. Comput., 2024)

A sensemaking system for grouping and suggesting stories from multiple affective viewpoints in museums. - Antonio Lieto; Manuel Striani; Cristina Gena; Enrico Dolza; Anna Maria Marras; Gian Luca Pozzato; Rossana Damiano (Hum. Comput. Interact., 2024)

An Application of the TCL Logic to Aerospace Missions. - Antonio Lieto; Marco Orusa; Gian Luca Pozzato; Stefano Zoia 001 (CILC, 2025)