Development and application of a formal agent framework

Proceedings of the International Conference on Formal Engineering Methods, ICFEM

Volumn , Issue , 1997, Pages 222-231

  d'Inverno, Mark ^a   Luck, Michael ^a  

^a UNIVERSITY OF WESTMINSTER   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; MATHEMATICAL MODELS;

FORMAL AGENTS;

ARTIFICIAL INTELLIGENCE;

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

References (11)