Flora-2 is a powerful knowledge representation and reasoning system designed for building knowledge-intensive applications. It is based on F-logic, HiLog, Transaction Logic, and also supports defeasible reasoning. Applications include intelligent agents, Semantic Web, ontology management, and more.
If you use Flora-2 and like it, please acknowledge it in your project!
Semantic Assistants support users in content retrieval, analysis, and development, by offering context-sensitive NLP services directly integrated in standard desktop clients, like a word processor, and web information systems, like a wiki.
GGPServer is a web server based on Apache Tomcat that allows to play and watch matches between registered general game glaying (http://en.wikipedia.org/wiki/General_Game_Playing) programs.
ajile: Advanced JavaScript Importing & Loading Extension allows developers to easily create unique namespaces for JavaScript modules and quickly define dependencies that allow scripts to automatically load and import each other as needed.
With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.
You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
AIS is an Development Platform providing a high-speed JIT compiler for LISP and JavaScript, web server, object repositories, MySQL integration and libraries supporting a wide variety of advanced genetic programming and symbolic regression techniques.
The aim of ALIVE is to develop new approaches to the engineering of flexible, adaptable distributed service-oriented systems based on the adaptation of social coordination and organisation mechanisms.
POGG (Programação Orientada a Gráficos de Gantt) é um modelo de programação que permite a distribuição de tarefas num Sistema Multiagente (SMA) criado com a plataforma JADE (Java Agent DEvelopment Framework), formando uma grade computacional.
Compliant and Reliable File Transfers Backed by Top Security Certifications
Cerberus FTP Server delivers SOC 2 Type II certified security and FIPS 140-2 validated encryption.
Stop relying on non-certified, legacy file transfer tools that creak under the weight of modern security demands. Get full audit trails, advanced access controls and more supported by an award-winning team of experts. Start your free 25-day trial today.
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.
easy fusion is a java-based framework that intends to automatically deploy and control information fusion systems (IFS) on distributed and dynamic resources.
Spyse is a software framework for building multi-agent systems. It allows Python developers to build distributed intelligent systems of multiple cooperative agents based on FIPA, OWL, SOA and many others. Spyse is designed for ease-of-use and fun.
PlexBench is a cross-platform, web-enabled, analysis tool that is driven by a scalable backpropagation feed-forward neural network. It uses embedded Perl for scripting and is written in the style of an in-process Component Object Model (COM) C++ program.
A framework for transferring implicit or tacit knowledge between members of a community. It works by observing the behavior of community members, and providing them with suggestions from other community members based on their past behavior.
The central aim of OrkAPI is to be an interface to any kind of Ork-related data within Java. It also features a GUI that can assist in creating a move and inspecting the collected data. There are many points to extend OrkAPI with "Plugin" classes.
Open Source Semantic Web Search Engine Software: If two machines anywhere on the web can agree on the same definition of a digital service or digital good, then machine to machine transactions can use this lingua franca to transact on the users behalf.
CAIR is an e-learning project that allow users and subjects management. You can associate pupils and teachers to subjects and works for this subjects. There are special functionalities for those subjects related to Robocup development.
JPA is platform independent, hybrid agent framework that enables users to use natural language to access applications such as email, file system, web services, database, and internet; all through a single user interface.
This is a framework to develop Contexts and Agents and a Container to run them. The Container lets each Agent interact with the Context and other Agents. The agents are deployed in jar files and each one runs in an exclusive sandbox.
Development processes simulation. Identifies problematic and overloaded points analyzing data flow between the involved processes in a development project.