Krom Formulas with One Dyadic Predicate Letter.

Published in: J. Symb. Log. (1976)

Keyphrases

horn clauses
mathematical formulas
first order logic
predicate calculus
computer vision
real time
multi agent systems
artificial neural networks
horn formulas
database
databases
expert systems
cursive script