Inductive Synthesis of Recursive Processes from Logical Properties.

Shigetomo Kimura Atsushi Togashi Norio Shiratori

Published in: Inf. Comput. (2000)

Keyphrases

logical properties
belief revision
functional programs
machine learning
bargaining solution
recursive programs
knowledge representation
fuzzy logic
inductive inference
program synthesis
artificial intelligence
rough sets
fixed point
incomplete information
nash equilibrium