4595 search results - page 698 / 919 » Reasoning about Plans |
121
click to vote
PRIMA
2009
Springer
15 years 10 months ago
2009
Springer
Human performance can seriously degrade under demanding tasks. To improve performance, agents can reason about the current state of the human, and give the most appropriate and eff...
134
Voted
RTA
2009
Springer
15 years 10 months ago
2009
Springer
Reasoning about the knowledge of an attacker is a necessary step in many formal analyses of security protocols. In the framework of the applied pi calculus, as in similar languages...
126
click to vote
SBMF
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Event-B is a formal method used for specifying and reasoning about systems. Rodin is a toolset for developing system models in Event-B. Our experiment which is outlined i...
129
click to vote
SEMWEB
2009
Springer
15 years 10 months ago
2009
Springer
Enriching business process models with semantic annotations taken from an ontology has become a crucial necessity both in service provisioning, integration and composition, and in ...
228
click to vote
HASKELL
2009
ACM
15 years 10 months ago
2009
ACM
Functional reactive programming (FRP) has simple and powerful semantics, but has resisted efficient implementation. In particular, most past implementations have used demand-driv...