Roussel, Olivier; Mathieu, Philippe The achievement of knowledge bases by cycle search. (English) Zbl 1045.68604 Inf. Comput. 162, No. 1-2, 43-58 (2000). MSC: 68T15 68T35 PDFBibTeX XMLCite \textit{O. Roussel} and \textit{P. Mathieu}, Inf. Comput. 162, No. 1--2, 43--58 (2000; Zbl 1045.68604) Full Text: DOI Link
Roussel, Olivier; Mathieu, Philippe Exact knowledge compilation in predicate calculus: the partial achievement case. (English) Zbl 1430.68421 McCune, William (ed.), Automated deduction – CADE-14. 14th international conference on automated deduction, Townsville, North Queensland, Australia. July 13–17, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1249, 161-175 (1997). MSC: 68V15 03B10 03B35 68T30 PDFBibTeX XMLCite \textit{O. Roussel} and \textit{P. Mathieu}, Lect. Notes Comput. Sci. 1249, 161--175 (1997; Zbl 1430.68421) Full Text: DOI
Roussel, Olivier; Mathieu, Philippe A new method for knowledge compilation: the achievement by cycle search. (English) Zbl 1412.68256 McRobbie, M. A. (ed.) et al., Automated deduction – CADE-13. 13th international conference on automated deduction, New Brunswick, NJ, USA, July/August 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1104, 493-507 (1996). MSC: 68T15 68T27 68T35 PDFBibTeX XMLCite \textit{O. Roussel} and \textit{P. Mathieu}, Lect. Notes Comput. Sci. 1104, 493--507 (1996; Zbl 1412.68256) Full Text: DOI
Mathieu, Philippe; Delahaye, Jean-Paul A kind of logical compilation for knowledge bases. (English) Zbl 0813.68155 Theor. Comput. Sci. 131, No. 1, 197-218 (1994). MSC: 68T35 68T15 68N20 68N17 PDFBibTeX XMLCite \textit{P. Mathieu} and \textit{J.-P. Delahaye}, Theor. Comput. Sci. 131, No. 1, 197--218 (1994; Zbl 0813.68155) Full Text: DOI