TY - BOOK ID - 17306027 TI - Formal models of agents : ESPRIT Project ModelAge final report AU - Meyer, John-Jules C. AU - Schobbens, Pierre-Yves PY - 2000 VL - 1760 SN - 3540670270 9783540670278 3540465812 PB - Berlin ; Heidelberg : Springer, DB - UniCat KW - Intelligent agents (Computer software) KW - Formal methods (Computer science) KW - Computer science. KW - Computer communication systems. KW - Architecture, Computer. KW - Software engineering. KW - Computer logic. KW - Artificial intelligence. KW - Computer Science. KW - Artificial Intelligence (incl. Robotics). KW - Software Engineering/Programming and Operating Systems. KW - Computer System Implementation. KW - Software Engineering. KW - Logics and Meanings of Programs. KW - Computer Communication Networks. KW - System design KW - Agents, Autonomous (Computer software) KW - Agents, Cognitive (Computer software) KW - Agents, Intelligent (Computer software) KW - Assistants, Cognitive (Computer software) KW - Assistants, Intelligent software KW - Autonomous agents (Computer software) KW - Cognitive agents (Computer software) KW - Cognitive assistants (Computer software) KW - IAs (Computer software) KW - Intelligent agent software KW - Intelligent software agents KW - Intelligent software assistants KW - Software agents (Computer software) KW - Special agents (Computer software) KW - Artificial intelligence KW - Computer programs KW - Computer network architectures. KW - Logic design. KW - Artificial Intelligence. KW - Design, Logic KW - Design of logic systems KW - Digital electronics KW - Electronic circuit design KW - Logic circuits KW - Machine theory KW - Switching theory KW - Architectures, Computer network KW - Network architectures, Computer KW - Computer architecture KW - Computer software engineering KW - Engineering KW - AI (Artificial intelligence) KW - Artificial thinking KW - Electronic brains KW - Intellectronics KW - Intelligence, Artificial KW - Intelligent machines KW - Machine intelligence KW - Thinking, Artificial KW - Bionics KW - Cognitive science KW - Digital computer simulation KW - Electronic data processing KW - Logic machines KW - Self-organizing systems KW - Simulation methods KW - Fifth generation computers KW - Neural computers KW - Communication systems, Computer KW - Computer communication systems KW - Data networks, Computer KW - ECNs (Electronic communication networks) KW - Electronic communication networks KW - Networks, Computer KW - Teleprocessing networks KW - Data transmission systems KW - Digital communications KW - Electronic systems KW - Information networks KW - Telecommunication KW - Cyberinfrastructure KW - Network computers KW - Computer science logic KW - Logic, Symbolic and mathematical KW - Architecture, Computer KW - Distributed processing UR - https://www.unicat.be/uniCat?func=search&query=sysid:17306027 AB - ER -