Login / Signup

"Don't Care" Modeling: A Logical Framework for Developing Predictive System Models.

Hillel KuglerAmir PnueliMichael J. SternE. Jane Albert Hubbard
Published in: TACAS (2007)
Keyphrases
  • logical framework
  • predictive model
  • artificial intelligence
  • inference rules
  • predictive modeling