1120 search results - page 85 / 224 » A Formal Framework for Interactive Agents |
182
click to vote
SEMWEB
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. In this paper we describe how we handle heterogeneity in web service interaction through a choreography mechanism that we have developed for IRS-III. IRS-III is a framewo...
161
click to vote
SBIA
2004
Springer
15 years 11 months ago
2004
Springer
We elaborate on the verification of properties of electronic institutions, a formalism to define and analyse protocols among agents with a view to achieving global and individual...
157
click to vote
AAAI
1990
15 years 7 months ago
1990
Reasoning about causality is an interesting application area of formal nonmonotonic theories. Here we focus our attention on a certain aspect of causal reasoning, namely causaZ as...
164
click to vote
AAAI
2000
15 years 7 months ago
2000
There are a number of frameworks for modelling argumentation in logic. They incorporate formal representation of individual arguments and techniques for comparing conflicting argu...
188
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
The IST-CONTRACT project is in the process of creating an electronic contracting language. One of the goals of this language is that it has formal underpinnings, and formalization...