Cheng Hui Wang

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1991

2 Li-Yan Yuan, Jia-Huai You, Cheng Hui Wang: A Proof-Theoretic Framework for Nonmonotonic Reasoning and Logic Programming. ICCI 1991: 699-708

1988

1 Li-Yan Yuan, Cheng Hui Wang: On Reducing Parallel Circumscription. AAAI 1988: 450-454

1991
2		Li-Yan Yuan, Jia-Huai You, Cheng Hui Wang: A Proof-Theoretic Framework for Nonmonotonic Reasoning and Logic Programming. ICCI 1991: 699-708
1988
1		Li-Yan Yuan, Cheng Hui Wang: On Reducing Parallel Circumscription. AAAI 1988: 450-454

Coauthor Index

1 Jia-Huai You [2]

2 Li-Yan Yuan [1] [2]