共 50 条
- [6] First-order stable model semantics and first-order loop formulas Journal of Artificial Intelligence Research, 2011, 42 : 125 - 180
- [8] First-Order Stable Model Semantics and First-Order Loop Formulas JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2011, 42 : 125 - 180
- [10] A First-Order Approach to Model Simultaneous Control of Multiple Microrobots PROCEEDINGS OF THE 5TH INTERNATIONAL CONFERENCE ON MANIPULATION, AUTOMATION, AND ROBOTICS AT SMALL SCALES (MARSS 2022), 2022,