Logic Programming with Fuzzy Unification and Imprecise Constants: Possibilistic Semantics and Automated Deduction
Year: 
2001
Advisor: 
Lluís Godo