3765 search results - page 351 / 753 » Qualitative Action Systems |
176
click to vote
DSVIS
1995
Springer
15 years 11 months ago
1995
Springer
Abstract. This paper describes a design technique for interactive systems that allows designs to be specified and refined formally, using a notation based on Action Systems. The ...
202
click to vote
FLAIRS
2008
15 years 10 months ago
2008
We describe the design of a user-centric, integrated planning and scheduling system that assists the user in exploring the rich space of plans and associated resource assignment o...
212
click to vote
LANMR
2007
15 years 9 months ago
2007
This paper presents a system that controls the behavior of a mobile robot. The system is based on situation calculus, the initial state is described and a goal is given, Prolog pro...
192
click to vote
SCAI
2008
15 years 9 months ago
2008
Reusing past experiences by reasoning from past cases poses particular problems when the input to case retrieval comes from large amounts of online data. Volve has developed a syst...
175
click to vote
FORTE
2003
15 years 9 months ago
2003
In this paper, we consider the problem of deriving a component X of a system knowing the behavior of the whole system C and the other components A. The component X is derived by s...