IRIS: A System for the Propogation of Inferences in a Semantic Net.

M. Trigoboff Casimir A. Kulikowski

Published in: IJCAI (1977)

Keyphrases

semantic net
semantic network
domain knowledge
predicate logic
iris recognition
predicate calculus
qualitative reasoning
boolean queries
knowledge base
learning algorithm
general purpose
wordnet
complex systems
semantic relations
formal model