Ivan Varzinczak

Artif. Intell., June, 2023

Defeasible linear temporal logic.

[BibT_eX]

[DOI]

Anasse Chafik

Fahima Cheikh Alili

Jean-François Condotta

J. Appl. Non Class. Logics, January, 2023

A connection method for a defeasible extension of ALCH.

[BibT_eX]

[DOI]

Renan Fernandes

Pedro Porfirio Muniz Farias

CoRR, 2023

2022

KLM-Style Defeasibility for Restricted First-Order Logic.

[BibT_eX]

[DOI]

Proceedings of the Rules and Reasoning, 2022

Situated Conditionals - A Brief Introduction.

[BibT_eX]

[DOI]

Thomas Andreas Meyer

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

Tree Edit Distance Based Ontology Merging Evaluation Framework.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Science, Engineering and Management, 2022

Region-Based Merging of Open-Domain Terminological Knowledge.

[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 One-Pass Tree-Shaped Tableau for Defeasible LTL.

[BibT_eX]

[DOI]

Anasse Chafik

Fahima Cheikh Alili

Jean-François Condotta

Proceedings of the 28th International Symposium on Temporal Representation and Reasoning, 2021

A Connection Method for a Defeasible Extension of ALC.

[BibT_eX]

[DOI]

Renan Fernandes

Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

Contextual Conditional Reasoning.

[BibT_eX]

[DOI]

Thomas Andreas Meyer

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

Conditional Inference under Disjunctive Rationality.

[BibT_eX]

[DOI]

Richard Booth

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

2020

Defeasible Description Logics.

[BibT_eX]

[DOI]

Künstliche Intell., 2020

On the Decidability of a Fragment of preferential LTL.

[BibT_eX]

[DOI]

Anasse Chafik

Fahima Cheikh Alili

Jean-François Condotta

Proceedings of the 27th International Symposium on Temporal Representation and Reasoning, 2020

An Exercise in a Non-classical Semantics for Reasoning with Incompleteness and Inconsistencies.

[BibT_eX]

[DOI]

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

Model-based Merging of Open-Domain Ontologies.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE International Conference on Tools with Artificial Intelligence, 2020

2019

Editorial: Defeasible and Ampliative Reasoning.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2019

LEGIS: A Proposal to Handle Legal Normative Exceptions and Leverage Inference Proofs Readability.

[BibT_eX]

[DOI]

Cleyton M. O. Rodrigues

Eunice Palmeira da Silva

Italo Jose da Silva Oliveira

FLAP, 2019

Theoretical Foundations of Defeasible Description Logics.

[BibT_eX]

[DOI]

CoRR, 2019

Contextual rational closure for defeasible ALC.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2019

On rational entailment for Propositional Typicality Logic.

[BibT_eX]

[DOI]

Artif. Intell., 2019

Preferential Tableaux for Contextual Defeasible <i>ALC</i>.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 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

Contextual Rational Closure for Defeasible ALC (Extended Abstract).

[BibT_eX]

[DOI]

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

Reasoning with Contextual Defeasible ALC.

[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

Summary of main contributions to the field and some general perspectives on future research.

[BibT_eX]

[DOI]

, 2019

2018

A Note on a Description Logic of Concept and Role Typicality for Defeasible Reasoning Over Ontologies.

[BibT_eX]

[DOI]

Logica Universalis, 2018

Preferential Accessibility and Preferred Worlds.

[BibT_eX]

[DOI]

J. Log. Lang. Inf., 2018

From KLM-style conditionals to defeasible modalities, and back.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2018

Cardinality Restrictions Within Description Logic Connection Calculi.

[BibT_eX]

[DOI]

Proceedings of the Rules and Reasoning - Second International Joint Conference, 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

Rationality and Context in Defeasible Subsumption.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Information and Knowledge Systems, 2018

2017

Towards Defeasible SROIQ.

[BibT_eX]

[DOI]

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

Context-based defeasible subsumption for dSROIQ.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth International Symposium on Commonsense Reasoning, 2017

2016

Introducing Role Defeasibility in Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 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

Towards a Logic of Dilation.

[BibT_eX]

[DOI]

Arina Britz

Proceedings of the First Workshop on Logics for Reasoning about Preferences, 2014

2013

Defeasible Modalities.

[BibT_eX]

[DOI]

Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), 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

2012

Reasoning with Context in the Semantic Web.

[BibT_eX]

[DOI]

Jos Lehmann

Alan Bundy

J. Web Semant., 2012

A defeasible reasoning approach for description logic ontologies.

[BibT_eX]

[DOI]

Kodylan Moodley

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

PTL: A Propositional Typicality Logic.

[BibT_eX]

[DOI]

Richard Booth

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

A Protege Plug-in for Defeasible Reasoning.

[BibT_eX]

[DOI]

Kodylan Moodley

Proceedings of the 2012 International Workshop on Description Logics, 2012

Normal Modal Preferential Consequence.

[BibT_eX]

[DOI]

Proceedings of the AI 2012: Advances in Artificial Intelligence, 2012

2011

Constrained Consequence.

[BibT_eX]

[DOI]

Johannes Heidema

Logica Universalis, 2011

On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2011

Preferential Reasoning for Modal Logics.

[BibT_eX]

[DOI]

Proceedings of the 7th Workshop on Methods for Modalities, 2011

Root Justifications for Ontology Repair.

[BibT_eX]

[DOI]

Kodylan Moodley

Proceedings of the Web Reasoning and Rule Systems - 5th International Conference, 2011

Concept Model Semantics for DL Preferential Reasoning.

[BibT_eX]

[DOI]

Arina Britz

Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

Semantic Foundation for Preferential Description Logics.

[BibT_eX]

[DOI]

Proceedings of the AI 2011: Advances in Artificial Intelligence, 2011

A logic-based perspective on agent reconfiguration: Preliminary report.

[BibT_eX]

[DOI]

Proceedings of the AFRICON 2011, 2011

2010

On Action Theory Change.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2010

Horn Belief Change: A Contraction Core.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2010, 2010

A Logic for Reasoning about Actions and Explicit Observations.

[BibT_eX]

[DOI]

Proceedings of the AI 2010: Advances in Artificial Intelligence, 2010

2009

Next Steps in Propositional Horn Contraction.

[BibT_eX]

[DOI]

Richard Booth

Thomas Andreas Meyer

Proceedings of the IJCAI 2009, 2009

2008

Action Theory Evolution

[BibT_eX]

[DOI]

CoRR, 2008

Action Theory Erasure and Minimal Change.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

2007

Metatheory of actions: Beyond consistency.

[BibT_eX]

[DOI]

Artif. Intell., 2007

2006

What Is a Good Domain Description? Evaluating & Revising Action Theories in Dynamic Logic.

[BibT_eX]

[DOI]

PhD thesis, 2006

A Modularity Approach for a Fragment of <i>ALC</i>.

[BibT_eX]

[DOI]

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

Elaborating Domain Descriptions.

[BibT_eX]

Laurent Perrussel

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

2005

Cohesion, coupling and the meta-theory of actions.

[BibT_eX]

[DOI]

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

2004

Domain Descriptions Should Be Modular.

[BibT_eX]

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

On the Modularity of Theories.

[BibT_eX]

[DOI]