|
|
Volumn 70, Issue 3, 2002, Pages 178-
|
|
Towards a refinement theory that supports reasoning about knowledge and time for multiple agents
a
a
NONE
|
|
Author keywords
[No Author keywords available]
|
|
Indexed keywords
COMPUTER PROGRAMMING LANGUAGES;
DISTRIBUTED COMPUTER SYSTEMS;
KNOWLEDGE BASED SYSTEMS;
ASSERTION LANGUAGE;
MULTIPLE AGENTS;
REFINEMENT THEORY;
SOFTWARE AGENTS;
|
|
EID: 23844439371
PISSN: 15710661
EISSN: None
Source Type: Journal
DOI: 10.1016/S1571-0661(05)80491-8 Document Type: Conference Paper |
|
Times cited : (1)
|
|
References (0)
|