共 50 条
- [42] First-order stable model semantics and first-order loop formulas Journal of Artificial Intelligence Research, 2011, 42 : 125 - 180
- [45] Uncertainty and Invariants of Inverse Problem Solutions for a First-Order Reaction Kinetics and Catalysis, 2003, 44 : 450 - 458
- [49] First-Order Stable Model Semantics and First-Order Loop Formulas JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2011, 42 : 125 - 180