4595 search results - page 36 / 919 » Reasoning about Plans |
97
Voted
BIRTHDAY
2006
Springer
15 years 2 months ago
2006
Springer
The paper presents an approach to reasoning about Web services in a temporal action theory. Web services are described by specifying their interaction protocols in an action theory...
82
Voted
AIIA
1995
Springer
15 years 1 months ago
1995
Springer
In this paper we describe a framework for reasoning about temporal explanation problems, which is based on our previous work on model-based diagnosis of dynamic systems. We use an ...
90
Voted
DOLAP
2005
ACM
15 years 5 days ago
2005
ACM
We propose a new functional framework for modeling, querying and reasoning about OLAP databases. The framework represents data (data cubes and dimensional hierarchies) and queryin...
78
Voted
CLIMA
2007
14 years 11 months ago
2007
We propose a new version of ATLP (“ATL with plausibility”), a logic for reasoning about the outcome of rational play in game-like scenarios. Unlike in [8], where two different ...
89
Voted
AAAI
1996
14 years 11 months ago
1996
Overcoming the disadvantages of equidistant discretization of continuous actions, we introduce an approach that separates time into slices of varying length bordered by certain ev...