KR
2004
Springer
14 years 4 months ago
2004
Springer
Recent work shows that the memory requirements of bestfirst heuristic search can be reduced substantially by using a divide-and-conquer method of solution reconstruction. We show...
KR
2004
Springer
14 years 4 months ago
2004
Springer
Motivational attitudes play an important role in investigations into intelligent agents. One of the key problems of representing and reasoning about motivational attitudes is whic...
KR
2004
Springer
14 years 4 months ago
2004
Springer
We consider complex scheduling problems that can be captured as optimization under hard and soft constraints. The objective of such an optimization problem is to satisfy as many h...
KR
2004
Springer
14 years 4 months ago
2004
Springer
There are numerous applications such as air traffic management, cellular phone location tracking, and vehicle protection systems where there is a critical need to reason about mo...
KR
2004
Springer
14 years 4 months ago
2004
Springer
KR
2004
Springer
14 years 4 months ago
2004
Springer
KR
2004
Springer
14 years 4 months ago
2004
Springer
The computational grounding problem – the gap between the mental models of an agent and its computational model – is a well known problem within the agent research community. ...
KR
2004
Springer
14 years 4 months ago
2004
Springer
In this paper, we investigate knowledge reasoning within a simple framework called knowledge structure. We use variable forgetting as a basic operation for one agent to reason abo...
KR
2004
Springer
14 years 4 months ago
2004
Springer
When mining frequent Datalog queries, many queries will be equivalent in the light of an implicit or explicit background knowledge. To alleviate the problem, we introduce various t...
KR
2004
Springer
14 years 4 months ago
2004
Springer
This paper is about decision making based on real-world descriptions of a domain. There are many domains where differentpeoplehavedescribedvariouspartsoftheworldatdifferent f abst...