3053 search results - page 195 / 611 » Structured Objects: Modeling and Reasoning |
133
click to vote
AAAI
2008
15 years 6 months ago
2008
Modal logic represents knowledge that agents have about other agents' knowledge. Probabilistic modal logic further captures probabilistic beliefs about probabilistic beliefs....
155
click to vote
CAV
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Concurrent data structures with fine-grained synchronization are notoriously difficult to implement correctly. The difficulty of reasoning about these implementations do...
113
click to vote
CMOT
2007
15 years 3 months ago
2007
Organizations change with the dynamics of the world. To enable organizations to change, certain structures and capabilities are needed. As all processes, a change process has an or...
105
click to vote
SEMWEB
2009
Springer
15 years 10 months ago
2009
Springer
A modelling procedure consists of a sequence of modelling tasks. With the increasing size of models during the development, the relations among modelling objects and their correspo...
117
click to vote
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
— Leveraging research by psychologists on human decision-making, we present a human-robot decision-making problem associated with a complex task and study the corresponding joint...