In recent years, various approaches have been developed for representing and reasoning
with exceptions in OWL. The price one pays for such capabilities, in terms of practical …

We report on an implementation of a tableaux calculus for sceptical consequence in Default
Logic built on Hybrid Modal Logic. In turn, our tool offers support for checking default …

Datalog is a powerful language that can be used to represent explicit knowledge and
compute inferences in knowledge bases. Datalog cannot, however, represent or reason …

Abstract Knowledge Representation (KR) and Reasoning are essential aspects of Artificial
Intelligence (AI) as they allow AI systems to conduct logical reasoning. Most classical logics …

The preferential approach to nonmonotonic reasoning was consolidated in depth by Krause,
Lehmann and Magidor (KLM) for propositional logic in the early 90's. In recent years, there …

Datalog is a powerful language that can be used to represent explicit knowledge and
compute inferences in knowledge bases. Datalog cannot represent or reason about …

Abstract ENGLISH SUMMARY: Ontologies provide knowledge engineers with the ability to
represent and encode knowledge in a formal language so that it can be reasoned over by a …

Human knowledge often is many domains often contains exceptions. The usefulness of
Knowledge Representation and Reasoning in real world applications has been limited by …

The field of defeasible reasoning has a variety of frameworks, all of which are constructed
with the view of codifying the patterns of common-sense reasoning inherent to human …