Login / Signup

A New General Method to Generate Random Modal Formulae for Testing Decision Procedures.

Peter F. Patel-SchneiderRoberto Sebastiani
Published in: J. Artif. Intell. Res. (2003)
Keyphrases
  • modal logic
  • generation method
  • decision procedures
  • machine learning
  • special case
  • artificial intelligence
  • search algorithm
  • computational complexity
  • data analysis
  • hidden markov models
  • probabilistic model