Revision Specifications by Means of Programs.

V. Wiktor Marek Miroslaw Truszczynski

Published in: JELIA (1994)

Keyphrases

control flow
machine learning
information retrieval
learning algorithm
knowledge base
high level
finite state machines
computer programs
recursive programs