Homogenizing multi-adjoint logic programs

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.

• Type: Conference
• Year: 2003
• Where: EUSFLAT
• Authors: Jesús Medina, Manuel Ojeda-Aciego
• Keywords: Arbitrary Multi-adjoint Logic, EUSFLAT 2003, EUSFLAT 2007, Homogeneous Multi-adjoint Logic, Multi-adjoint Logic Program