Login / Signup

Circumscription - A Form of Non-Monotonic Reasoning.

John McCarthy
Published in: Artif. Intell. (1980)
Keyphrases
  • autoepistemic logic
  • database
  • default logic
  • real time
  • machine learning