44 search results - page 1 / 9 » Probabilistic Logic under Coherence, Model-Theoretic Probabi... |
ECSQARU
2001
Springer
13 years 10 months ago
2001
Springer
AAAI
2012
11 years 7 months ago
2012
Tractable subsets of first-order logic are a central topic in AI research. Several of these formalisms have been used as the basis for first-order probabilistic languages. Howev...
ECAI
1998
Springer
13 years 9 months ago
1998
Springer
We present probabilistic logic programming under inheritance with overriding. This approach is based on new notions of entailment for reasoning with conditional constraints, which...
ESWS
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. The demonstration presents Pronto - a prototype of a nonmonotonic probabilistic reasoner for very expressive Description Logics. Pronto is built on top of the OWL DL reas...
DLOG
2010
13 years 3 months ago
2010
Unsatisfiable concepts are a major cause for inconsistencies in Description Logics knowledge bases. Popular methods for repairing such concepts aim to remove or rewrite axioms to r...