Login / Signup

Program Synthesis from Incomplete Specifiactions.

Gérard D. GuihoChristian Gresse
Published in: CADE (1980)
Keyphrases
  • program synthesis
  • recursive programs
  • missing data
  • inductive logic programming
  • missing values
  • uncertain information
  • artificial intelligence
  • incomplete data