Generic Commands - A Tool for Partial Correctness Formalisms.

Published in: Comput. J. (1977)

Keyphrases

high level
neural network
real world
nonmonotonic reasoning
general purpose
software tools
knowledge acquisition
logic programming
command line
databases
partial information
reasoning tasks
user friendly
domain specific
similarity measure
website
information systems
machine learning