Homogenizing multi-adjoint logic programs.
Jesús Medina, Manuel Ojeda‐Aciego · 2003
The concept of homogeneous multi-adjoint logic program is introduced, and a procedure to homogenize an arbitrary multi-adjoint logic program is presented. The procedure is proved to preserve models and, moreover, some complexity results are given.