320 search results - page 44 / 64 » A Modal Logic of Information Change |
NMR
2004
Springer
14 years 1 months ago
2004
Springer
The BDI model provides what it is possibly one of the most promising architectures for the development of intelligent agents, and has become one of the most studied and well known...
IWPC
2006
IEEE
14 years 2 months ago
2006
IEEE
For many enterprises, reacting to fast changes to their business process is key to maintaining their competitive edge in the market. However, developers often must manually locate...
SPIN
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
AEI
2010
13 years 8 months ago
2010
nizing multiple forms of information and knowledge processing on different levels of abstraction in a structured and principled manner. We propose knowledge processing middleware a...
GRAPHICSINTERFACE
2008
13 years 10 months ago
2008
Interactive surfaces and related tangible user interfaces often involve everyday objects that are identified, tracked, and augmented with digital information. Traditional approach...