Search results for: Frank S. Boer
Journal of Automated Reasoning > 2019 > 62 > 1 > 93-126
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
Lecture Notes in Computer Science > Formal Methods for Open Object-Based Distributed Systems > Specification, Verfication and Refinenment > 252-268
Lecture Notes in Computer Science > Languages: From Formal to Natural > Languages: From Formal to Natural > 1-21
Lecture Notes in Computer Science > CONCUR '90 Theories of Concurrency: Unification and Extension > 99-114
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 > Formal Methods for Open Object-Based Distributed Systems > Logic and Verification > 64-78
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
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > Contributed Papers > 37-51