Login / Signup
A New General Method to Generate Random Modal Formulae for Testing Decision Procedures.
Peter F. Patel-Schneider
Roberto 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