Title	Model-Based Product Redesign
Author	LI Zhan-Shan, KOU Fei-hong, Cheng Xiao-chun, Wang Tao
Citation	Vol. 6  No. 1  pp. 99~102
Keywords	model-based reasoning, design conflict, redesign

Title	Logic of Integrating Metric Space and Time
Author	Xie Qi, Liu Dayou, Yu Qiangyuan, Yu Haibo
Citation	Vol. 6  No. 1  pp. 168~172
Keywords	Temporal logic, metric space, distance, spatio-temporal reasoning

Title	Debris-flow Hazard Forecast and Alert System Based on Real-Time Wireless Communications
Author	Hsu-Yang Kung, Hao-Hsiang Ku, Che-I Wu
Citation	Vol. 6  No. 2  pp. 1~5
Keywords	Decision and Support Mechanisms, Embedded Multimedia Communication System, Reasoning Engines, Debris-flow, Wireless and Mobile Communications

Title	A Hybrid Framework for Automated Onto-Logical Web Service Composition based on Agent Societies
Author	Faezeh Ensan, Mohsen Kahani, Ebrahim Bagheri
Citation	Vol. 6  No. 3  pp. 30-40
Keywords	Logical Reasoning, First Order Logic, Automated Web Service Composition, Intent Verbalization, Multi-Agent Societies.