5198 search results - page 444 / 1040 » A Logic of Agent Programs |
134
click to vote
HICSS
2005
IEEE
16 years 12 days 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...
162
click to vote
IIE
2007
15 years 6 months ago
2007
Although there are many high-quality models for program and evaluation planning, these models are often too intensive to be used in situations when time and resources are scarce. A...
202
click to vote
PPDP
2007
Springer
16 years 28 days ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...
144
click to vote
SASO
2009
IEEE
16 years 1 months ago
2009
IEEE
—We examine the use of teleological metareasoning for self-adaptation in game-playing software agents. The goal of our work is to develop an interactive environment in which the ...
171
click to vote
AUSAI
2003
Springer
16 years 1 days ago
2003
Springer
Negotiation between two trading agents is a two-stage process. First, the agents exchange offers whilst acquiring and exchanging information. Second, they attempt to reach a mutual...