Title: Quantitative Logic and Soft Computing
Subjects: Logic programming, Soft computing, Intelligent control systems