1426 search results - page 201 / 286 » Specification of nonmonotonic reasoning |
AIME
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. Clinical protocols and guidelines have been used in the medical domain for some time now, primarily to reduce proneness to errors during the treatment of specific disease...
ATAL
2003
Springer
15 years 3 months ago
2003
Springer
Agents based on reactive planning architectures use pre-specified plans as behaviour specifications. Normative agents are motivated by norms in their behaviour: obligations motiva...
HICSS
2002
IEEE
15 years 2 months ago
2002
IEEE
A project to enable health care professionals (GPs, practice nurses and diabetes nurse specialists) to access, via the Internet, confidential patient data held on a secondary care...
ISESE
2002
IEEE
15 years 2 months ago
2002
IEEE
Recently the awareness of the importance of replicating studies has been growing in the empirical software engineering community. The results of any one study cannot simply be ext...
ISSRE
2002
IEEE
15 years 2 months ago
2002
IEEE
Software Fault Tree Analysis (SFTA) provides a structured way to reason about the safety or reliability of a software system. As such, SFTA is widely used in missioncritical appli...