Login / Signup
Propositional Logic Applied To Execution Control.
Bernard Degallaix
Jean-Philippe Thibault
Malik Ghallab
Published in:
IROS (1992)
Keyphrases
</>
propositional logic
belief revision
first order logic
quantified boolean formulae
control system
belief change
proof procedure