A formalism for representing qualified knowledge and its implementation for large knowledge bases. - Yuejun Jiang (1986)

An algebraic technique for deductive database system. - Yuejun Jiang (COMPSAC, 1988)

A Self-Referential Data Model of Knowledge. - Yuejun Jiang (DS-3, 1988)

Epistemic Logic Programming. - Yuejun Jiang (FGCS, 1988)

Intension, Quantified Beliefs and Epistemic Resolution. - Yuejun Jiang (ISMIS, 1988)

An Autoepistemic Logical View of Knowledge Base. - Yuejun Jiang (FSTTCS, 1989)

Epistemic Logic, Probability and Multi-Agent Nonmonotonic Reasoning. - Yuejun Jiang (ECAI, 1990)

Another View of Autoepistemic Logic and Truth Maintenance System. - Yuejun Jiang (ISMIS, 1991)

On Interval-based Temporal Planning: An IQ Strategy. - Barry Richards; Yuejun Jiang; H. Choi (ISMIS, 1991)

An Amalgamated Temporal Logic. - Yuejun Jiang; Barry Richards (ALPUK, 1992)

On the Autoepistemic Reconstruction of Logic Programming. - Yuejun Jiang (New Gener. Comput., 1993)

Ambivalent Logic as the Semantic Basis of Metalogic Programming. - Yuejun Jiang (ICLP, 1994)

On Multiagent Autoepistemic Logic : An Extrospective View. - Yuejun Jiang (KR, 1994)

Nogood Backmarking with Min-Conflict Repair in Constraint Satisfaction and Optimization. - Yuejun Jiang; Thomas Richards; Barry Richards (PPCP, 1994)