Recent Research in Artificial Intelligence and Foundations of Programming

Abstract

This report summarizes recent research in the following areas: artificial intelligence and formal reasoning, mathematical theory of computation and program synthesis, program verification, image understanding, and knowledge based programming.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 01, 1978
Accession Number
ADA066562

Entities

People

  • Cordell Green
  • David Luckham
  • John McCarthy
  • Tom Binford
  • Zohar Manna

Organizations

  • Stanford University

Tags

Communities of Interest

  • Air Platforms
  • Autonomy
  • Biomedical
  • C4I
  • Ground and Sea Platforms
  • Space
  • Weapons Technologies

DTIC Thesaurus Topics

  • Artificial Intelligence
  • Cameras
  • Cognitive Science
  • Computational Science
  • Computer Languages
  • Computer Programming
  • Computer Programs
  • Computers
  • Control Systems
  • Databases
  • High Level Languages
  • Information Processing
  • Information Science
  • Linguistics
  • Programming Languages
  • Psychology
  • Software Development

Readers

  • Geospatial Intelligence and Artificial Intelligence Analytics
  • Operations Research
  • Technical Research and Report Writing.

Technology Areas

  • AI & ML
  • AI & ML - DoD AI Strategy