3446 search results - page 257 / 690 » A Reasoning Algorithm for pD* |
170
click to vote
COMPSAC
2009
IEEE
15 years 8 months ago
2009
IEEE
—Many efficient random testing algorithms for object-oriented software have been proposed due to their simplicity and reasonable code coverage; however, even the stateof-the-art...
164
click to vote
AAAI
2008
15 years 7 months ago
2008
Grounding is the task of reducing a first-order theory to an equivalent propositional one. Typical grounders work on a sentence-by-sentence level, substituting variables by domain...
163
click to vote
WSC
2008
15 years 7 months ago
2008
Event based simulations are an important scientific application in many fields. With the rise of cluster computing, distributed event simulation optimization becomes an essential ...
160
click to vote
ATAL
2008
Springer
15 years 7 months ago
2008
Springer
A network of cooperating agents must be able to reach rough consensus on a set of topics for cooperation. With highly heterogeneous agents, however, incommensurable measures and i...
151
click to vote
ASIAN
2005
Springer
15 years 7 months ago
2005
Springer
This paper proposes a general consistency management methodology within ontology-driven WIS development. The contributions of this paper are follows: 1) introduces the concept stru...