A compositional, knowledge-based architecture for intelligent query user interfaces
CHI '93 INTERACT '93 and CHI '93 Conference Companion on Human Factors in Computing Systems
Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic
Journal of Logic, Language and Information
Formally Verifying Dynamic Properties of Knowledge Based Systems
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
Modelling project coordination in a multi-agent framework
WET-ICE '96 Proceedings of the 5th International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET ICE'96)
Consciousness, Agents and the Knowledge Game
Minds and Machines
MASL: A Logic for the Specification of Multiagent Real-Time Systems
CEEMAS '07 Proceedings of the 5th international Central and Eastern European conference on Multi-Agent Systems and Applications V
Multi-agent-based integrated framework for intra-class testing of object-oriented software
Applied Soft Computing
Heuristic reasoning and relative incompleteness
International Journal of Approximate Reasoning
Reliability enhancement in software testing – an agent-based approach for complex systems
CIT'04 Proceedings of the 7th international conference on Intelligent Information Technology
Hi-index | 0.00 |