Yuejun Jiang

14 papers A* 1A 1B 2C 3Journal 1Unranked 5
YearRankTypeTitle / Venue / Authors
1994 B conf
Ambivalent Logic as the Semantic Basis of Metalogic Programming.
ICLP
Yuejun Jiang
1994 — conf
Nogood Backmarking with Min-Conflict Repair in Constraint Satisfaction and Optimization.
PPCP
Yuejun Jiang, Thomas Richards, Barry Richards
1994 A* conf
On Multiagent Autoepistemic Logic : An Extrospective View.
KR
Yuejun Jiang
1993 J jnl
On the Autoepistemic Reconstruction of Logic Programming.
New Gener. Comput.
Yuejun Jiang
1992 — conf
An Amalgamated Temporal Logic.
ALPUK
Yuejun Jiang, Barry Richards
1991 C conf
Another View of Autoepistemic Logic and Truth Maintenance System.
ISMIS
Yuejun Jiang
1991 C conf
On Interval-based Temporal Planning: An IQ Strategy.
ISMIS
Barry Richards, Yuejun Jiang, H. Choi
1990 A conf
Epistemic Logic, Probability and Multi-Agent Nonmonotonic Reasoning.
ECAI
Yuejun Jiang
1989 — conf
An Autoepistemic Logical View of Knowledge Base.
FSTTCS
Yuejun Jiang
1988 — conf
A Self-Referential Data Model of Knowledge.
DS-3
Yuejun Jiang
1988 B conf
An algebraic technique for deductive database system.
COMPSAC
Yuejun Jiang
1988 — conf
Epistemic Logic Programming.
FGCS
Yuejun Jiang
1988 C conf
Intension, Quantified Beliefs and Epistemic Resolution.
ISMIS
Yuejun Jiang
1986 — —
A formalism for representing qualified knowledge and its implementation for large knowledge bases.
Yuejun Jiang