Search results for: Wiebe Hoek
Lecture Notes in Computer Science > Formal Approaches to Agent-Based Systems > Verifying Agent’s Mental States > 33-47
Lecture Notes in Computer Science > Formal Approaches to Agent-Based Systems > Synthesizing Agents Initially > 78-89
Lecture Notes in Computer Science > Intelligent Agents VI. Agent Theories, Architectures, and Languages > Section III: Agent Languages > 218-232
Lecture Notes in Computer Science > From Theory to Practice in Multi-Agent Systems > Regular Papers > 29-36
Lecture Notes in Computer Science > Logics in AI > 267-281
Lecture Notes in Computer Science > Intelligent Agents V: Agents Theories, Architectures, and Languages > Belief-Desire-Intention > 29-45
Lecture Notes in Computer Science > Intelligent Agents: Specification, Modeling, and Applications > Specification > 16-30
Lecture Notes in Computer Science > Progress in Artificial Intelligence > Chapter 8 – Multi-agent Systems: Theory and Applications (MASTA 2005) > 512-523
Lecture Notes in Computer Science > Computational Logic in Multi-Agent Systems > Knowledge and Beliefs > 74-87
Lecture Notes in Computer Science > From Theory to Practice in Multi-Agent Systems > Regular Papers > 313-321
Lecture Notes in Computer Science > Intelligent Agents IV Agent Theories, Architectures, and Languages > 215-229