An Elementary System as and its Semi-Completeness and Decidability. - Qin Jun (Math. Log. Q., 1992)

The Soundness and Completeness Proof of Agent Intention in AgentSpeak. - Yang Bo; Qin Zheng; Yu Fan; Qin Jun (Web Intelligence, 2007)

A Hybrid Multi-objective Algorithm for Dynamic Vehicle Routing Problems. - Qin Jun; Jiangqing Wang; Bojin Zheng (ICCS (3), 2008)