Sign in

Imogen: Focusing the Polarized Inverse Method for Intuitionistic Propositional Logic.

Sean McLaughlinFrank Pfenning
Published in: LPAR (2008)
Keyphrases
  • propositional logic
  • artificial intelligence
  • expert systems
  • orders of magnitude
  • belief revision