|
Volumn , Issue , 2004, Pages 1038-1039
|
Intelligent agents for coalition search and rescue task support
|
Author keywords
[No Author keywords available]
|
Indexed keywords
ALGORITHMS;
FORMAL LOGIC;
HOSPITALS;
JAVA PROGRAMMING LANGUAGE;
KNOWLEDGE BASED SYSTEMS;
PROJECT MANAGEMENT;
SENSORS;
THEOREM PROVING;
COALITION SEARCH AND RESCUE TASK SUPPORT (COSAR-TS);
HIERARCHICAL PLAN CREATION;
JAVA THEOREM PROVER (JTP);
TEMPORAL CONSTRAINT CHECKING;
INTELLIGENT AGENTS;
|
EID: 9444277122
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper |
Times cited : (5)
|
References (3)
|