3446 search results - page 575 / 690 » A Reasoning Algorithm for pD* |
137
click to vote
JCM
2006
15 years 1 months ago
2006
Spectrum regulation will undergo elementary changes in the near future allowing a less restricted and more flexible access to radio spectrum. Intelligent radios, socalled cognitive...
108
click to vote
ENTCS
2007
15 years 1 months ago
2007
Logical connectives familiar from the study of hybrid logic can be added to the logical framework LF, a constructive type theory of dependent functions. This extension turns out t...
105
click to vote
NJC
2006
15 years 1 months ago
2006
Abstract. General purpose theorem provers provide advanced facilities for proving properties about specifications, and may therefore be a valuable tool in formal program developmen...
SIGIR
2008
ACM
15 years 1 months ago
2008
ACM
Text reuse occurs in many different types of documents and for many different reasons. One form of reuse, duplicate or near-duplicate documents, has been a focus of researchers be...
116
click to vote
AI
2005
Springer
15 years 1 months ago
2005
Springer
The Distributed Constraint Optimization Problem (DCOP) is able to model a wide variety of distributed reasoning tasks that arise in multiagent systems. Unfortunately, existing met...