2638 search results - page 189 / 528 » Frameworks for Reasoning about Agent Based Systems |
148
click to vote
GIS
2010
ACM
15 years 4 months ago
2010
ACM
Traffic information systems based on mobile, in-car sensor technology are a challenge for data management systems as a huge amount of data has to be processed in real-time. Data m...
182
click to vote
CW
2005
IEEE
16 years 4 days ago
2005
IEEE
Agents are systems capable of perceiving their environment through sensors, reasoning about their sensory input using some characteristic reasoning process and acting in their env...
177
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
We present a logic for reasoning about strategic games. The logic is a modal formalism, based on the Coalition Logic of Propositional Control, to which we add the notions of outco...
144
click to vote
AAAI
2007
15 years 8 months ago
2007
When reasoning about actions and sensors in realistic domains, the ability to cope with uncertainty often plays an essential role. Among the approaches dealing with uncertainty, t...
184
click to vote
TAGT
1998
Springer
15 years 10 months ago
1998
Springer
Reactive systems perform their tasks through interaction with their users or with other systems (as parts of a bigger system). An essential requirement for modeling such systems is...