2082 search results - page 5 / 417 » Change Paths in Reasoning! |
DKE
2007
13 years 7 months ago
2007
ct 9 The benefits of modular representations are well known from many areas of computer science. While in software engi10 neering modularization is mainly a vehicle for supporting...
AIIA
1995
Springer
13 years 11 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 ...
AIPS
1996
13 years 8 months ago
1996
An increasing number of planners can handle uncertainty in the domain or in action outcomes. However, less work has addressed building plans when the planner's world can chan...
SEMWEB
2004
Springer
14 years 25 days ago
2004
Springer
ICSM
2000
IEEE
13 years 12 months ago
2000
IEEE
