Prolog: Subsumption of Equality Axioms by the Homogeneous Form.

Edward W. Elcock

Published in: J. Log. Program. (1989)

Keyphrases

knowledge base
expert systems
description logics
logic programming
information systems
video sequences
data sets
feature selection
similarity measure
search algorithm
object oriented
abstract machine