Cheng Hui Wang

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - 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]