1413 search results - page 172 / 283 » Bisimilarity of Open Terms |
189
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
This paper presents an argumentation based framework to support the decision making of an agent within a modular architecture for agents. The proposed argumentation framework is d...
132
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
Autonomous agents interacting in an open world can be considered to be primarily driven by self interests. Previous work in this area has prescribed a strategy of reciprocal behav...
170
click to vote
ER
2003
Springer
15 years 11 months ago
2003
Springer
With web services emerging as a promising technology for supporting open and dynamic business processes, it is witnessed that standards for business process specification in the c...
171
click to vote
FCT
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. In the paper we present a purely logical approach to estimating computational complexity of potentially intractable problems. The approach is based on descriptive complex...
144
click to vote
ICCS
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. We describe a virtual telemetry system that allows us to devise and augment dynamic data-driven application simulations (DDDAS). Virtual telemetry has the advantage that ...