共 50 条
- [44] Skolemization for Weighted First-Order Model Counting FOURTEENTH INTERNATIONAL CONFERENCE ON THE PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2014, : 111 - 120
- [45] First-Order Automatic Literal Model Generation AUTOMATED REASONING, IJCAR 2024, PT I, 2024, 14739 : 133 - 153
- [48] Extending to a model structure is not a first-order property NEW YORK JOURNAL OF MATHEMATICS, 2021, 27 : 319 - 348
- [49] Basic first-order model theory in Mizar JOURNAL OF FORMALIZED REASONING, 2010, 3 (01): : 49 - 77
- [50] Noise analysis of a first-order autoregressive model Nihon Kikai Gakkai Ronbunshu C, 780 (3017-3024):