Login / Signup

Labelled Resolution for Classical and Non-classical Logics.

Dov M. GabbayUwe Reyle
Published in: Stud Logica (1997)
Keyphrases
  • high resolution
  • classical methods
  • expert systems
  • motion estimation
  • classical logic
  • consequence finding