A New System and Methodology for Generating Random Modal Formulae.

Peter F. Patel-Schneider Roberto Sebastiani

Published in: IJCAR (2001)

Keyphrases

real time
modal logic
design methodology
database
neural network
decision making
website
three dimensional
artificial neural networks
special case
hidden markov models