394 search results - page 39 / 79 » Trends in Agent Communication Language |
129
click to vote
EELC
2006
15 years 5 months ago
2006
Abstract. We suggest that the primary motivation for an agent to construct a symbol-meaning mapping is to solve a task. The meaning space of an agent should be derived from the tas...
HICSS
2005
IEEE
15 years 7 months ago
2005
IEEE
In our paper last year [1], we described our languagetraining program, which utilizes Baldi as a tutor, who guides students through a variety of exercises designed to teach vocabu...
117
click to vote
IJAIT
2006
15 years 1 months ago
2006
We present MABLE, a fully implemented programming language for multiagent systems, which is intended to support the automatic verification of such systems via model checking. In a...
218
click to vote
TASE
2012
IEEE
13 years 9 months ago
2012
IEEE
— This paper presents new results on the formal design of distributed coordinating agents in a discrete-event framework. In this framework, agents are modeled to be individually ...
138
click to vote
DKE
2008
15 years 2 months ago
2008
In this work, we present the design and implementation of a system for proof explanation in the Semantic Web, based on defeasible reasoning. Trust is a vital feature for Semantic ...