Journal: AI in Engineering

Volume 7, Issue 3

125 -- 137Neeraj Kaul, Gautam Biswas, Bharat L. Bhuva. Multi-level qualitative reasoning applied to CMOS digital circuits
139 -- 151Eric Sauthier, Boi Faltings. Model-based traffic control
153 -- 165Alex Loopik, Yossi Lichtenstein. Prolog versus Kee - A case study
167 -- 173Qiang Shen, Roy Leitch. On extending the quantity space in qualitative reasoning
175 -- 182Yousri El Fattah. Constraint logic programming: Applications and implications