4595 search results - page 43 / 919 » Reasoning about Plans |
155
click to vote
CONCUR
2010
Springer
15 years 5 months ago
2010
Springer
Optimistic concurrency algorithms provide good performance for parallel programs but they are extremely hard to reason about. Program logics such as concurrent separation logic and...
138
click to vote
IJVR
2008
15 years 4 months ago
2008
Recent work in behavioral animation has taken impressive steps towards a virtual human. As for intelligent virtual agents, abbreviated "IVAs", the behaviors displayed in ...
137
click to vote
IFIPTM
2010
15 years 2 months ago
2010
Historically, various different notions of trust can be found, each addressing particular aspects of ICT systems, e.g. trust in electronic commerce systems based on reputation and...
152
click to vote
JAPLL
2010
15 years 2 months ago
2010
We show that problems arising in static analysis of XML specifications and transformations can be dealt with using techniques similar to those developed for static analysis of pr...
152
click to vote
AI
2011
Springer
14 years 11 months ago
2011
Springer
The aim of this work is to propose a logical framework for the specification of cognitive emotions that are based on counterfactual reasoning about agents’ choices. An example ...