Giovanni Casini

CoRR, 2024

2023

Situated conditional reasoning.

[BibT_eX]

[DOI]

Artif. Intell., June, 2023

Defeasible RDFS via rational closure.

[BibT_eX]

[DOI]

Inf. Sci., 2023

Revising Typical Beliefs: One Revision to Rule Them All.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

2022

Normative Change: An AGM Approach.

[BibT_eX]

[DOI]

Juliano Maranhão

Gabriella Pigozzi

Leendert van der Torre

FLAP, 2022

KLM-Style Defeasibility for Restricted First-Order Logic.

[BibT_eX]

[DOI]

Proceedings of the Rules and Reasoning, 2022

Defeasible Reasoning in RDFS.

[BibT_eX]

[DOI]

Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, 2022

Situated Conditionals - A Brief Introduction.

[BibT_eX]

[DOI]

Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, 2022

A Minimal Deductive System for RDFS with Negative Statements.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022

A General Framework for Modelling Conditional Reasoning - Preliminary Report.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022

2021

Principles of KLM-style Defeasible Description Logics.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2021

A Rational Entailment for Expressive Description Logics via Description Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence Research - Second Southern African Conference, 2021

Contextual Conditional Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

A Boolean Extension of KLM-Style Conditional Reasoning.

[BibT_eX]

[DOI]

Guy Paterson-Jones

Proceedings of the Artificial Intelligence Research, 2020

Rational Defeasible Belief Change.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

2019

A polynomial Time Subsumption Algorithm for Nominal Safe ELO⊥ under Rational Closure.

[BibT_eX]

[DOI]

Inf. Sci., 2019

Editorial: Defeasible and Ampliative Reasoning.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2019

Theoretical Foundations of Defeasible Description Logics.

[BibT_eX]

[DOI]

CoRR, 2019

On rational entailment for Propositional Typicality Logic.

[BibT_eX]

[DOI]

Artif. Intell., 2019

Taking Defeasible Entailment Beyond Rational Closure.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

Simple Conditionals with Constrained Right Weakening.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Arbitrary Ranking of Defeasible Subsumption.

[BibT_eX]

[DOI]

Proceedings of the 32nd International Workshop on Description Logics, 2019

A KLM Perspective on Defeasible Reasoning for Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Description Logic, Theory Combination, and All That, 2019

2018

SiCILIA - Silicon Carbide Detectors for Intense Luminosity Investigations and Applications.

[BibT_eX]

[DOI]

Sensors, 2018

A Polynomial Time Subsumption Algorithm for Nominal Safe ELO<sub>⊥</sub> under Rational Closure.

[BibT_eX]

[DOI]

CoRR, 2018

A Semantic Perspective on Belief Change in a Preferential Non-Monotonic Framework.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

2017

Postulates for Revocation Schemes.

[BibT_eX]

[DOI]

Marcos Cramer

Proceedings of the Principles of Security and Trust - 6th International Conference, 2017

Belief Change in a Preferential Non-monotonic Framework.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

2016

Revising Incompletely Specified Convex Probabilistic Belief Bases.

[BibT_eX]

[DOI]

Gavin Rens

CoRR, 2016

Using Defeasible Information to Obtain Coherence.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

On Revision of Partially Specified Convex Probabilistic Belief Bases.

[BibT_eX]

[DOI]

Gavin Rens

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

2015

Introducing Defeasibility into OWL Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2015, 2015

On the Entailment Problem for a Logic of Typicality.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

What Does Entailment for PTL Mean?

[BibT_eX]

[DOI]

Proceedings of the 2015 AAAI Spring Symposia, 2015

2014

Relevant Closure: A New Form of Defeasible Reasoning for Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

2013

Defeasible Inheritance-Based Description Logics.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2013

Towards Rational Closure for Fuzzy Logic: The Case of Propositional Gödel Logic.

[BibT_eX]

[DOI]

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

Nonmonotonic Reasoning in Description Logics: Rational Closure for the ABox.

[BibT_eX]

[DOI]

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

Towards Practical Defeasible Reasoning for Description Logics.

[BibT_eX]

[DOI]

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

Preferential Role Restrictions.

[BibT_eX]

[DOI]

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

Non-monotonic Reasoning in Conceptual Modeling and Ontology Design: A Proposal.

[BibT_eX]

[DOI]

Alessandro Mosca

Proceedings of the Advanced Information Systems Engineering Workshops, 2013

2012

A note on the translation of conceptual data models into description logics: disjointness and covering assumptions.

[BibT_eX]

[DOI]

Aurona Gerber

Proceedings of the 2012 South African Institute of Computer Scientists and Information Technologists Conference, 2012

2010

Rational Closure for Defeasible Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010

2009

A Note on Cumulative Stereotypical Reasoning.

[BibT_eX]

[DOI]