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.
Framework for creation of board games. Chess is built-in, Monopoly comes next. It addresses: 1) Players 2) Game authors 3) AI developers 4) Model-based developers. Developed by software professionals using EMF. New games are configured in few hours.
INGENIAS Development Kit (IDK) is a framework for analysis, design and implementation of multi-agent systems (MAS). It is based on the specification of MAS meta-models, from which tools such as the model editor and code generation are generated.
Deploy in 115+ regions with the modern database for every enterprise.
MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
A java-swing application that provides a tree-view of a jena rdf-graph.
This is a tool for developers utilizing jena or pellet who wish to see what is going on within their jena-model when inference occurs.