Implementation Techniques for Inductive Types in Plastic.

Paul Callaghan Zhaohui Luo

Published in: TYPES (1999)

Keyphrases

computer vision
bayesian networks
concept learning
databases
knowledge base
preprocessing
lower bound
management system
software engineering
inductive logic programming
efficient implementation
implementation issues
inductive reasoning