Deductive verification of simple foraging robotic behaviours (2009)

First Author: Behdenna A
Attributed to:  Practical Reasoning Approaches for Web Ontologies and Multi-Agent Systems funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1108/17563780911005818

Publication URI: http://dx.doi.org/10.1108/17563780911005818

Type: Journal Article/Review

Parent Publication: International Journal of Intelligent Computing and Cybernetics

Issue: 4