3729 search results - page 147 / 746 » On Formal Modeling of Agent Computations |
197
click to vote
MAGS
2008
15 years 6 months ago
2008
This paper presents approaches for building, managing, and evaluating consensus ontologies from the individual ontologies of a network of socially interacting agents. Each agent h...
190
click to vote
ATAL
2010
Springer
15 years 6 months ago
2010
Springer
ATL+ is a variant of alternating-time temporal logic that does not have the expressive power of full ATL , but still allows for expressing some natural properties of agents. It ha...
168
click to vote
COLING
2002
15 years 6 months ago
2002
We propose a formal characterization of variation in the syntactic realization of semantic arguments, using hierarchies of syntactic relations and thematic roles, and a mechanism ...
137
click to vote
AAAI
2004
15 years 7 months ago
2004
We describe a formal framework for diagnosis and repair problems that shares elements of the well known partially observable MDP and cost-sensitive classification models. Our cost...
179
click to vote
ISCAPDCS
2004
15 years 7 months ago
2004
One of the major setback preventing the mobile agent technology from being widely exploited is a lack of interoperability between heterogeneous mobile agent systems. In this paper...