835 search results - page 23 / 167 » Nonmonotonic Reasoning in Probabilistics |
ASWEC
2010
IEEE
13 years 7 months ago
2010
IEEE
—Formal models are often used to verify systems and prove their correctness, and ensure that transformed models remain consistent to the original system. However, formal techniqu...
DKE
2008
13 years 7 months ago
2008
In this work, we present the design and implementation of a system for proof explanation in the Semantic Web, based on defeasible reasoning. Trust is a vital feature for Semantic ...
IJCAI
2007
13 years 8 months ago
2007
P-log is a probabilistic logic programming language, which combines both logic programming style knowledge representation and probabilistic reasoning. In earlier papers various ad...
ICMCS
2000
IEEE
13 years 11 months ago
2000
IEEE
We present a knowledge engineering approach for image classification that is based on probabilistic reasoning systems. The approach gives the knowledge engineer a systematic way ...
MPC
2004
Springer
14 years 22 days ago
2004
Springer
This paper shows how probabilistic reasoning can be applied to the predicative style of programming.