5243 search results - page 293 / 1049 » Reasoning About Strategies |
179
click to vote
EVOW
2004
Springer
16 years 4 days ago
2004
Springer
In sequential, deterministic, non-redundant search the algorithm permutes a test function to obtain the search result. The mapping from test functions to search results is a one-to...
172
click to vote
KR
2004
Springer
16 years 3 days ago
2004
Springer
This paper is about decision making based on real-world descriptions of a domain. There are many domains where differentpeoplehavedescribedvariouspartsoftheworldatdifferent f abst...
175
click to vote
KR
2004
Springer
16 years 3 days ago
2004
Springer
Motivational attitudes play an important role in investigations into intelligent agents. One of the key problems of representing and reasoning about motivational attitudes is whic...
168
click to vote
COMPSAC
2003
IEEE
16 years 1 days ago
2003
IEEE
This paper explores how to characterise security properties of software components, and how to reason about their suitability for a trustworthy compositional contract. Our framewo...
181
click to vote
ICCBR
2001
Springer
15 years 11 months ago
2001
Springer
We describe a case-based approach to the keyhole plan-recognition task where the observed agent is a state-space planner whose world states can be monitored. Case-based approach pr...