3446 search results - page 233 / 690 » A Reasoning Algorithm for pD* |
151
click to vote
AAAI
2007
15 years 7 months ago
2007
We explore a means to both model and reason about partial observability within the scope of constraintbased temporal reasoning. Prior studies of uncertainty in Temporal CSPs have ...
149
click to vote
EWCBR
2008
Springer
15 years 7 months ago
2008
Springer
The main goal of a Case-Based Reasoning (CBR) system is to provide criteria for evaluating the internal behavior and task efficiency of a particular system for a given initial case...
140
click to vote
EWCBR
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. Effective encoding of information is one of the keys to qualitative problem solving. Our aim is to explore Knowledge representation techniques that capture meaningful wor...
127
click to vote
AIPS
2003
15 years 6 months ago
2003
In this paper we describe a compromise between generative planning and special-purpose software. Hierarchical functional models are used by an intelligent system to represent its ...
169
click to vote
IJCAI
2003
15 years 6 months ago
2003
Query answering over commonsense knowledge bases typically employs a first-order logic theorem prover. While first-order inference is intractable in general, provers can often b...