A Constructor-Based Approach to Positive/Negative-Conditional Equational Specifications.

Claus-Peter Wirth Bernhard Gramlich

Published in: J. Symb. Comput. (1994)

Keyphrases

positive and negative
theorem proving
positive or negative
random field model
specification language
positive data
equational theories
neural network
negative examples
genetic algorithm
software engineering
conditional probabilities
negative training examples