Login / Signup
Using First Order Logic to Validate Feature Model.
Abdelrahman Osman Elfaki
Somnuk Phon-Amnuaisuk
Chin Kuan Ho
Published in:
VaMoS (2009)
Keyphrases
</>
first order logic
formal model
probabilistic model
propositional logic
probabilistic reasoning
expressive power
network structure
database systems
probability distribution
knowledge representation
relational algebra
transitive closure