Login / Signup

HOTL: Hypotheses and observations testing logic.

Ismael RodríguezMercedes G. MerayoManuel Núñez
Published in: J. Log. Algebraic Methods Program. (2008)
Keyphrases
  • logic programming
  • hypothesis testing
  • automated reasoning
  • predicate logic
  • database
  • modal logic
  • computational properties
  • dynamic logic
  • data sets
  • machine learning
  • first order logic
  • classical logic
  • truth values