Feature Logic with Disjunctive Unification.

Jochen Dörre Andreas Eisele

Published in: COLING (1990)

Keyphrases

logic programming
image features
higher order
feature vectors
modal logic
real time
databases
computer vision
case study
expert systems
knowledge representation
feature descriptors
theorem prover
predicate logic