29147 search results - page 113 / 5830 » System Modeling Resurrected |
211
click to vote
WRLA
2010
15 years 2 months ago
2010
Abstract. This paper presents the foundation, design, and implementation of the Linear Temporal Logic of Rewriting model checker as an extension of the Maude system. The Linear Tem...
114
click to vote
IJMMS
1998
15 years 4 months ago
1998
: Decision-support systems that help solving problems in open and weak theory domains, i.e. hard problems, need improved methods to ground their models in real world situations. Mo...
249
click to vote
LOGCOM
1998
15 years 4 months ago
1998
Perhaps the most successful agent architectures, and certainly the best known, are those based on the Belief-Desire-Intention (BDI) framework. Despite the wealth of research that ...
141
click to vote
UMUAI
1998
15 years 4 months ago
1998
In this paper, we argue for the need to distinguish between task initiative and dialogue initiative, and present an evidential model for tracking shifts in both types of initiativ...
182
click to vote
AINA
2011
IEEE
14 years 8 months ago
2011
IEEE
—Currently the user’s web search is disjoint from the resources which is subsequently browsed. Specifically the related instances of the search are not displayed on the followi...