Login / Signup

Decision Procedures for Elementary Sublanguages of Set Theory: XIII. Model Graphs, Reflection and Decidability.

Franco ParlamentoAlberto Policriti
Published in: J. Autom. Reason. (1991)
Keyphrases
  • decision procedures
  • probabilistic model
  • modal logic
  • set theory
  • theorem proving
  • decision theoretic
  • data mining
  • pattern recognition
  • probability distribution
  • fuzzy set theory