Login / Signup

The Oyster-Clam System.

Alan BundyFrank van HarmelenChristian HornAlan Smaill
Published in: CADE (1990)
Keyphrases
  • theorem proving
  • machine learning
  • knowledge base
  • inference rules
  • modal logic