An Approach to Class Reasoning in Symbolic Computation.

Gianna Cioni Attilio Colagrossi Marco Temperini

Published in: DISCO (1996)

Keyphrases

data sets
knowledge base
knowledge representation
reasoning systems
model based reasoning
real time
data mining
information retrieval
artificial intelligence
reasoning tasks