A tabulation proof procedure for first-order residuated logic programs: Soundness, completeness and optimizations

  1. Damásio, C.V.
  2. Medina, J.
  3. Ojeda-Aciego, M.
Actas:
IEEE International Conference on Fuzzy Systems

ISSN: 1098-7584

ISBN: 9780780394889

Año de publicación: 2006

Páginas: 2004-2011

Tipo: Aportación congreso

DOI: 10.1109/FUZZY.2006.1681978 GOOGLE SCHOLAR
Fuente de los datos: Scopus