Reasoning and revision in hybrid representation systems
Reasoning and revision in hybrid representation systems
Combining Classification and Nonmonotonic Inheritance Reasoning: A First Step
ISMIS '93 Proceedings of the 7th International Symposium on Methodologies for Intelligent Systems
Feasibility of Optimised Disjunctive Reasoning for Approximate Matching
AI '99 Proceedings of the 12th Australian Joint Conference on Artificial Intelligence: Advanced Topics in Artificial Intelligence
Realizing Default Logic over Description Logic Knowledge Bases
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Part-whole reasoning in an object-centered framework
Part-whole reasoning in an object-centered framework
Defeasible inheritance with doubt index and its axiomatic characterization
Artificial Intelligence
Rational closure for defeasible description logics
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
A dynamic access control model
Applied Intelligence
Hi-index | 0.00 |
The problem of finding a set of assumptions which explain a given proposition is in general NP-hard, even when the background theory is an acyclic Horn theory. In this paper it is shown that when the background theory is acyclic Horn and its pseudo-completion ...