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

ISSN: 1098-7584

ISBN: 9780780394889

Datum der Publikation: 2006

Seiten: 2004-2011

Art: Konferenz-Beitrag

DOI: 10.1109/FUZZY.2006.1681978 GOOGLE SCHOLAR