Login / Signup

Propositional Logic Applied To Execution Control.

Bernard DegallaixJean-Philippe ThibaultMalik Ghallab
Published in: IROS (1992)
Keyphrases
  • propositional logic
  • belief revision
  • first order logic
  • quantified boolean formulae
  • control system
  • belief change
  • proof procedure