Sorted multi-adjoint logic programs: Termination results and aplications (0)

by C Damásio, J Medina, M Ojeda-Aciego
Venue:In Logics in Artificial Intelligence, JELIA’04