Gian Luca Pozzato

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

What Cognitive Research Can Do for AI: a Case Study (short paper).

[BibT_eX]

[DOI]

Proceedings of the AIxIA 2020 Discussion Papers Workshop co-located with the the 19th International Conference of the Italian Association for Artificial Intelligence (AIxIA2020), 2020

2019

Typicalities and probabilities of exceptions in nonmotonic Description Logics.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2019

Applying a description logic of typicality as a generative tool for concept combination in computational creativity.

[BibT_eX]

[DOI]

Intelligenza Artificiale, 2019

Beyond subgoaling: A dynamic knowledge generation framework for creative problem solving in cognitive architectures.

[BibT_eX]

[DOI]

Cogn. Syst. Res., 2019

Knowledge Capturing via Conceptual Reframing: A Goal-oriented Framework for Knowledge Invention.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Knowledge Capture, 2019

A Dynamic Knowledge Generation System for Cognitive Agents.

[BibT_eX]

[DOI]

Federico Perrone

Proceedings of the 31st IEEE International Conference on Tools with Artificial Intelligence, 2019

PEAR: a Tool for Reasoning About Scenarios and Probabilities in Description Logics of Typicality (short paper).

[BibT_eX]

[DOI]

Gabriele Soriano

Proceedings of the 34th Italian Conference on Computational Logic, 2019

GOCCIOLA: Generating New Knowledge by Combining Concepts in Description Logics of Typicality (short paper).

[BibT_eX]

[DOI]

Federico Perrone

Proceedings of the 34th Italian Conference on Computational Logic, 2019

A Typicality-Based Knowledge Generation Framework.

[BibT_eX]

[DOI]

Proceedings of the Biologically Inspired Cognitive Architectures 2019, 2019

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

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2019 - Advances in Artificial Intelligence, 2019

2018

Revision of Ontologies to Accommodate Exceptions: a Typicality-based Approach.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2018

A Description Logic of Typicality for Conceptual Combination.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Intelligent Systems - 24th International Symposium, 2018

On Probabilities of Exceptions in Description Logics of Typicality.

[BibT_eX]

[DOI]

Proceedings of the 33rd Italian Conference on Computational Logic, 2018

COCOS: a typicality based COncept COmbination System.

[BibT_eX]

[DOI]

Alberto Valese

Proceedings of the 33rd Italian Conference on Computational Logic, 2018

Creative Concept Generation by Combining Description Logic of Typicality, Probabilities and Cognitive Heuristics.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2018 - Advances in Artificial Intelligence, 2018

2017

Reasoning about plausible scenarios in Description Logics of typicality.

[BibT_eX]

[DOI]

Intelligenza Artificiale, 2017

Preface.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2017

VINTE: An Implementation of Internal Calculi for Lewis' Logics of Counterfactual Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2017

Hypersequent Calculi for Lewis' Conditional Logics with Uniformity and Reflexivity.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2017

RAT-OWL: Reasoning with Rational Closure in Description Logics of Typicality.

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 IEEE International Workshop on Measurements and Networking (2017 IEEE M&N), 2017

Reasoning in Description Logics with Typicalities and Probabilities of Exceptions.

[BibT_eX]

[DOI]

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2017

An Efficient Reasoner for Description Logics of Typicality and Rational Closure.

[BibT_eX]

[DOI]

Proceedings of the 30th International Workshop on Description Logics, 2017

2016

Nested sequent calculi for normal conditional logics.

[BibT_eX]

[DOI]

Régis Alenda

J. Log. Comput., 2016

Standard Sequent Calculi for Lewis' Logics of Counterfactuals.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

A Typicality-Based Revision to Handle Exceptions in Description Logics.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

ALC + Texp: Beyond most likely Scenarios in Preferential Description Logics of Typicality.

[BibT_eX]

[DOI]

Gianluca Pozzato

Proceedings of the 31st Italian Conference on Computational Logic, 2016

Typicality-based Revision for Handling Exceptions in Description Logics.

[BibT_eX]

[DOI]

Gianluca Pozzato

Proceedings of the 31st Italian Conference on Computational Logic, 2016

Reasoning About Surprising Scenarios in Description Logics of Typicality.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2016: Advances in Artificial Intelligence - XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29, 2016

2015

Nested sequent calculi and theorem proving for normal conditional logics: The theorem prover NESCOND.

[BibT_eX]

[DOI]

Intelligenza Artificiale, 2015

Semantic characterization of rational closure: From propositional logic to description logics.

[BibT_eX]

[DOI]

Artif. Intell., 2015

A Standard Internal Calculus for Lewis' Counterfactual Logics.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2015

DysToPic: a Multi-Engine Theorem Prover for Preferential Description Logics.

[BibT_eX]

[DOI]

Proceedings of the 28th International Workshop on Description Logics, 2015

Preferential description logics meet sports entertainment: cardinality restrictions and perfect extensions for a better royal rumble match.

[BibT_eX]

[DOI]

Proceedings of the 30th Italian Conference on Computational Logic, 2015

A natural sequent calculus for Lewis' logic of counterfactuals.

[BibT_eX]

[DOI]

Proceedings of the 30th Italian Conference on Computational Logic, 2015

A Multi-engine Theorem Prover for a Description Logic of Typicality.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2015, Advances in Artificial Intelligence, 2015

2014

Logics in access control: a conditional approach.

[BibT_eX]

[DOI]

J. Log. Comput., 2014

Minimal models for rational closure in SHIQ.

[BibT_eX]

[DOI]

Proceedings of the 15th Italian Conference on Theoretical Computer Science, 2014

Rational Closure in SHIQ.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Revising Description Logic Terminologies to Handle Exceptions: a First Step.

[BibT_eX]

[DOI]

Gianluca Pozzato

Proceedings of the 29th Italian Conference on Computational Logic, 2014

NESCOND: An Implementation of Nested Sequent Calculi for Conditional Logics.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014

2013

On Rational Closure in Description Logics of Typicality

[BibT_eX]

[DOI]

CoRR, 2013

A non-monotonic Description Logic for reasoning about typicality.

[BibT_eX]

[DOI]

Artif. Intell., 2013

Minimal Model Semantics and Rational Closure in Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

Nested Sequent Calculi and Theorem Proving for Normal Conditional Logics.

[BibT_eX]

[DOI]

Proceedings of the 28th Italian Conference on Computational Logic, 2013

A Semantics for Rational Closure: Preliminary Results.

[BibT_eX]

[DOI]

Proceedings of the 28th Italian Conference on Computational Logic, 2013

PreDeLo 1.0: A Theorem Prover for Preferential Description Logics.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2013: Advances in Artificial Intelligence, 2013

2012

A Minimal Model Semantics for Nonmonotonic Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012

Nested Sequent Calculi for Conditional Logics.

[BibT_eX]

[DOI]

Régis Alenda

Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012

Preferential Low Complexity Description Logics: Complexity Results and Proof Methods.

[BibT_eX]

[DOI]

Proceedings of the 2012 International Workshop on Description Logics, 2012

A Modal Reconstruction of Rational Closure.

[BibT_eX]

[DOI]

Proceedings of the 9th Italian Convention on Computational Logic, 2012

2011

Non-classical logics for knowledge representation and reasoning.

[BibT_eX]

[DOI]

Intelligenza Artificiale, 2011

A Tableau Calculus for a Nonmonotonic Extension of EL^\mathcal{EL}^\bot.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2011

A Conditional Constructive Logic for Access Control and Its Sequent Calculus.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2011

Reasoning about Typicality in Low Complexity DLs: The Logics EL⊥Tmin and DL-Litec Tmin.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

Nonmonotonic extensions of low-complexity DLs: complexity results and proof methods.

[BibT_eX]

[DOI]

Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31, 2011

Verifying Compliance of Business Processes with Temporal Answer Sets.

[BibT_eX]

[DOI]

Daniele Theseider Dupré

Proceedings of the 26th Italian Conference on Computational Logic, Pescara, Italy, August 31, 2011

A Tableau Calculus for a Nonmonotonic Extension of the Description Logic $\mbox{\em DL-Lite}_{\mathit{core}}$.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2011: Artificial Intelligence Around Man and Beyond, 2011

2010

Conditional and Preferential Logics: Proof Methods and Theorem Proving

[BibT_eX]

[DOI]

Frontiers in Artificial Intelligence and Applications 208, IOS Press, ISBN: 978-1-60750-094-0, 2010

A Nonmonotonic Extension of KLM Preferential Logic P.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

Preferential vs Rational Description Logics: which one for Reasoning About Typicality?.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2010, 2010

A constructive conditional logic for access control: a preliminary report.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2010, 2010

Verifying Business Process Compliance by Reasoning about Actions.

[BibT_eX]

[DOI]

Daniele Theseider Dupré

Proceedings of the Computational Logic in Multi-Agent Systems, 11th International Workshop, 2010

Reasoning About Typicality in Preferential Description Logics: Preferential vs Rational Entailment.

[BibT_eX]

[DOI]

Proceedings of the 25th Italian Conference on Computational Logic, 2010

A Constructive Conditional Logic for Access Control.

[BibT_eX]

[DOI]

Proceedings of the 25th Italian Conference on Computational Logic, 2010

2009

Analytic tableaux calculi for KLM logics of nonmonotonic reasoning.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2009

ALC + T: a Preferential Extension of Description Logics.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2009

CSL-lean: A Theorem-prover for the Logic of Comparative Concept Similarity.

[BibT_eX]

[DOI]

Régis Alenda

Proceedings of the 6th Workshop on Methods for Modalities, 2009

Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Reasoning About Typicality in ALC and EL.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

Reasoning about Typicality with Low Complexity Description Logics: The Logic EL+^T.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2009: Emergent Perspectives in Artificial Intelligence, 2009

2008

Reasoning about Typicality in Preferential Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, 11th European Conference, 2008

2007

A sequent calculus and a theorem prover for standard conditional logics.

[BibT_eX]

[DOI]

Camilla Schwind

ACM Trans. Comput. Log., 2007

KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning.

[BibT_eX]

[DOI]

Laura Giordano

Valentina Gliozzi

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2007

Preferential Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2007

An Implementation of a Free-Variable Tableaux for KLM Preferential Logic P of Nonmonotonic Reasoning: The Theorem Prover FreeP 1.0.

[BibT_eX]

[DOI]

Proceedings of the AI*IA 2007: Artificial Intelligence and Human-Oriented Computing, 2007

2006

Analytic Tableau Calculi for KLM Rational Logic R.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

Automated Deduction for Logics of Default Reasoning.

[BibT_eX]

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

2005

CondLean 3.0: Improving CondLean for Stronger Conditional Logics.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2005

Analytic Tableaux for KLM Preferential and Cumulative Logics.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2005

2003

CondLean: A Theorem Prover for Conditional Logics.

[BibT_eX]

[DOI]