A Groebner bases-based approach to backward reasoning in rule based expert systems

Eugenio Roanes-Lozano, Antonio Hernando, Luis M. Laita, Eugenio Roanes-MacĂ­as. A Groebner bases-based approach to backward reasoning in rule based expert systems. Annals of Mathematics and Artificial Intelligence, 56(3-4):297-311, 2009. [doi]

Abstract

Abstract is missing.