3573 search results - page 172 / 715 » Reasoning about Codata |
146
Voted
DALT
2004
Springer
15 years 9 months 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...
126
Voted
EVOW
2004
Springer
15 years 9 months 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...
128
Voted
KR
2004
Springer
15 years 9 months 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...
128
Voted
KR
2004
Springer
15 years 9 months 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...
126
Voted
COMPSAC
2003
IEEE
15 years 8 months 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...