Login / Signup

Extending resolution to resolution logics.

Zbigniew Stachniak
Published in: J. Exp. Theor. Artif. Intell. (1991)
Keyphrases
  • low resolution
  • high resolution
  • higher resolution
  • database
  • knowledge base
  • conflict detection