Search Results for "c-free"

MaSMT is a java based multi-agent system development framework, especially designed for development of English to Sinhala machine translation system. MaSMT also capable to develop any multi-agent based system through its architecture. Reference: B. Hettige, A. S. Karunananda, G. Rzevski, Multi-agent solution for managing complexity in English to Sinhala Machine Translation, International Journal of Design & Nature and Ecodynamics, Volume 11, Issue 2, 2016, 88 – 96. B. Hettige, A. S....

DnrDALMAS is a Prolog module intended to be a general-level Prolog implementation of the abstract DALMAS (Deontic Action-Logic based Multi-Agent System) architecture. A DALMAS is regulated by a normative system based on an algebraic version of the theory of normative positions. For more information about dnrDALMAS, see the following technical report: Hjelmblom, M. (2008). Deontic action-logic multi-agent systems in Prolog. University of Gävle, Division of Computer Science; University of...

MCMAS-C is an extension to the most famous model checker MCMAS, which is implemented to verify multi-agent system. Our extension is related to check social commitments that agents can create and their fulfillment. It is model checker for CTLC logic.

MASyV (Multi-Agent System Visualization) enables one to write agent-based models/cellular automata, eg. in C, visualize them in real time & capture to movie file with MASyVs GUI & message passing lib. Includes examples: Hello World, ants, viral infection

Blackboard implements a lightweight, portable tuple space suitable for multi-agent system and distributed component design. Supports implicit invocation via content-filtered asynchronous events, blocking call semantics, and shared memory messaging.