Output details
11 - Computer Science and Informatics
University of Manchester
Output title
A Hybrid Method for Probabilistic Satisfiability
Type
E - Conference contribution
Name of conference/published proceedings
23rd International Conference on Automated Deduction, Wroc¿aw, Poland, July 31 - August 5, 2011. Proceedings
Volume number
6803
Issue number
-
First page of article
354
ISSN of proceedings
0302-9743
Year of publication
2011
URL
-
Number of additional authors
1
Additional information
<16> Probabilistic logics are highly relevant in various application domains, eg medical diagnosis. This paper is significant because it describes the first probabilistic Description Logic reasoner. This reasoner is based on a new algorithm to cope with DLs' high expressive power, yet was shown to be competitive with decades old, highly tuned reasoners that specialise on the propositional case. The empirical testing is systematic, and shows that Pronto scales up to 1000 probabilistic formulae and an arbitrary classical part.
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
0
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
