Formal methodology for verifying situated agents

Proceedings of the National Conference on Artificial Intelligence

Volumn , Issue , 1998, Pages 637-642

  Dung, Phan Minh ^a  

^a ASIAN INSTITUTE OF TECHNOLOGY   (Thailand)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTABILITY AND DECIDABILITY; COMPUTATIONAL LINGUISTICS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; FORMAL LOGIC; KNOWLEDGE REPRESENTATION;

SITUATED REASONING;

KNOWLEDGE BASED SYSTEMS;

EID: 0031628701     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (15)