Suchergebnisse - Yuan, Li Yan

On the semantics of a shared common knowledge distributed logic system

von Wang, Xianchang, Yuan, Li-Yan, You, Jia-Huai

Coherence approach for logic program revision

von Yuan, Li-Yan, You, Jia-Huai

Skeptical belief revision in the reason maintenance system

von You, Jia-Huai, Yuan, Li Yan

On the equivalence of semantics for normal logic programs

von You, Jia-Huai, Yuan, Li Yan

Extending logic programming with negation through uniform proofs

von Yuan, Li-Yan, You, Jia-Huai

A logic for introspective as well as retrospective reasoning: [extended abstract]

von Yuan, Li Yan, You, Jia-Huai

Abductive logic programming with assumption denials

von You, Jia-Huai, Yuan, Li Yan

Proceedings of the 18th International Conference on Very Large Data Bases

von Yuan, Li-Yan

Very large data bases: proceedings of the 18th International Conference on Very Large Data Bases ; August 23 - 27, Vancouver, Canada

Weitere beteiligte Personen: “… Yuan, Li-Yan …”

Very Large Data Bases: proceedings

Band 1992 - Proceedings of the 18th International Conference on Very Large Data Bases : August 23-27, 1992, Vancouver, Canada

Weitere beteiligte Personen: “… Yuan, Li-Yan …”

Ji du jiao wen hua mian mian guan

基督教文化面面观

“… Zhong guo she hui ke xue yuan Zong jiao xue yuan li yan jiu shi …”