Login / Signup

Forward and backward guarding in early output logic.

Charlie BrejDoug Edwards
Published in: DDECS (2009)
Keyphrases
  • forward and backward
  • dynamic programming
  • logic programming
  • modal logic
  • data mining
  • input data