Reasoning about Theory Adequacy. A New Solution to the Qualification Problem.

Paolo Bouquet Fausto Giunchiglia

Published in: Fundam. Informaticae (1995)

Keyphrases

formal theory
linear equations
computational model
optimization method
real time
general theory
neural network
artificial intelligence
website
optimal solution
case based reasoning
theoretical framework
closed form
solution quality
qualitative reasoning