Empirically Successful Automated Reasoning: Systems Issue.

Bernd Fischer Geoff Sutcliffe Stephan Schulz

Published in: J. Autom. Reason. (2006)

Keyphrases

reasoning systems
automated reasoning
diagnostic reasoning
description logics
knowledge representation and reasoning
semi automated
artificial intelligence
computer aided
neural network
knowledge representation
semi automatic
computer assisted
automated analysis