5216 search results - page 506 / 1044 » Planning as Model Checking |
183
click to vote
WSC
2008
15 years 9 months ago
2008
An integrated Belief-Desire-Intention (BDI) modeling framework is proposed for human decision making and planning, whose sub-modules are based on Bayesian belief network (BBN), De...
133
Voted
WSC
2008
15 years 9 months ago
2008
A simulation model representing the dynamics of a sow farm is presented in contrast with other approaches. To highlight relevant aspects of the model a real application for planni...
200
click to vote
ER
2008
Springer
15 years 8 months ago
2008
Springer
The quality management of software models is an important issue. As a preparative task, the quality circle requires quality planning. After that a software model can repeat the seq...
189
Voted
SERA
2007
Springer
16 years 29 days ago
2007
Springer
To better understand insurgent activities and asymmetric warfare, a social adaptive model for modeling multiple insurgent groups attacking multiple military and civilian targets i...
138
click to vote
IVA
2005
Springer
16 years 11 days 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...