Space Climate and Space Weather: Exploration and Forecasts

Space exploration: The interstellar goal and Titan demonstration

Space-contained conflict revision, for geographic information

Spacecraft command and control using artificial intelligence techniques

Spacecraft Health Automated Reasoning Prototype (SHARP): The fiscal year 1989 SHARP portability evaluations task for NASA Solar System Exploration Division's Voyager project

Specific-to-General Learning for Temporal Events with Application to Learning Event Definitions from Video

Specifying nonspecific evidence

Spectrashift Exoplanet Transit Search Project: 40,000 Light Curves and Counting

SPHERES: a platform for formation-flight research

Splitting an operator: Algebraic modularity results for logics with fixpoint semantics

Splitting and Updating Hybrid Knowledge Bases (Extended Version)

SPPAM - Statistical PreProcessing AlgorithM

Squeaky Wheel Optimization

Stable marriage problems with quantitative preferences

Stationary probability density of stochastic search processes in global optimization

Steady State Resource Allocation Analysis of the Stochastic Diffusion Search

Steepest Ascent Hill Climbing For A Mathematical Problem

Stereotypical Reasoning: Logical Properties

Stochastic Constraint Programming

Stochastic Constraint Programming: A Scenario-Based Approach