1581 search results - page 212 / 317 » Mechanizing Inductive Reasoning |
123
click to vote
AAAI
2004
15 years 4 months ago
2004
A key feature of modern optimal planners such as Graphplan and Blackbox is their ability to prune large parts of the search space. Previous Partial Order Causal Link (POCL) planne...
256
click to vote
ACSW
2006
15 years 4 months ago
2006
The conventional computing Grid has developed a service oriented computing architecture with a superlocal resource management and scheduling strategy. This architecture is limited...
126
click to vote
AVI
2006
15 years 4 months ago
2006
This paper presents an analysis of user studies from a review of papers describing new visualisation applications and uses these to highlight various issues related to the evaluat...
128
click to vote
FLAIRS
2006
15 years 4 months ago
2006
Conversational Case-Based Reasoning (CCBR) provides a mixed-initiative dialog for guiding users to refine their problem descriptions incrementally through a question-answering seq...
127
click to vote
DAGSTUHL
2003
15 years 4 months ago
2003
In this paper we introduce an object-oriented coordination language for multi-agents systems. The beliefs and reasoning capabilities ent are specified in terms of a corresponding ...