4595 search results - page 321 / 919 » Reasoning about Plans |
194
click to vote
KR
2004
Springer
16 years 26 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...
194
click to vote
KR
2004
Springer
16 years 26 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...
180
click to vote
COMPSAC
2003
IEEE
16 years 24 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...
185
click to vote
WCRE
1999
IEEE
15 years 11 months ago
1999
IEEE
Software architecture, as a vehicle for communication and reasoning about software systems and their quality, is becoming an area of focus in both the forward- and reverseengineer...
196
click to vote
TIME
1998
IEEE
15 years 11 months ago
1998
IEEE
In this paper, we propose a logic of action and causality. The most important part of our contribution is a semantics that integrates action, temporal structure, and probability. ...