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

ISSN: 1098-7584

ISBN: 9780780394889

Year of publication: 2006

Pages: 2004-2011

Type: Conference paper

DOI: 10.1109/FUZZY.2006.1681978 GOOGLE SCHOLAR
Data source: Scopus