Yuejun Jiang

According to our database, Yuejun Jiang authored at least 14 papers between 1986 and 1994.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1994

Nogood Backmarking with Min-Conflict Repair in Constraint Satisfaction and Optimization.

Yuejun Jiang, Thomas Richards, Barry Richards

Proceedings of the Principles and Practice of Constraint Programming, 1994

On Multiagent Autoepistemic Logic : An Extrospective View.

Yuejun Jiang

Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94). Bonn, 1994

Ambivalent Logic as the Semantic Basis of Metalogic Programming.

Yuejun Jiang

Proceedings of the Logic Programming, 1994

1993

On the Autoepistemic Reconstruction of Logic Programming.

Yuejun Jiang

New Gener. Comput., 1993

1992

An Amalgamated Temporal Logic.

Yuejun Jiang, Barry Richards

Proceedings of the ALPUK92, Proceedings of the 4th UK Conference on Logic Programming, London, 30 March, 1992

1991

On Interval-based Temporal Planning: An IQ Strategy.

Barry Richards, Yuejun Jiang, H. Choi

Proceedings of the Methodologies for Intelligent Systems, 6th International Symposium, 1991

Another View of Autoepistemic Logic and Truth Maintenance System.

Yuejun Jiang

Proceedings of the Methodologies for Intelligent Systems, 6th International Symposium, 1991

1990

Epistemic Logic, Probability and Multi-Agent Nonmonotonic Reasoning.

Yuejun Jiang

Proceedings of the 9th European Conference on Artificial Intelligence, 1990

1989

An Autoepistemic Logical View of Knowledge Base.

Yuejun Jiang

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1989

1988

Intension, Quantified Beliefs and Epistemic Resolution.

Yuejun Jiang

Proceedings of the Methodologies for Intelligent Systems, 1988

Epistemic Logic Programming.

Yuejun Jiang

Proceedings of the International Conference on Fifth Generation Computer Systems, 1988

A Self-Referential Data Model of Knowledge.

Yuejun Jiang

Proceedings of the IFIP TC2/TC8/WG 2.6/WG 8.1 Working Conference on the Role of Artificial Intelligence in Databases and Information Systems, 1988

An algebraic technique for deductive database system.

Yuejun Jiang

Proceedings of the Twelfth International Computer Software and Applications Conference, 1988

1986

A formalism for representing qualified knowledge and its implementation for large knowledge bases.

Yuejun Jiang

PhD thesis, 1986