4595 search results - page 365 / 919 » Reasoning about Plans |
190
click to vote
KBSE
2009
IEEE
16 years 2 months ago
2009
IEEE
—The analysis of stakeholder requirements is a critical aspect of software engineering. A common way of specifying stakeholder requirements is in terms of a hierarchy of goals wh...
183
click to vote
STACS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The sharing of content by communities of users (e.g., scientists) in a P2P context remains cumbersome. We argue that main reasons for this is the lack of calculus and alg...
159
click to vote
IVA
2005
Springer
16 years 1 months ago
2005
Springer
Causality is a central issue in many AI applications. Social causality, in contrast to physical causality, seeks to attribute cause and responsibility to social events, and account...
204
click to vote
TARK
2005
Springer
16 years 1 months ago
2005
Springer
: Two difficult issues for the logic of knowledge have been logical omniscience and common knowledge. Our existing logics of knowledge based on Kripke structures seem to justify lo...
212
click to vote
CSL
2003
Springer
16 years 24 days ago
2003
Springer
Many verification, planning, and control problems can be modeled as games played on state-transition graphs by one or two players whose conflicting goals are to form a path in th...