3573 search results - page 172 / 715 » Reasoning about Codata |
199
Voted
DALT
2004
Springer
16 years 10 days ago
2004
Springer
Abstract. We propose an extension of action theories to intention theories in the framework of situation calculus. Moreover the method for implementing action theories is adapted t...
183
click to vote
EVOW
2004
Springer
16 years 10 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...
178
click to vote
KR
2004
Springer
16 years 9 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...
179
click to vote
KR
2004
Springer
16 years 9 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...
170
click to vote
COMPSAC
2003
IEEE
16 years 7 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...