The control component of open mechanized reasoning systems.

Alessandro Armando Alessandro Coglio Fausto Giunchiglia

Published in: Calculemus (1999)

Keyphrases

reasoning systems
automated reasoning
diagnostic reasoning
knowledge representation and reasoning
description logics
control system
learning algorithm
optimal control
real time
neural network
data mining
training data