Login / Signup

Decidable Bounded Quantification.

Giuseppe CastagnaBenjamin C. Pierce
Published in: POPL (1994)
Keyphrases
  • first order logic
  • data sets
  • transitive closure
  • plan existence
  • neural network
  • real world
  • expert systems
  • plan generation