1912 search results - page 195 / 383 » GOAL as a Planning Formalism |
165
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
Keyword-based search returns its results without concern for the information needs of users at a particular time. In general, search queries are too short to represent what users ...
182
click to vote
IEEEARES
2008
IEEE
16 years 27 days ago
2008
IEEE
The analysis of business solutions is one of critical issues in industry. Risk is one of the most preeminent and accepted metrics for the evaluation of business solutions. Not sur...
183
click to vote
ESOP
2007
Springer
16 years 20 days ago
2007
Springer
The goal of our research project is to establish a type-based method for verification of certain critical properties (such as deadlockand race-freedom) of operating system kernels...
122
click to vote
PRIMA
2007
Springer
16 years 18 days ago
2007
Springer
Agent interactions where the agents hold conflicting goals could be modelled as adversarial argumentation games. In many real-life situations (e.g., criminal litigation, consumer ...
155
click to vote
ATAL
2005
Springer
16 years 1 days ago
2005
Springer
There is a wide agreement on the use of norms in order to specify the expected behaviour of agents in open MAS. However, in highly regulated domains, where norms dictate what can a...