State Deltas That Remember: A Formalism for Describing State Changes.

Abstract

We define a system for describing state changes based on the state deltas of S. Crocker. This approach combines the 'sometimes' assertion method with a limited 'during' modality.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
May 01, 1982
Accession Number
ADA115840

Entities

People

  • Leo Marcus

Organizations

  • University of Southern California

Tags

Communities of Interest

  • C4I
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Abstracts
  • California
  • Classification
  • Computations
  • Computer Science
  • Contracts
  • Environment
  • Information Science
  • Intervals
  • Language
  • Natural Languages
  • Parallel Computing
  • Security
  • Universities

Fields of Study

  • Physics