Search Results for "reasoning" - Page 3

Jadex is a Belief Desire Intention (BDI) reasoning engine that allows for programming intelligent software agents in XML and Java. The resoning engine is very flexible.

...MADARA was originally developed as an agent-based middleware specifically for real-time, distributed artificial intelligence, but is now more general purpose for distributed timing, control, knowledge and reasoning, and quality-of-service. MADARA is composed of several tools and middleware, and the main entry point into the system is the Knowledge and Reasoning Language (KaRL) Engine, which provides a real-time scripting language for nanosecond execution times hooked into a flexible transport layer for distributed reasoning. The KaRL engine also supports object-oriented C++, Java, and Python programming through Containers, classes that provide abstractions and references for variable location within the KaRL Knowledge Base. ...

The Common Lisp Reasoner extends the Common Lisp Object System (CLOS) to incorporate a powerful rule language suitable for all kinds of reasoning tasks, vanilla XML and RDF/XML interfaces, and support for a variety of AI-related applications, such as scheduling, planning and diagnosis.

A lightweight IDE for Artificial Intelligence. Started as GUI for the Euler reasoning engine. The sources can be N3, RDF, OWL, UML, eCore, plain XML or XSD, files or URL's. Wraps Drools (or CWM, FuXi) as N3 rules engines. Model based app. generation.

...It is succeeded by the Eclipse RDF4J project, which can be found at GitHub and at http://www.rdf4j.org/. Sesame is a de-facto standard framework for processing RDF data. This includes parsing, scalable storage, reasoning and full SPARQL 1.1 query/update support. Sesame offers a fully modular toolkit and an easy-to-use Java API that can be connected to all leading RDF storage solutions.

Ptolemy is an extension of Java whose goal are to enable separation of crosscutting concerns, while retaining our ability to understand separated concerns modularly. It balances modularity and expressiveness for aspect-oriented software development.

...A central goal of the Panini language is to make concurrent programming easier and less error-prone. The main new feature in Panini is called a capsule. A capsule is like an actor but better because it largely retains the traditional approach for reasoning about programs as a sequence of operations, abstracts away all details of thread creation and locking, and supports fully-automatic compile-time analysis of common concurrency hazards. Panini is simple and efficient. We invite you to try it out. Downloads are available from http://paninij.org/download/

...The guidelines cover folder structure, naming, and how to scope modifiers, which helps reduce churn when multiple contributors touch the same UI. Even if your team eventually adopts a utility framework or CSS-in-JS, rscss is a helpful reference for reasoning about class semantics and keeping styles tidy.

SEPIA provides implementations for various types of Petri nets. Along Place/Transition-nets, it supports Petri nets with distinguishable token colors and defines coloured workflow nets, where coloured tokens are interpreted as data elements used during process execution. To support information flow analysis of processes, SEPIA defines so-called IF-Nets, tailored for security-oriented workflow modeling which enable users to assign security-levels (HIGH, LOW) to transitions, data elements and...

DisChoco is a Distributed Constraint Reasoning Solver. Several Distributed Constraint Reasoning algorithms are implemented (like ABT, AFC, Adopt, ...). Users may easily implement and test their algorithms with DisChoco. contact: wahbi[at]users[dot]sourceforge[dot]net

nu-BDI is an extension of the Jason agent interpreter aimed at processing norms using constraints on the agent's instantiated plans. The core agent reasoning cycle now includes a component for processing norms and enforcing norm constraints.

The power provided by OWL reasoning engines can be translated into Java applications and vice versas with this framework. A binding among OWL and Java concepts has been done in order to incorporate the semantic features of OWL into Java.

The Java Boolean Expression Library (JBEL) enhances the Java Collections API by implementing on-the-fly sorting, filtering and reasoning capabilities including, select(), collect(), reject(), detect(), doForEach() using functional programming techniques.

Tako is a direct programming language with Java-like syntax. Direct languages avoid routine aliasing and allow programmers to view all variables directly as independent objects, simplifying both formal and informal reasoning.

Hippal is an integrating GUI-framework for a multimodular symbolic A.I.-system IPAL, which combines A.I. Planning, Inductive Program Synthesis, Analogical Reasoning and Learning. Hippal is client-/server-based and uses the Lili Lisp Interpreter as Centr

SATIN is a component model for mobile systems. It is a research project, and allows systems to adapt by a) Reasoning about what they can currently do b) send and recieve classes, objects, components and data. It is used in a number of projects.

DBNL is a cross-platform library that offers a variety of implementations of Bayesian networks and machine learning algorithms. It is a flexible library that covers all aspects of Bayesian netwoks from representation to reasoning and learning. It allows you to create simple static networks as well as complex temporal models with changing structure. It can handle highly non-linear dependencies between multivariate random variables. The particle based inference can answer arbitrary questions given the provided evidence and can even cope with multimodal densities. ...