共 50 条
- [31] First-order optimal approximation of binary sequences SEQUENCES AND THEIR APPLICATIONS, PROCEEDINGS, 2002, : 242 - 256
- [32] First-Order Stable Model Semantics and First-Order Loop Formulas JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2011, 42 : 125 - 180
- [35] LQR Design for Discrete-Time Positive Systems: A First-Order Method 2022 IEEE 61ST CONFERENCE ON DECISION AND CONTROL (CDC), 2022, : 4212 - 4217
- [37] First-order LTL model checking using MDGs AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2004, 3299 : 441 - 455
- [38] First-Order Logic Theorem Proving and Model Building via Approximation and Instantiation FRONTIERS OF COMBINING SYSTEMS, FROCOS 2015, 2015, 9322 : 85 - 100
- [39] A Formalization of Programs in First-Order Logic with a Discrete Linear Order FOURTEENTH INTERNATIONAL CONFERENCE ON THE PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2014, : 338 - 347