共 50 条
- [21] First-order stable model semantics and first-order loop formulas Journal of Artificial Intelligence Research, 2011, 42 : 125 - 180
- [22] First-Order Stable Model Semantics and First-Order Loop Formulas JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2011, 42 : 125 - 180
- [26] A waveplate hinge model for PMD in installed fibers 2008 CONFERENCE ON LASERS AND ELECTRO-OPTICS & QUANTUM ELECTRONICS AND LASER SCIENCE CONFERENCE, VOLS 1-9, 2008, : 801 - +