81 search results - page 11 / 17 » A Basic Logic for Reasoning about Connector Reconfiguration |
143
Voted
NMR
2004
Springer
15 years 7 months ago
2004
Springer
The BDI model provides what it is possibly one of the most promising architectures for the development of intelligent agents, and has become one of the most studied and well known...
129
Voted
IEEEHPCS
2010
15 years 10 days ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
110
Voted
CADE
2006
Springer
16 years 2 months ago
2006
Springer
The HOL Light prover is based on a logical kernel consisting of about 400 lines of mostly functional OCaml, whose complete formal verification seems to be quite feasible. We would ...
152
Voted
SUM
2010
Springer
15 years 6 days ago
2010
Springer
Abstract. Action-probabilistic logic programs (ap-programs), a class of probabilistic logic programs, have been applied during the last few years for modeling behaviors of entities...
112
Voted
AIIDE
2008
15 years 4 months ago
2008
Game developers are faced with the difficult task of creating non-player characters with convincing behavior. This commonly involves an exhaustive specification of their actions i...