292 search results - page 45 / 59 » Model-checking agent refinement |
KCAP
2005
ACM
14 years 29 days ago
2005
ACM
User-centered consultation systems can be viewed as systems with trust in the competence of the user, whereas conventional knowledge systems are often based on some mistrust. By o...
ICSNW
2004
Springer
14 years 23 days ago
2004
Springer
Knowledge Sifter is a scaleable agent-based system that supports access to heterogeneous information sources such as the Web, open-source repositories, XML-databases and the emergi...
JCP
2008
13 years 7 months ago
2008
In this paper, we propose a model named Logical Markov Decision Processes with Negation for Relational Reinforcement Learning for applying Reinforcement Learning algorithms on the ...
COOPIS
2002
IEEE
14 years 11 days ago
2002
IEEE
This paper addresses several problems associated with the specification of Web searches, and the retrieval, filtering, and rating of Web pages in order to improve the relevance, pr...
ACOM
2004
Springer
14 years 25 days ago
2004
Springer
Agent communication languages defined using joint intention theory have enjoyed a long research history. A number of performatives have been defined and refined in this literature ...