3446 search results - page 134 / 690 » A Reasoning Algorithm for pD* |
143
Voted
FLAIRS
2000
15 years 5 months ago
2000
Qualitative probabilistic networks have been designed for probabilistic reasoning in a qualitative way. As a consequence of their coarse level of representation detail, qualitativ...
150
click to vote
UAI
2000
15 years 5 months ago
2000
Qualitative probabilistic networks have been designed for probabilistic reasoning in a qualitative way. Due to their coarse level of representation detail, qualitative probabilist...
107
click to vote
JOLLI
2002
15 years 3 months ago
2002
A concept language with role intersection and number restriction is defined and its modal equivalent is provided. The main reasoning tasks of satisfiability and subsumption checkin...
139
click to vote
CADE
2003
Springer
16 years 4 months ago
2003
Springer
We describe the integration of permutation group algorithms with proof planning. We consider eight basic questions arising in computational permutation group theory, for which our ...
123
click to vote
AIIA
2007
Springer
15 years 10 months ago
2007
Springer
Logic Programs with Annotated Disjunctions and CP-logic are two different but related languages for expressing probabilistic information in logic programming. The paper presents a...