On the relationship between description logic and predicate logic queries
CIKM '94 Proceedings of the third international conference on Information and knowledge management
On the relative expressiveness of description logics and predicate logics
Artificial Intelligence
Multi-Agent Systems: An Introduction to Distributed Artificial Intelligence
Multi-Agent Systems: An Introduction to Distributed Artificial Intelligence
IEEE Intelligent Systems
More Autonomous Hybrid Models in Bang
ICCS '01 Proceedings of the International Conference on Computational Science-Part II
On cooperation in multi-agent systems
The Knowledge Engineering Review
Bang 3: A Computational Multi-Agent System
IAT '04 Proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology
On the relation of resolution and tableaux proof systems for description logics
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Logic-based knowledge representation
Artificial intelligence today
The limits on combining recursive horn rules with description logics
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |
A formalism for the logical description of computational agents and multi-agent systems is given. It is explained how it such a formal description can be used to configure and reason about multi-agent systems realizing computational intelligence models. A usage within a real software system Bang 3 is demonstrated. The logical description of multi-agent systems opens Bang 3 for interaction with ontology based distributed knowledge systems like the Semantic Web.