Login / Signup

A Tutorial on Stålmarcks's Proof Procedure for Propositional Logic.

Mary SheeranGunnar Stålmarck
Published in: FMCAD (1998)
Keyphrases
  • proof procedure
  • propositional logic
  • first order logic
  • belief revision
  • propositional satisfiability
  • belief change
  • theorem proving
  • natural language processing
  • formal semantics