Formal specification of agent behaviour through environment scenarios

DOI10.1007/3-540-45484-5_21MaRDI QIDQ4536768zbMATH OpenFDO

Authors Hong Zhu, Hong Zhu

Publication date 22 July 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-45484-5_21

Mathematics Subject Classification ID

Artificial intelligence (68T99) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 1949606
• scientific article; zbMATH DE number 1904844
• Algebraic specification of agent computation
• Understanding agent systems
• On formal modeling of agent computations

Cited in

(2)

• scientific article; zbMATH DE number 1949606 (Why is no real title available?)
• Refining autonomous agents with declarative beliefs and desires

This page was built for publication: Formal specification of agent behaviour through environment scenarios

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4536768)