3446 search results - page 525 / 690 » A Reasoning Algorithm for pD* |
154
click to vote
KES
2007
Springer
15 years 10 months ago
2007
Springer
According to widely accepted guidelines for self-regulation, the capital requirements of a bank should relate to the level of risk with respect to three different categories. Amon...
145
click to vote
LPNMR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The recently proposed notion of an elementary set yielded a refinement of the theorem on loop formulas, telling us that the stable models of a disjunctive logic program ...
116
click to vote
MFCS
2007
Springer
15 years 10 months ago
2007
Springer
A framework for analyzing the computational capabilities and the limitations of the evolutionary process of random change guided by selection was recently introduced by Valiant [V...
119
Voted
SEMWEB
2007
Springer
15 years 10 months ago
2007
Springer
The Hierarchical Task Network (HTN) planning method is conceived of as a useful method for Web service composition as well as classical task planning. However, there are no complet...
117
click to vote
SEMWEB
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. There is a growing discrepancy between the creation of digital content and its actual employment and usefulness in a learning society. Technologies for recording lectures...