1413 search results - page 172 / 283 » Bisimilarity of Open Terms |
200
click to vote
ATAL
2003
Springer
16 years 5 days 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...
141
Voted
ATAL
2003
Springer
16 years 5 days 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...
183
Voted
ER
2003
Springer
16 years 5 days 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...
186
click to vote
FCT
2003
Springer
16 years 5 days 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...
153
click to vote
ICCS
2003
Springer
16 years 5 days 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 ...