Login / Signup

The Problem of Choosing the Representation, Inference Rule, and Strategy.

Larry Wos
Published in: J. Autom. Reason. (1991)
Keyphrases
  • inference rules
  • first order logic
  • theorem prover
  • databases
  • artificial intelligence