474 search results - page 90 / 95 » A Logic-based Framework for Mobile Intelligent Information A... |
TARK
2009
Springer
14 years 3 months ago
2009
Springer
In numerous economic scenarios, contracting parties may not have a clear picture of all the relevant aspects. While confronted with these unawareness issues, the strategic decisio...
DEON
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. In this paper, we combine deontic logic with Alternatingtime Temporal Logic (ATL) into a framework that makes it possible to model and reason about obligations and abilit...
SELMAS
2004
Springer
14 years 2 months ago
2004
Springer
Software systems of today are characterized by the increasing size, complexity, distribution and heterogeneity. Understanding and supporting the interaction between software requi...
ATAL
2006
Springer
14 years 18 days ago
2006
Springer
There are many methodological approaches for Agent-Oriented Software Engineering, each one focusing on some features of multi-agent systems, but leaving others underdefined. For t...
CHI
2004
ACM
14 years 9 months ago
2004
ACM
Context is a critical element in forming the performance of interactive systems. As the functional diversity and range of use context of the system increase, context sensitivity b...