A Decidability Problem of Church-Rosser Specifications for Program Synthesis.

Published in: AII (1986)

Keyphrases

program synthesis
recursive programs
description logics
query answering
inductive logic programming
artificial intelligence
type checking
database
machine learning
active learning
np hard
relational learning