Sciweavers

59 search results - page 3 / 12
» A New Approach to Model-Based Diagnosis Using Probabilistic ...
Sort
View
CADE
2008
Springer
14 years 5 months ago
Exploring Model-Based Development for the Verification of Real-Time Java Code
Many safety- and security-critical systems are real-time systems and, as a result, tools and techniques for verifying real-time systems are extremely important. Simulation and test...
Niusha Hakimipour, Paul A. Strooper, Roger Duke
ECAI
1998
Springer
13 years 8 months ago
Probabilistic Logic Programming
We present probabilistic logic programming under inheritance with overriding. This approach is based on new notions of entailment for reasoning with conditional constraints, which...
Thomas Lukasiewicz
FSKD
2006
Springer
190views Fuzzy Logic» more  FSKD 2006»
13 years 8 months ago
A Maximum Entropy Model Based Answer Extraction for Chinese Question Answering
We regard answer extraction of Question Answering (QA) system as a classification problem, classifying answer candidate sentences into positive or negative. To confirm the feasibil...
Ang Sun, Minghu Jiang, Yanjun Ma
COLING
2008
13 years 6 months ago
An Integrated Probabilistic and Logic Approach to Encyclopedia Relation Extraction with Multiple Features
We propose a new integrated approach based on Markov logic networks (MLNs), an effective combination of probabilistic graphical models and firstorder logic for statistical relatio...
Xiaofeng Yu, Wai Lam
WWW
2009
ACM
13 years 11 months ago
Instance-based probabilistic reasoning in the semantic web
Most of the approaches for dealing with uncertainty in the Semantic Web rely on the principle that this uncertainty is already asserted. In this paper, we propose a new approach t...
Pedro Oliveira, Paulo Gomes