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.

All Projects

View:  Current Projects | Past Projects
Sort by:  Title A-Z | Most Recent
Displaying 21 to 30 (out of 87)
Start |  Prev  |  Next  |  End
QA4

Research in Advanced Formal Theorem-Proving Techniques

AIC Historical Archive

Shakey III

Research and Applications – Artificial Intelligence

A continuation of the AI research based around Shakey.

Shakey IV

Research and Applications – Artificial Intelligence

The fourth project centered around Shakey as a platform for investigating AI problems.

RADAR

RADAR

RADAR helps relieve email overload by identifying and helping to carry out tasks implied by received messages.

PRAiSE

Probabilistic Reasoning as Symbolic Evaluation

To develop lifted inference algorithms for solving probabilistic models expressed by Turing-complete probabilistic programming languages.

PRIME

PRIME: A Predictive Model Development Environment

The goal was to develop PRIME, an effects-based modelling tool, as a web application. PRIME supports rapid, collaborative development of forecasts of the effects of a planned set of DIME (diplomatic, informational, military, or economic) actions.

pnat

PNAT

Overview is coming soon.

Player

Player development

This project supports development and maintenance of Player, an Open Source hardware abstraction layer for robotic devices.

SUO-PDA

Planning and Decision Aids for Small Unit Operations

We developed a planning and decision aid (PDA) for the DARPA Small Unit Operations (SUO) program, to show the feasibility of using advanced planning technologies in SUO. The PDA monitors the execution of machine-understandable plans, using events as they are realistically reported in the battlespace, and alerts the user when the situation requires his attention.

PASSAT

Plan Authoring System based on Sketches, Advice, and Templates (PASSAT)

PASSAT is a user-centric plan-authoring system grounded in the concepts of plan sketches, advice, and templates. PASSAT enables users to quickly develop plans that draw upon past experience encoded in templates, but that are customized to their individual preferences of a given user. The PASSAT core consists of an interactive plan authoring capability; tools for task management, constraint reasoning, plan sketching and causal reasoning provide provide complementary automated capabilities.

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
©2014 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493
SRI International is an independent, nonprofit corporation. Privacy policy