Search results for: Michael Fisher
Lecture Notes in Computer Science > Temporal Logic > 415-429
Lecture Notes in Computer Science > Computer Safety, Reliability, and Security > Session 8: Formal Verification 2 > 228-242
Lecture Notes in Computer Science > Abstract State Machines 2004. Advances in Theory and Practice > Research Papers > 95-110
Lecture Notes in Computer Science > Computational Logic in Multi-Agent Systems > Planning and Applications > 265-280
Lecture Notes in Computer Science > Towards Autonomous Robotic Systems > A Cricket-Controlled Robot Orienting towards a Sound Source > 336-347
Lecture Notes in Computer Science > Formal Approaches to Agent-Based Systems > “What Is an Agent and Why Should I Care?” > 15-27
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 214-228
Lecture Notes in Computer Science > Intelligent Agents V: Agents Theories, Architectures, and Languages > Architectures > 227-241
Lecture Notes in Computer Science > Languages, Methodologies and Development Tools for Multi-Agent Systems > Declarative Languages and Technologies > 71-88
Lecture Notes in Computer Science > Frontiers of Combining Systems > Section 2. Technical Papers > 163-177
Lecture Notes in Computer Science > Declarative Agent Languages and Technologies VIII > Social Aspects and Control Systems > 96-111