2022 search results - page 207 / 405 » Complexity of Non-Monotonic Logics |
202
click to vote
APNOMS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The Next Generation Network (NGN) has a multilayer logical construction. Network carriers use various tools in complex procedures to operate application servers on the NG...
177
click to vote
FOSSACS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper develops a highly expressive semantic framework for program refinement that supports both temporal reasoning and reasoning about the knowledge of a single agen...
194
click to vote
RSCTC
2000
Springer
15 years 10 months ago
2000
Springer
The main task in decision tree construction algorithms is to find the "best partition" of the set of objects. In this paper, we investigate the problem of optimal binary ...
174
click to vote
AAAI
2007
15 years 8 months ago
2007
The world is unpredictable, and acting intelligently requires anticipating possible consequences of actions that are taken. Assuming that the actions and the world are determinist...
177
click to vote
HOTDEP
2008
15 years 8 months ago
2008
We describe a technique for writing distributed applications which manage themselves over one or more utility computing infrastructures: by dynamically acquiring new computational...