Logic for computer science: foundations of automatic theorem proving
Logic for computer science: foundations of automatic theorem proving
Intention is choice with commitment
Artificial Intelligence
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
A translation approach to portable ontology specifications
Knowledge Acquisition - Special issue: Current issues in knowledge modeling
Agent theories, architectures, and languages: a survey
ECAI-94 Proceedings of the workshop on agent theories, architectures, and languages on Intelligent agents
This is MYWORLD: the logic of an agent-oriented DAI testbed
ECAI-94 Proceedings of the workshop on agent theories, architectures, and languages on Intelligent agents
Supporting Cooperation in the SPADE-1 Environment
IEEE Transactions on Software Engineering
IEEE Internet Computing
Understanding Agent Systems
The Knowledge Engineering Review
Description logics in ontology applications
KI'05 Proceedings of the 28th annual German conference on Advances in Artificial Intelligence
Building a bioinformatics ontology using OIL
IEEE Transactions on Information Technology in Biomedicine
Modeling Multi-Agent Systems as Labeled Transitions Systems: A Unifying Approach
KES-AMSTA '09 Proceedings of the Third KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications
An ontology based multi-agent system to support HABIO outsourcing framework
Expert Systems with Applications: An International Journal
Using ontology to generate test cases for GUI testing
International Journal of Computer Applications in Technology
Hi-index | 0.00 |
Ontologies have been established as a powerful tool to enable knowledge sharing, and a growing number of applications have benefited from the use of ontologies as a means to achieve semantic interoperability among heterogeneous, distributed systems. This paper is about the use of ontologies in multi-agent systems conceptual modelling. By coming up with ontologies related to communication and organisation, we deduce a multi-agent system conceptual model.