6 citations · 7 across the 3 of their papers we have counts for
1 paper · 1 filter
Manoj K. Raut
An algorithm to compute the set of prime implicates of a quantifier-free clausal formula X in first order logic had been presented in earlier work. As the knowledge base X is dynam…