Formal Models of Agents
Subtitle: ESPROT Project ModelAge Final Workshop
Contributors: John-Jules C. Meyer (Editor); Pierre-Yves Schobbens (Editor)
Edition: 1 edition
Publisher: Springer
Published: February 29, 2000
Language: eng
Format: Paperback
Number of pages: 251
ISBN-13: 9783540670278
Subjects: Artificial Intelligence; Computer architecture & logic design; Software engineering; Intelligent agents (Computer software); Computers - General Information; Programming - Software Development; Formal Language Theory; Computers; Intelligent agents (Computer s; Computer Books: General; Formal methods (Computer science); Artificial Intelligence - General; Networking - General; Agent Technology; BDI Agents; Computers / Artificial Intelligence; Cooperation; Decision Making; Deontic Logic; Diagnosis; Formal Methods; Intelligent Agents; Computer Science; Formal methods (Computer scien