A logical framework for default reasoning
Artificial Intelligence
Nonmonotonic reasoning, preferential models and cumulative logics
Artificial Intelligence
Closed world reasoning in Hybrid systems
Methodologies for intelligent systems, 5
What does a conditional knowledge base entail?
Artificial Intelligence
Handbook of logic in artificial intelligence and logic programming
Handbook of logic in artificial intelligence and logic programming
General patterns in nonmonotonic reasoning
Handbook of logic in artificial intelligence and logic programming (vol. 3)
Preferential reasoning in the perspective of Poole default logic
Artificial Intelligence
An epistemic operator for description logics
Artificial Intelligence
Artificial Intelligence
A logical theory of nonmonotonic inference and belief change
A logical theory of nonmonotonic inference and belief change
Description logics of minimal knowledge and negation as failure
ACM Transactions on Computational Logic (TOCL)
Combining Classification and Nonmonotonic Inheritance Reasoning: A First Step
ISMIS '93 Proceedings of the 7th International Symposium on Methodologies for Intelligent Systems
A Default Extension to Description Logics for Use in an Intelligent Search Engine
HICSS '98 Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences-Volume 5 - Volume 5
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Reasoning about Typicality in Preferential Description Logics
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
Prototypical Reasoning with Low Complexity Description Logics: Preliminary Results
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
A terminological logic with defaults: a definition and an application
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
How to prefer more specific defaults in terminological default logic
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Default inheritance reasoning in hybrid KL-ONE-style logics
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Autoepistemic description logics
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
The logic of inheritance in frame systems
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
The complexity of circumscription in description logic
Journal of Artificial Intelligence Research
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Defeasible inclusions in low-complexity DLs: preliminary notes
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
A Preferential Tableaux Calculus for Circumscriptive ${\mathcal ALCO}$
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
Modelling Object Typicality in Description Logics
AI '09 Proceedings of the 22nd Australasian Joint Conference on Advances in Artificial Intelligence
Preferential description logics
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
A tableau calculus for a nonmonotonic extension of EL⊥
TABLEAUX'11 Proceedings of the 20th international conference on Automated reasoning with analytic tableaux and related methods
A tableau calculus for a nonmonotonic extension of the description logic DL-litecore
AI*IA'11 Proceedings of the 12th international conference on Artificial intelligence around man and beyond
Preferential Reasoning for Modal Logics
Electronic Notes in Theoretical Computer Science (ENTCS)
Datalog for security, privacy and trust
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Semantic foundation for preferential description logics
AI'11 Proceedings of the 24th international conference on Advances in Artificial Intelligence
Defeasible inclusions in low-complexity DLs
Journal of Artificial Intelligence Research
On the complexity of EL with defeasible inclusions
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Defeasible inheritance-based description logics
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Reasoning about typicality in low complexity DLs: the logics EL⊥Tmin and DL-LitecTmin
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
A defeasible reasoning approach for description logic ontologies
Proceedings of the South African Institute for Computer Scientists and Information Technologists Conference
A minimal model semantics for nonmonotonic reasoning
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
A non-monotonic Description Logic for reasoning about typicality
Artificial Intelligence
Normal modal preferential consequence
AI'12 Proceedings of the 25th Australasian joint conference on Advances in Artificial Intelligence
Preferential Semantics for Plausible Subsumption in Possibility Theory
Minds and Machines
Defeasible inheritance-based description logics
Journal of Artificial Intelligence Research
Hi-index | 0.00 |
In the field of non-monotonic logics, the notion of rational closure is acknowledged as a landmark, and we are going to see that such a construction can be characterised by means of a simple method in the context of propositional logic. We then propose an application of our approach to rational closure in the field of Description Logics, an important knowledge representation formalism, and provide a simple decision procedure for this case.