3787 search results - page 150 / 758 » The Use of Agents Techniques on Intelligent Tutoring Systems |
AAAI
2008
15 years 4 months ago
2008
The interpreted system model offers a computationally grounded model, in terms of the states of computer processes, to S5 epistemic logics. This paper extends the interpreted syst...
CEEMAS
2005
Springer
15 years 7 months ago
2005
Springer
Nowadays the design of user interfaces has become a discipline of great importance in Software Engineering, mainly due to the increasing impact that a high quality user interface h...
105
Voted
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
We propose an extension of alternating-time temporal logic, that can be used for reasoning about the behavior and abilities of agents under various rationality assumptions. Catego...
109
Voted
AAAI
2004
15 years 3 months ago
2004
We introduce the generalized semi-Markov decision process (GSMDP) as an extension of continuous-time MDPs and semi-Markov decision processes (SMDPs) for modeling stochastic decisi...
146
click to vote
ATAL
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. This paper will discuss the internal architecture for an agent framework called DECAF (Distributed Environment Centered Agent Framework). DECAF is a software toolkit for ...