Login / Signup

A software tool for uncertainty modeling using Interpolative Boolean algebra.

Pavle MilosevicBratislav PetrovicDragan G. RadojevicDarko Kovacevic
Published in: Knowl. Based Syst. (2014)
Keyphrases
  • boolean algebra
  • databases
  • fuzzy logic
  • theorem prover
  • cardinality constraints
  • constraint query languages
  • image analysis
  • markov chain
  • conditional probabilities