3891 search results - page 257 / 779 » A logic for strategic reasoning |
166
click to vote
SIGSOFT
1998
ACM
15 years 10 months ago
1998
ACM
Implicit invocation SN92, GN91] has become an important architectural style for large-scale system design and evolution. This paper addresses the lack of speci cation and veri cat...
176
click to vote
ESWS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Semantic Web Services were developed with the goal of automating the integration of business processes on the Web. The main idea is to express the functionality of the se...
143
click to vote
AAAI
1993
15 years 8 months ago
1993
Formal AI systems traditionally represent knowledge using logical formulas. We will show, however, that for certain kinds of information, a modelbased representation is more compa...
188
click to vote
AAAI
2008
15 years 7 months ago
2008
We design a representation based on the situation calculus to facilitate development, maintenance and elaboration of very large taxonomies of actions. This representation leads to...
177
click to vote
EAAI
2007
15 years 6 months ago
2007
The task-oriented nature of data mining (DM) has already been dealt successfully with the employment of intelligent agent systems that distribute tasks, collaborate and synchroniz...