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.
Aktak:
IEEE International Conference on Fuzzy Systems

ISSN: 1098-7584

ISBN: 9780780394889

Argitalpen urtea: 2006

Orrialdeak: 2004-2011

Mota: Biltzar ekarpena

DOI: 10.1109/FUZZY.2006.1681978 GOOGLE SCHOLAR
Datuen iturria: Scopus