A representative model based algorithm for maximal contractions
- DongChen Jiang
- YiHua Lou
- et al.
- 2012
- Science China Information Sciences
Paper
Publications
3 results for YiHua Lou
A revision approach based on assignment equivalence classes
- DongChen Jiang
- YiHua Lou
- et al.
- 2010
- ISA 2010
Conference paperA revision system based on delegate model for propositional logic
- Dongchen Jiang
- Yihua Lou
- et al.
- 2009
- ICIECS 2009
Conference paper