PROLOG: Subsumption of Equality Axioms by the Homogeneous Form.

P. Hoddinott Edward W. Elcock

Published in: SLP (1986)

Keyphrases

knowledge base
programming language
data sets
neural network
knowledge representation
np complete
first order logic
database
search engine
natural language
expert systems
general purpose
description logics