Principles of component-based design of intelligent agents
Data & Knowledge Engineering
Agent-Based Simulation of Animal Behaviour
Applied Intelligence
Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic
Journal of Logic, Language and Information
A semantical perspective on verification of knowledge
Data & Knowledge Engineering
Formally Verifying Dynamic Properties of Knowledge Based Systems
EKAW '99 Proceedings of the 11th European Workshop on Knowledge Acquisition, Modeling and Management
Integration of Behavioural Requirements Specification within Knowledge Engineering
EKAW '99 Proceedings of the 11th European Workshop on Knowledge Acquisition, Modeling and Management
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic
ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
Quality assessment of human behavior models
ASC '07 Proceedings of The Eleventh IASTED International Conference on Artificial Intelligence and Soft Computing
Integration of behavioural requirements specification within compositional knowledge engineering
Knowledge-Based Systems
Problem-solving methods: understanding, description, development, and reuse
Problem-solving methods: understanding, description, development, and reuse
The construction of multi-agent systems as an engineering discipline
ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
KEMNAD: A Knowledge Engineering Methodology For Negotiating Agent Development
Computational Intelligence
| Hi-index | 0.00 |