875 search results - page 94 / 175 » Reasoning about Knowledge and Continuity |
DALT
2009
Springer
15 years 2 months ago
2009
Springer
We continue the work initiated in [1–3], where the acceptance logic, a modal logic for modelling individual and collective acceptances was introduced. This logic is aimed at capt...
HYBRID
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. In this paper, we formulate and robustly solve a quite general class of hybrid controller synthesis problems. The type of controller we investigate is the switching contr...
ER
2008
Springer
14 years 11 months ago
2008
Springer
The continuous growth of interest in mobile applications makes the concept of location essential to design and develop software systems. Location-based software is supposed to be a...
AAAI
1996
14 years 11 months ago
1996
We present a method for specifying temporal constraints on trajectories of dynamical systems and enforcing them during qualitative simulation. This capability can be used to focus...
EJIS
2008
14 years 10 months ago
2008
The Bauer College of Business at the University of Houston uses lists of journals as part of its process to evaluate and reward the research productivity of its faculty. The creat...