A Tabulation Proof Procedure for Residuated Logic Programming.

Carlos Viegas Damsio, Jess Medina, Manuel Ojeda-Aciego

Browse the full ECAI paper archive.