2214 search results - page 365 / 443 » Complexity of Reasoning |
136
click to vote
IICAI
2007
15 years 4 months ago
2007
Logics of action, for reasoning about the effects of state change, and logics of belief, accounting for belief revision and update, have much in common. Furthermore, we may underta...
118
click to vote
IADIS
2003
15 years 4 months ago
2003
Distributed data mining (DDM) is the semi-automatic pattern extraction of distributed data sources. The next generation of the data mining studies will be distributed data mining ...
118
click to vote
AAAI
1993
15 years 4 months ago
1993
Roughly speaking, adequatness is the property of a theorem proving method to solve simpler problems faster than more difficult ones. Automated inferencing methods are often not ad...
125
click to vote
USENIX
1990
15 years 4 months ago
1990
In developing a distributed file system, there are several good reasons for implementing the client file cache manager as a user-level process. These include ease of implementatio...
120
click to vote
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
Decision making is the ability to decide on the best alternative among a set of candidates based on their value. In many real-world domains the value depends on events that occur ...