Search |  Contact |  SRI Home Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap. Do not follow this link, or your host will be blocked from this site. This is a spider trap.A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A A ASRI International.  333 Ravenswood Avenue.  Menlo Park, CA 94025-3493. SRI International is a nonprofit corporation.

Software

Sort by:  Title A-Z
Displaying 11 to 20 (out of 32)
Start |  Prev  |  Next  |  End
SEAS: Structured Evidential Argumentation System

SEAS: Structured Evidential Argumentation System

SEAS is a tool to aid analysts in reasoning about potential opportunities/crises. It records analytic thinking in structured arguments, provides a collaborative environment in which multiple analysts can simultaneously contribute to arguments, and retains a coproate memory of the evolution of analytic thinking over time.

Radius Common Development Environment

Radius Common Development Environment

A rapid prototyping system for 3-D image understanding algorithms.

PRIME

PRIME

The Probative Rapid Interactive Modeling Environment (PRIME) is a decision-support web application that provides modeling and reasoning capabilities intended to stretch the thinking of analysts and decision makers by producing a forecast of the plausible effects that could result from taking actions in a given situation. The plausibility of each forecast effect is explained by one or more structured arguments.

Plan Authoring System based on Sketches, Advice and Templates

Plan Authoring System based on Sketches, Advice and Templates

PASSAT is a user-centric plan-authoring system grounded in the concepts of plan sketches, advice, and templates.

PAL Framework

PAL Framework

PAL (Personalized Assistant that Learns) Framework website.

Open Knowledge Base Connectivity

Open Knowledge Base Connectivity

Open Knowledge Base Connectivity (OKBC) is an application programming interface for accessing knowledge bases stored in knowledge representation systems (KRSs). OKBC provides a uniform model of KRSs based on a common conceptualization of classes, individuals, slots, facets, and inheritance. OKBC consists of a set of operations that provide a generic interface to underlying KRSs.

Lumen

Lumen

Lumen is a agent framework in the Belief-Desire-Intention paradigm that supports autonomous task execution, optionally controlled by user advice.

LAW: Link Analysis Workbench

LAW: Link Analysis Workbench

LAW is a system that helps intelligence professionals define and match patterns within large, incomplete, and noisy sets of relational data.

Knowledge Machine

Knowledge Machine

KM is a powerful, frame-based language with clear first-order logic semantics. It contains sophisticated machinery for reasoning, including selection by description, unification, classification, and reasoning about actions using a situations mechanism.

Karto Robotic SDK

Karto Robotic SDK

Karto SDK for robot on the move

This website does not contain information on all of our past or present projects.
For further information please contact us.

Start |  Prev  |  Next  |  End
SRI International
©2015 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy