82 search results - page 17 / 17 » Specification and Validation of Behavioural Protocols in the... |
ENTCS
2006
13 years 4 months ago
2006
We formally define a notion of credit and responsibility within the Generalized Non Deducibility on Compositions framework. We investigate the validity of our definitions through ...
AAI
2005
13 years 4 months ago
2005
1 One of the major challenges of Applied Artificial Intelligence is to provide environments where high level human activities like learning, constructing theories or performing exp...