9 search results - page 2 / 2 » Reasoning about knowledge of unawareness revisited |
JELIA
2010
Springer
13 years 3 months ago
2010
Springer
Stable belief sets were introduced by R. Stalnaker in the early ’80s, as a formal representation of the epistemic state for an ideal introspective agent. This notion motivated M...
MM
2006
ACM
13 years 11 months ago
2006
ACM
Expressing and analysing data dependency in multimedia streams is promising, since content-aware policies at a transport level would benefit from such services. In this paper we ...
ER
2007
Springer
13 years 8 months ago
2007
Springer
Abstract. Definitions of the concepts derived from the goal concept (including functional and nonfunctional goal, hardgoal, and softgoal) used in requirements engineering are discu...
JAIR
2010
13 years 3 months ago
2010
As historically acknowledged in the Reasoning about Actions and Change community, intuitiveness of a logical domain description cannot be fully automated. Moreover, like any other...