Compiling HPSG type constraints into definite clause programs

Thilo Götz Walt Detmar Meurers

Published in: CoRR (1995)

Keyphrases

definite clause
knowledge base
database systems
general purpose
building blocks
inductive logic programming
pac learnability