Login / Signup
Classifying and resolving software product line redundancies using an ontological first-order logic rule based method.
Megha Bhushan
José Ángel Galindo Duarte
Piyush Samant
Ashok Kumar
Arun Negi
Published in:
Expert Syst. Appl. (2021)
Keyphrases
</>
first order logic
expressive power
knowledge representation
probabilistic model
knowledge management
theorem proving
natural language
computational complexity
lessons learned
inductive logic programming
theorem prover