Gian Luca Pozzato

118 papers A* 2A 7B 19C 3Journal 34Unranked 47

Year	Rank	Type	Title / Venue / Authors
2026	B	`ed.`	Automated Reasoning with Analytic Tableaux and Related Methods - 34th International Conference, TABLEAUX 2025, Reykjavik, Iceland, September 27-29, 2025, Proceedings TABLEAUX Gian Luca Pozzato, Tarmo Uustalu
2026	J	`jnl`	Learning typicality inclusions in a probabilistic description logic for concept combination and an application for recommending musical contents. J. Log. Comput. Valentina Gliozzi, Gian Luca Pozzato, Alberto Valese
2026	J	`jnl`	Two semantic interpretations of probabilities in description logics of typicality. Log. J. IGPL Antonio Lieto, Gian Luca Pozzato
2025	—	`conf`	An Application of the TCL Logic to Aerospace Missions. CILC Antonio Lieto, Marco Orusa, Gian Luca Pozzato, Stefano Zoia
2025	A*	`conf`	The Delta of Thought: Channeling Rivers of Commonsense Knowledge in the Sea of Metaphorical Interpretations. IJCAI Antonio Lieto, Gian Luca Pozzato, Stefano Zoia
2024	—	`conf`	A Description Logics Based Cognitively Inspired Tool for Knowledge Generation via Concept Combination. CILC Antonio Lieto, Gian Luca Pozzato, Gioele Tallone
2024	J	`jnl`	A sensemaking system for grouping and suggesting stories from multiple affective viewpoints in museums. Hum. Comput. Interact. Antonio Lieto, Manuel Striani, Cristina Gena, Enrico Dolza, Anna Maria Marras, Gian Luca Pozzato, Rossana Damiano
2024	C	`conf`	Learning Typicality Inclusions in a Probabilistic Description Logic for Concept Combination. ISMIS Alberto Valese, Valentina Gliozzi, Gian Luca Pozzato
2024	J	`jnl`	Sequent calculi and an efficient theorem prover for conditional logics with selection function semantics. J. Log. Comput. Valentina Gliozzi, Gian Luca Pozzato, Gabriele Tessore, Alberto Valese
2023	—	`conf`	A Defeasible Description Logic for Abduction. AI*IA Gian Luca Pozzato, Marco Spinnicchia
2023	J	`jnl`	A sensemaking system for grouping and suggesting stories from multiple affective viewpoints in museums. CoRR Antonio Lieto, Manuel Striani, Cristina Gena, Enrico Dolza, Anna Maria Marras, Gian Luca Pozzato, Rossana Damiano
2023	J	`jnl`	DEGARI 2.0: A diversity-seeking, explainable, and affective art recommender for social inclusion. Cogn. Syst. Res. Antonio Lieto, Gian Luca Pozzato, Manuel Striani, Stefano Zoia, Rossana Damiano
2023	—	`conf`	Proof Methods and Theorem Proving for Conditional Logics with Strong Centering. CILC Valentina Gliozzi, Gian Luca Pozzato, Alberto Valese
2022	—	`conf`	A Logic-Based Tool for Dynamic Generation and Classification of Musical Content. AI*IA Antonio Lieto, Gian Luca Pozzato, Alberto Valese, Mattia Zito
2022	—	`conf`	An Ontology-based Tool for Dynamic Generation, Classification and Recommendation of Novel Contents in Online Libraries. AI4CH@AI*IA Chiara Barbera, Antonio Lieto, Gian Luca Pozzato
2022	J	`jnl`	Calculi, countermodel generation and theorem prover for strong logics of counterfactual reasoning. J. Log. Comput. Marianna Girlando, Björn Lellmann, Nicola Olivetti, Stefano Pesce, Gian Luca Pozzato
2022	J	`jnl`	Combining neural and symbolic approaches to solve the Picasso problem: A first step. Displays Valentina Gliozzi, Gian Luca Pozzato, Alberto Valese
2022	—	`conf`	Efficient Theorem Proving for Conditional Logics with Conditional Excluded Middle. CILC Nikola Panic, Gian Luca Pozzato
2022	—	`conf`	Formal Methods Meet XAI: the Tool DEGARI 2.0 for Social Inclusion. OVERLAY@AI*IA Antonio Lieto, Gian Luca Pozzato, Manuel Striani, Stefano Zoia, Rossana Damiano
2022	—	`conf`	Labelled Sequent Calculi for Conditional Logics: Conditional Excluded Middle and Conditional Modus Ponens Finally Together. AI*IA Nicola Olivetti, Nikola Panic, Gian Luca Pozzato
2022	J	`jnl`	Probabilistic Semantic Web Reasoning and Learning, by Zese Riccardo. Theory Pract. Log. Program. Gian Luca Pozzato
2021	J	`jnl`	A Commonsense Reasoning Framework for Explanatory Emotion Attribution, Generation and Re-classification. CoRR Antonio Lieto, Gian Luca Pozzato, Stefano Zoia, Viviana Patti, Rossana Damiano
2021	J	`jnl`	A commonsense reasoning framework for explanatory emotion attribution, generation and re-classification. Knowl. Based Syst. Antonio Lieto, Gian Luca Pozzato, Stefano Zoia, Viviana Patti, Rossana Damiano
2021	—	`ed.`	Proceedings 37th International Conference on Logic Programming (Technical Communications), ICLP Technical Communications 2021, Porto (virtual event), 20-27th September 2021. ICLP Technical Communications Andrea Formisano, Yanhong Annie Liu, Bart Bogaerts, Alex Brik, Verónica Dahl, Carmine Dodaro, Paul Fodor, Gian Luca Pozzato, Joost Vennekens, Neng-Fa Zhou
2021	—	`ed.`	Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Twelfth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2021), Padua, Italy, September 22, 2021. OVERLAY@GandALF Dario Della Monica, Gian Luca Pozzato, Enrico Scala
2020	A	`conf`	A Goal-Oriented Framework for Knowledge Invention and Creative Problem Solving in Cognitive Architectures. ECAI Eleonora Chiodino, Antonio Lieto, Federico Perrone, Gian Luca Pozzato
2020	A	`conf`	A Knowledge-Based System for the Dynamic Generation and Classification of Novel Contents in Multimedia Broadcasting. ECAI Eleonora Chiodino, Davide Di Luccio, Antonio Lieto, Alberto Messina, Gian Luca Pozzato, Davide Rubinetti
2020	J	`jnl`	A description logic framework for commonsense conceptual combination integrating typicality, probabilities and cognitive heuristics. J. Exp. Theor. Artif. Intell. Antonio Lieto, Gian Luca Pozzato
2020	—	`ed.`	Applications and Practices in Ontology Design, Extraction, and Reasoning. Applications and Practices in Ontology Design, Extraction, and Reasoning Giuseppe Cota, Marilena Daquino, Gian Luca Pozzato
2020	—	`conf`	HYPNO: Theorem Proving with Hypersequent Calculi for Non-normal Modal Logics (System Description). IJCAR (2) Tiziano Dalmonte, Nicola Olivetti, Gian Luca Pozzato
2020	J	`jnl`	Proof-search and countermodel generation for non-normal modal logics: The theorem prover PRONOM. Intelligenza Artificiale Tiziano Dalmonte, Sara Negri, Nicola Olivetti, Gian Luca Pozzato
2020	—	`ch.`	Reasoning About Typicality and Probabilities in Preferential Description Logics. Applications and Practices in Ontology Design, Extraction, and Reasoning Laura Giordano, Valentina Gliozzi, Antonio Lieto, Nicola Olivetti, Gian Luca Pozzato
2020	J	`jnl`	Reasoning about Typicality and Probabilities in Preferential Description Logics. CoRR Laura Giordano, Valentina Gliozzi, Antonio Lieto, Nicola Olivetti, Gian Luca Pozzato
2020	—	`conf`	Theorem Proving for Lewis Logics of Counterfactual Reasoning. CILC Marianna Girlando, Björn Lellmann, Nicola Olivetti, Stefano Pesce, Gian Luca Pozzato
2020	—	`conf`	Theorem Proving for Non-normal Modal Logics. OVERLAY Tiziano Dalmonte, Sara Negri, Nicola Olivetti, Gian Luca Pozzato
2020	—	`conf`	What Cognitive Research Can Do for AI: a Case Study (short paper). DP@AI*IA Antonio Lieto, Gian Luca Pozzato
2019	B	`conf`	A Dynamic Knowledge Generation System for Cognitive Agents. ICTAI Antonio Lieto, Gian Luca Pozzato, Federico Perrone
2019	—	`conf`	A Typicality-Based Knowledge Generation Framework. BICA Antonio Lieto, Federico Perrone, Gian Luca Pozzato, Eleonora Chiodino
2019	J	`jnl`	Applying a description logic of typicality as a generative tool for concept combination in computational creativity. Intelligenza Artificiale Antonio Lieto, Gian Luca Pozzato
2019	J	`jnl`	Beyond subgoaling: A dynamic knowledge generation framework for creative problem solving in cognitive architectures. Cogn. Syst. Res. Antonio Lieto, Federico Perrone, Gian Luca Pozzato, Eleonora Chiodino
2019	—	`conf`	GOCCIOLA: Generating New Knowledge by Combining Concepts in Description Logics of Typicality (short paper). CILC Antonio Lieto, Federico Perrone, Gian Luca Pozzato
2019	B	`conf`	Knowledge Capturing via Conceptual Reframing: A Goal-oriented Framework for Knowledge Invention. K-CAP Antonio Lieto, Gian Luca Pozzato, Federico Perrone, Eleonora Chiodino
2019	—	`conf`	PEAR: a Tool for Reasoning About Scenarios and Probabilities in Description Logics of Typicality (short paper). CILC Gian Luca Pozzato, Gabriele Soriano
2019	—	`conf`	PRONOM: Proof-Search and Countermodel Generation for Non-normal Modal Logics. AI*IA Tiziano Dalmonte, Sara Negri, Nicola Olivetti, Gian Luca Pozzato
2019	J	`jnl`	Typicalities and probabilities of exceptions in nonmotonic Description Logics. Int. J. Approx. Reason. Gian Luca Pozzato
2018	J	`jnl`	A Description Logic Framework for Commonsense Conceptual Combination Integrating Typicality, Probabilities and Cognitive Heuristics. CoRR Antonio Lieto, Gian Luca Pozzato
2018	C	`conf`	A Description Logic of Typicality for Conceptual Combination. ISMIS Antonio Lieto, Gian Luca Pozzato
2018	—	`conf`	COCOS: a typicality based COncept COmbination System. CILC Antonio Lieto, Gian Luca Pozzato, Alberto Valese
2018	—	`conf`	Creative Concept Generation by Combining Description Logic of Typicality, Probabilities and Cognitive Heuristics. AI*IA Antonio Lieto, Gian Luca Pozzato
2018	—	`conf`	On Probabilities of Exceptions in Description Logics of Typicality. CILC Gian Luca Pozzato
2018	J	`jnl`	Revision of Ontologies to Accommodate Exceptions: a Typicality-based Approach. Fundam. Informaticae Roberto Micalizio, Gian Luca Pozzato
2017	—	`conf`	An Efficient Reasoner for Description Logics of Typicality and Rational Closure. Description Logics Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato, Riccardo Renzulli
2017	B	`conf`	Hypersequent Calculi for Lewis' Conditional Logics with Uniformity and Reflexivity. TABLEAUX Marianna Girlando, Björn Lellmann, Nicola Olivetti, Gian Luca Pozzato
2017	J	`jnl`	Preface. Fundam. Informaticae Laura Giordano, Valentina Gliozzi, Alberto Pettorossi, Gian Luca Pozzato
2017	—	`conf`	RAT-OWL: Reasoning with Rational Closure in Description Logics of Typicality. ICTCS/CILC Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato, Riccardo Renzulli
2017	J	`jnl`	Reasoning about plausible scenarios in Description Logics of typicality. Intelligenza Artificiale Gian Luca Pozzato
2017	C	`conf`	Reasoning in Description Logics with Typicalities and Probabilities of Exceptions. ECSQARU Gian Luca Pozzato
2017	B	`conf`	VINTE: An Implementation of Internal Calculi for Lewis' Logics of Counterfactual Reasoning. TABLEAUX Marianna Girlando, Björn Lellmann, Nicola Olivetti, Gian Luca Pozzato, Quentin Vitalis
2016	A	`conf`	A Typicality-Based Revision to Handle Exceptions in Description Logics. ECAI Roberto Micalizio, Gian Luca Pozzato
2016	J	`jnl`	Nested sequent calculi for normal conditional logics. J. Log. Comput. Régis Alenda, Nicola Olivetti, Gian Luca Pozzato
2016	—	`conf`	Reasoning About Surprising Scenarios in Description Logics of Typicality. AI*IA Gian Luca Pozzato
2016	B	`conf`	Standard Sequent Calculi for Lewis' Logics of Counterfactuals. JELIA Marianna Girlando, Björn Lellmann, Nicola Olivetti, Gian Luca Pozzato
2015	—	`conf`	A Multi-engine Theorem Prover for a Description Logic of Typicality. AI*IA Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Luca Violanti
2015	B	`conf`	A Standard Internal Calculus for Lewis' Counterfactual Logics. TABLEAUX Nicola Olivetti, Gian Luca Pozzato
2015	—	`conf`	A natural sequent calculus for Lewis' logic of counterfactuals. CILC Nicola Olivetti, Gian Luca Pozzato
2015	—	`conf`	DysToPic: a Multi-Engine Theorem Prover for Preferential Description Logics. Description Logics Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Luca Violanti
2015	J	`jnl`	Nested sequent calculi and theorem proving for normal conditional logics: The theorem prover NESCOND. Intelligenza Artificiale Nicola Olivetti, Gian Luca Pozzato
2015	—	`conf`	Preferential description logics meet sports entertainment: cardinality restrictions and perfect extensions for a better royal rumble match. CILC Gian Luca Pozzato
2015	J	`jnl`	Semantic characterization of rational closure: From propositional logic to description logics. Artif. Intell. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2014	J	`jnl`	Logics in access control: a conditional approach. J. Log. Comput. Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato
2014	—	`conf`	Minimal models for rational closure in SHIQ. ICTCS Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2014	A	`conf`	NESCOND: An Implementation of Nested Sequent Calculi for Conditional Logics. IJCAR Nicola Olivetti, Gian Luca Pozzato
2014	—	`ed.`	Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014. CILC Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato
2014	—	`conf`	Rational Closure in SHIQ. Description Logics Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2014	J	`jnl`	Rational Closure in SHIQ. CoRR Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2013	—	`conf`	A Semantics for Rational Closure: Preliminary Results. CILC Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2013	J	`jnl`	A non-monotonic Description Logic for reasoning about typicality. Artif. Intell. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2013	—	`conf`	Minimal Model Semantics and Rational Closure in Description Logics. Description Logics Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2013	—	`conf`	Nested Sequent Calculi and Theorem Proving for Normal Conditional Logics. CILC Nicola Olivetti, Gian Luca Pozzato
2013	J	`jnl`	On Rational Closure in Description Logics of Typicality CoRR Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2013	—	`conf`	PreDeLo 1.0: A Theorem Prover for Preferential Description Logics. AI*IA Laura Giordano, Valentina Gliozzi, Adam Jalal, Nicola Olivetti, Gian Luca Pozzato
2012	B	`conf`	A Minimal Model Semantics for Nonmonotonic Reasoning. JELIA Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2012	—	`conf`	A Modal Reconstruction of Rational Closure. CILC Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2012	B	`conf`	Nested Sequent Calculi for Conditional Logics. JELIA Régis Alenda, Nicola Olivetti, Gian Luca Pozzato
2012	—	`conf`	Preferential Low Complexity Description Logics: Complexity Results and Proof Methods. Description Logics Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2011	B	`conf`	A Conditional Constructive Logic for Access Control and Its Sequent Calculus. TABLEAUX Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato
2011	B	`conf`	A Tableau Calculus for a Nonmonotonic Extension of TABLEAUX Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2011	—	`conf`	A Tableau Calculus for a Nonmonotonic Extension of the Description Logic $\mbox{\em DL-Lite}_{\mathit{core}}$. AI*IA Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2011	J	`jnl`	Non-classical logics for knowledge representation and reasoning. Intelligenza Artificiale Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind
2011	—	`conf`	Nonmonotonic extensions of low-complexity DLs: complexity results and proof methods. CILC Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2011	A*	`conf`	Reasoning about Typicality in Low Complexity DLs: The Logics EL IJCAI Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2011	—	`conf`	Verifying Compliance of Business Processes with Temporal Answer Sets. CILC Davide D'Aprile, Laura Giordano, Valentina Gliozzi, Alberto Martelli, Gian Luca Pozzato, Daniele Theseider Dupré
2010	—	`conf`	A Constructive Conditional Logic for Access Control. CILC Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato
2010	—	`conf`	A Nonmonotonic Extension of KLM Preferential Logic P. LPAR (Yogyakarta) Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2010	A	`conf`	A constructive conditional logic for access control: a preliminary report. ECAI Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato
2010	—	`book`	Conditional and Preferential Logics: Proof Methods and Theorem Proving Gian Luca Pozzato
2010	A	`conf`	Preferential vs Rational Description Logics: which one for Reasoning About Typicality?. ECAI Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2010	—	`conf`	Reasoning About Typicality in Preferential Description Logics: Preferential vs Rational Entailment. CILC Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2010	—	`conf`	Verifying Business Process Compliance by Reasoning about Actions. CLIMA Davide D'Aprile, Laura Giordano, Valentina Gliozzi, Alberto Martelli, Gian Luca Pozzato, Daniele Theseider Dupré
2009	J	`jnl`	ALC + T: a Preferential Extension of Description Logics. Fundam. Informaticae Laura Giordano, Nicola Olivetti, Valentina Gliozzi, Gian Luca Pozzato
2009	J	`jnl`	Analytic tableaux calculi for KLM logics of nonmonotonic reasoning. ACM Trans. Comput. Log. Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2009	—	`conf`	CSL-lean: A Theorem-prover for the Logic of Comparative Concept Similarity. M4M Régis Alenda, Nicola Olivetti, Gian Luca Pozzato
2009	B	`conf`	Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results. LPNMR Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2009	—	`conf`	Reasoning About Typicality in ALC and EL. Description Logics Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2009	—	`conf`	Reasoning about Typicality with Low Complexity Description Logics: The Logic AI*IA Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2008	—	`conf`	Non-Classical Logics for Knowledge Representation and Reasoning. Il Milione Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind
2008	B	`conf`	Reasoning about Typicality in Preferential Description Logics. JELIA Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2007	J	`jnl`	A sequent calculus and a theorem prover for standard conditional logics. ACM Trans. Comput. Log. Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind
2007	—	`conf`	An Implementation of a Free-Variable Tableaux for KLM Preferential Logic P of Nonmonotonic Reasoning: The Theorem Prover FreeP 1.0. AI*IA Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2007	B	`conf`	KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning. TABLEAUX Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato
2007	B	`conf`	Preferential Description Logics. LPAR Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2006	B	`conf`	Analytic Tableau Calculi for KLM Rational Logic R. JELIA Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2006	J	`jnl`	Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning CoRR Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2006	A	`conf`	Automated Deduction for Logics of Default Reasoning. ECAI Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2005	B	`conf`	Analytic Tableaux for KLM Preferential and Cumulative Logics. LPAR Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato
2005	B	`conf`	CondLean 3.0: Improving CondLean for Stronger Conditional Logics. TABLEAUX Nicola Olivetti, Gian Luca Pozzato
2004	J	`jnl`	A Sequent Calculus and a Theorem Prover for Standard Conditional Logics CoRR Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind
2003	B	`conf`	CondLean: A Theorem Prover for Conditional Logics. TABLEAUX Nicola Olivetti, Gian Luca Pozzato