| 2026 | ISMIS | A Sub-Symbolic Model for the Geometric Intruder Task. | Sara Damonte, Valentina Gliozzi, Gian Luca Pozzato, Alberto Valese |
| 2025 | IJCAI | The Delta of Thought: Channeling Rivers of Commonsense Knowledge in the Sea of Metaphorical Interpretations. | Antonio Lieto, Gian Luca Pozzato, Stefano Zoia |
| 2024 | ISMIS | Learning Typicality Inclusions in a Probabilistic Description Logic for Concept Combination. | Alberto Valese, Valentina Gliozzi, Gian Luca Pozzato |
| 2020 | CADE | HYPNO: Theorem Proving with Hypersequent Calculi for Non-normal Modal Logics (System Description). | Tiziano Dalmonte, Nicola Olivetti, Gian Luca Pozzato |
| 2020 | ECAI | 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 |
| 2020 | ECAI | A Goal-Oriented Framework for Knowledge Invention and Creative Problem Solving in Cognitive Architectures. | Eleonora Chiodino, Antonio Lieto, Federico Perrone, Gian Luca Pozzato |
| 2019 | ICTAI | A Dynamic Knowledge Generation System for Cognitive Agents. | Antonio Lieto, Gian Luca Pozzato, Federico Perrone |
| 2018 | ISMIS | A Description Logic of Typicality for Conceptual Combination. | Antonio Lieto, Gian Luca Pozzato |
| 2017 | ECSQARU | Reasoning in Description Logics with Typicalities and Probabilities of Exceptions. | Gian Luca Pozzato |
| 2017 | TABLEAUX | Hypersequent Calculi for Lewis' Conditional Logics with Uniformity and Reflexivity. | Marianna Girlando, Bjrn Lellmann, Nicola Olivetti, Gian Luca Pozzato |
| 2017 | TABLEAUX | VINTE: An Implementation of Internal Calculi for Lewis' Logics of Counterfactual Reasoning. | Marianna Girlando, Bjrn Lellmann, Nicola Olivetti, Gian Luca Pozzato, Quentin Vitalis |
| 2016 | ECAI | A Typicality-Based Revision to Handle Exceptions in Description Logics. | Roberto Micalizio, Gian Luca Pozzato |
| 2016 | JELIA | Standard Sequent Calculi for Lewis' Logics of Counterfactuals. | Marianna Girlando, Bjrn Lellmann, Nicola Olivetti, Gian Luca Pozzato |
| 2015 | TABLEAUX | A Standard Internal Calculus for Lewis' Counterfactual Logics. | Nicola Olivetti, Gian Luca Pozzato |
| 2014 | CADE | NESCOND: An Implementation of Nested Sequent Calculi for Conditional Logics. | Nicola Olivetti, Gian Luca Pozzato |
| 2012 | JELIA | Nested Sequent Calculi for Conditional Logics. | Rgis Alenda, Nicola Olivetti, Gian Luca Pozzato |
| 2012 | JELIA | A Minimal Model Semantics for Nonmonotonic Reasoning. | Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato |
| 2011 | IJCAI | Reasoning about Typicality in Low Complexity DLs: The Logics EL | Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato |
| 2011 | TABLEAUX | A Conditional Constructive Logic for Access Control and Its Sequent Calculus. | Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato |
| 2011 | TABLEAUX | A Tableau Calculus for a Nonmonotonic Extension of | Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato |
| 2010 | ECAI | A constructive conditional logic for access control: a preliminary report. | Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato |
| 2010 | ECAI | Preferential vs Rational Description Logics: which one for Reasoning About Typicality?. | Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato |
| 2010 | LPAR | A Nonmonotonic Extension of KLM Preferential Logic P. | Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato |
| 2009 | LPNMR | Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results. | Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato |
| 2008 | JELIA | Reasoning about Typicality in Preferential Description Logics. | Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato |
| 2007 | LPAR | Preferential Description Logics. | Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato |
| 2007 | TABLEAUX | KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning. | Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato |
| 2006 | ECAI | Automated Deduction for Logics of Default Reasoning. | Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato |
| 2006 | JELIA | Analytic Tableau Calculi for KLM Rational Logic R. | Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato |
| 2005 | LPAR | Analytic Tableaux for KLM Preferential and Cumulative Logics. | Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato |
| 2005 | TABLEAUX | CondLean 3.0: Improving CondLean for Stronger Conditional Logics. | Nicola Olivetti, Gian Luca Pozzato |
| 2003 | TABLEAUX | CondLean: A Theorem Prover for Conditional Logics. | Nicola Olivetti, Gian Luca Pozzato |