2253 search results - page 266 / 451 » The ComFoRT Reasoning Framework |
118
click to vote
TACAS
2012
Springer
13 years 6 months ago
2012
Springer
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
IAT
2005
IEEE
15 years 4 months ago
2005
IEEE
The BDI agent model comprises a simple but efficient folk psychological framework of mentalistic notions usable for modeling rational agent behaviour. Nevertheless, despite its u...
NMR
2004
Springer
15 years 4 months ago
2004
Springer
This paper presents a computational model for reasoning with causal explanations of observations within the framework of Abductive Event Calculus (AEC). The model is based on abdu...
105
click to vote
NMR
2004
Springer
15 years 4 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...
112
click to vote
WCRE
2003
IEEE
15 years 3 months ago
2003
IEEE
There are many good reasons why organizations should perform software architecture reconstructions. However, few organizations are willing to pay for the effort. Software architec...