3446 search results - page 22 / 690 » A Reasoning Algorithm for pD* |
102
click to vote
ECSQARU
2007
Springer
15 years 7 months ago
2007
Springer
The representation of both scales of cost and scales of benefit is very natural in a decision-making problem: scales of evaluation of decisions are often bipolar. The aim of this ...
101
click to vote
GBRPR
2007
Springer
15 years 7 months ago
2007
Springer
Spatial relations play a crucial role in model-based image recognition and interpretation due to their stability compared to many other image appearance characteristics. Graphs are...
AAECC
1999
Springer
15 years 29 days ago
1999
Springer
Effective quantifier elimination procedures for the reals allow to solve problems that can be encoded into corresponding first-order formulas including ordering constraints. In con...
122
click to vote
PRICAI
2004
Springer
15 years 6 months ago
2004
Springer
Temporal reasoning is an important task in many areas of computer science including planning, scheduling, temporal databases and instruction optimisation for compilers. Given a kno...
126
click to vote
CADE
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. While there has been a great deal of work on the development of reasoning algorithms for expressive description logics, in most cases only Tbox reasoning is considered. I...