6 citations · 7 across the 3 of their papers we have counts for
4 papers
An Algorithm for Computing Prime Implicates in Modal Logic Using Resolution
Manoj K. Raut
In this paper we have proposed an algorithm for computing prime implicates of a modal formula in using resolution method suggested in \cite{Enjalbert}. The algorithm s…
Computing Theory Prime Implicates in Modal Logic
Manoj K. Raut
The algorithm to compute theory prime implicates, a generalization of prime implicates, in propositional logic has been suggested in \cite{Marquis}. In this paper we have extended…
On Octonary Codes and their Covering Radii
Manoj K. Raut, Manish K. Gupta
This paper introduces new reduction and torsion codes for an octonary code and determines their basic properties. These could be useful for the classification of self-orthogonal an…
An Incremental Knowledge Compilation in First Order Logic
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…