Sciweavers

567 search results - page 32 / 114
» Probabilistic Reasoning With Answer Sets
Sort
View
PSSE
2004
Springer
14 years 4 months ago
Developing and Reasoning About Probabilistic Programs in pGCL
“demonic” nondeterminism, representing abstraction from (or ignorance of) which of two program fragments will be executed. By introducing probabilistic nondeterminism into GCL,...
Annabelle McIver, Carroll Morgan
VL
2009
IEEE
126views Visual Languages» more  VL 2009»
14 years 5 months ago
Visual explanations of probabilistic reasoning
Continuing our research in explanation-oriented language design, we present a domain-specific visual language for explaining probabilistic reasoning. Programs in this language, c...
Martin Erwig, Eric Walkingshaw
BNCOD
2008
143views Database» more  BNCOD 2008»
14 years 12 days ago
Reconciling Inconsistent Data in Probabilistic XML Data Integration
Abstract. The problem of dealing with inconsistent data while integrating XML data from different sources is an important task, necessary to improve data integration quality. Typic...
Tadeusz Pankowski
JAIR
2012
254views Hardware» more  JAIR 2012»
12 years 1 months ago
Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice
To achieve scalability of query answering, the developers of Semantic Web applications are often forced to use incomplete OWL 2 reasoners, which fail to derive all answers for at ...
Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos...
NMR
2004
Springer
14 years 4 months ago
A probabilistic approach to default reasoning
A logic is defined which in addition to propositional calculus contains several types of probabilistic operators which are applied only to propositional formulas. For every s ∈...
Miodrag Raskovic, Zoran Ognjanovic, Zoran Markovic