Publication:3491001
From MaRDI portal
zbMath0708.68071MaRDI QIDQ3491001
Publication date: 1989
Horn clauses; fuzzy reasoning; Herbrand interpretations; Herbrand base; fuzzy logic programming system
03B52: Fuzzy logic; logic of vagueness
68T27: Logic in artificial intelligence
68N17: Logic programming
Related Items