Artificial Intelligence
A logic for reasoning about probabilities
Information and Computation - Selections from 1988 IEEE symposium on logic in computer science
Nonmonotonic reasoning, preferential models and cumulative logics
Artificial Intelligence
An analysis of first-order logics of probability
Artificial Intelligence
On the consistency of defeasible databases
Artificial Intelligence
Probabilistic logic programming
Information and Computation
Probabilistic Horn abduction and Bayesian networks
Artificial Intelligence
Anytime deduction for probabilistic logic
Artificial Intelligence
Qualitative probabilities for default reasoning, belief revision, and causal modeling
Artificial Intelligence
From statistical knowledge bases to degrees of belief
Artificial Intelligence
Answering queries from context-sensitive probabilistic knowledge bases
Selected papers from the international workshop on Uncertainty in databases and deductive systems
The independent choice logic for modelling multiple agents under uncertainty
Artificial Intelligence - Special issue on economic principles of multi-agent systems
On the complexity of inference about probabilistic relational models
Artificial Intelligence
Belief functions and default reasoning
Artificial Intelligence
Probabilistic logic programming with conditional constraints
ACM Transactions on Computational Logic (TOCL)
Probabilistic Default Reasoning with Conditional Constraints
Annals of Mathematics and Artificial Intelligence
P-SHOQ(D): A Probabilistic Extension of SHOQ(D) for Probabilistic Ontologies in the Semantic Web
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Credal Networks under Maximum Entropy
UAI '00 Proceedings of the 16th Conference on Uncertainty in Artificial Intelligence
Combining probabilistic logic programming with the power of maximum entropy
Artificial Intelligence - Special issue on nonmonotonic reasoning
System Z: a natural ordering of defaults with tractable applications to nonmonotonic reasoning
TARK '90 Proceedings of the 3rd conference on Theoretical aspects of reasoning about knowledge
Spinning the Semantic Web: Bringing the World Wide Web to Its Full Potential
Spinning the Semantic Web: Bringing the World Wide Web to Its Full Potential
Fuzzy Description Logic Programs under the Answer Set Semantics for the Semantic Web
RULEML '06 Proceedings of the Second International Conference on Rules and Rule Markup Languages for the Semantic Web
PR-OWL: A Framework for Probabilistic Ontologies
Proceedings of the 2006 conference on Formal Ontology in Information Systems: Proceedings of the Fourth International Conference (FOIS 2006)
Reducing OWL entailment to description logic satisfiability
Web Semantics: Science, Services and Agents on the World Wide Web
On the decidability and complexity of integrating ontologies and rules
Web Semantics: Science, Services and Agents on the World Wide Web
Hybrid probabilistic programs: algorithms and complexity
UAI'99 Proceedings of the Fifteenth conference on Uncertainty in artificial intelligence
Effective integration of declarative rules with external evaluations for semantic-web reasoning
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
Towards a fuzzy description logic for the semantic web (preliminary report)
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
Probabilistic description logic programs
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Description logic programs under probabilistic uncertainty and fuzzy vagueness
International Journal of Approximate Reasoning
Uncertainty in the Semantic Web
SUM '09 Proceedings of the 3rd International Conference on Scalable Uncertainty Management
A formal framework for description logics with uncertainty
International Journal of Approximate Reasoning
Uncertainty Reasoning for the Semantic Web
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
On the combination of logical and probabilistic models for information analysis
Applied Intelligence
| Hi-index | 0.00 |
Towards uncertainty reasoning in the Rules, Logic, and Proof layers of the Semantic Web, we present a novel approach to probabilistic description logic programs, which combine probabilistic logic programs, probabilistic default theories, and the description logics behind OWL Lite and OWL DL. The approach is based on new notions of entailment for reasoning with conditional constraints, which realize the principle of inheritance with overriding for both classical and purely probabilistic knowledge. They are obtained by generalizing previous formalisms for probabilistic default reasoning with conditional constraints. In addition to dealing with probabilistic knowledge, the new notions of entailment thus also allow for handling default knowledge. We analyze the semantic properties of the new entailment relations. We also present algorithms for solving the main computational problems related to probabilistic description logic programs under inheritance with overriding.