Structured Theory Development for a Mechanized Logic.

Matt Kaufmann J Strother Moore

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

Keyphrases

case study
formal theory
knowledge based systems
theoretical framework
structured data
theoretical basis
proof theory
data sets
neural network
computational model
defeasible logic
design theory
commonsense reasoning
formal descriptions