Search Results for "prog programming software"

Logic Programming and Deductive Database system (Tabled Prolog) for Unix, Mac, and Windows.

Jason is a fully-fledged interpreter for an extended version of AgentSpeak, a BDI agent-oriented logic programming language, and is implemented in Java. Using JADE a multi-agent system can be distributed over a network effortlessly. This project was moved to https://jason-lang.github.io

This project aims to promote the MultiAgent Programming (MAP) approach by providing a suitable integration of tools and languages for programming the following dimensions: agents (Jason), environment (Cartago), and organisation (Moise).

Agentopia is a programming framework (API) for Java 5 mobile agents in peer-to-peer networks. Main features: Routing around firewalls, anonymity, and it is extremely easy to write new agents. No RMI, no CORBA, just plain Java bytecode loading.

The MCAPL Project provides a tool for prototyping BDI agent programming languages and model checking programs written in these languages via an interface to the JavaPathfinder model checker.

C++ Fuzzy Logic Programming Library - For problem solving in the fuzzy logic domain. It has an object oriented API well suited to C++ syntax for direct inclusion in source code. Portable to platforms that support the C++ STL.

CArtAgO is a framework for programming and executing virtual environments in multi-agent programs.

ASTRA is an implementation of AgentSpeak(TR) that has built in support for the CArTaGo and EIS environment models. Support for conversation management is provided in the form of the ACRE conversation manager.

A Practical Agent Programming Language

Ellipsis is a modular, agent-oriented, and extendable toolkit to execute stationary and mobile software agents written in the Java programming language. Ellipsis uses the standard application server JBoss (version 4.2.3 GA) without any modifications. In contrast to existing mobile agent toolkits, Ellipsis has an agent- and message-oriented architecture. Ellipsis is built on top of the JMX architecture. Core Ellipsis components are implemented as MBeans which provides for basic ser-vices to execute agents and control their life-cycle. ...

CARTAGO-WS is a platform for developing SOA applications based on Web Services exploiting agent programming models and technologies.

XML Processor. A Multi-threaded, Pub/Sub environment for Dynamic programming on an event driven Tickless and Sleeping State Machine with TCP communications, tight flawless memory management, powerful set algebra and a magical database. 100% C++. ezPort.

Jazzyk - a special-purpose programming language interpreter for development of modular intelligent agents based on a plug-in architecture.

Artifical World simulator, it simulate virtual 3D world and execute IA programs. It have API for programming IAs in C++. it use Irrlicht as 3D engine.

Using this plugin-based framework, you can instantly start working on the *brain* of your bot (irc bot, chatterbot, robot, ...). With support for db, irc, logging and programming-language independent plugins, users can easily enhance the functionality.

ZATURN: Visual, Interactive, Intuitive, Emmersive User Experience with Mac OS X and Object Orientated Programming -- Think Tank and Sandbox

Formicidae is the official simulator and visualizer for the Ant-Wars competitive programming site, written in Java and SISC. The site is hosted at www.ant-wars.net.

Robot Controlling System (RCS) - is a .NET-oriented software group for controlling remote mechanical objects, debuging and programming them by .NET-languages