The synthesis of digital machines with provable epistemic properties
Proceedings of the 1986 Conference on Theoretical aspects of reasoning about knowledge
Intention is choice with commitment
Artificial Intelligence
Goal-directed requirements acquisition
6IWSSD Selected Papers of the Sixth International Workshop on Software Specification and Design
A really abstract concurrent model and its temporal logic
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Requirements Engineering: Processes and Techniques
Requirements Engineering: Processes and Techniques
Reasoning about Visibility, Perception and Knowledge
ATAL '99 6th International Workshop on Intelligent Agents VI, Agent Theories, Architectures, and Languages (ATAL),
Intentional agency framework based on cognitive concepts to realize adaptive system management
ICNC'06 Proceedings of the Second international conference on Advances in Natural Computation - Volume Part II
Hi-index | 0.00 |