共 50 条
- [45] Skolemization for Weighted First-Order Model Counting FOURTEENTH INTERNATIONAL CONFERENCE ON THE PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, 2014, : 111 - 120
- [47] First-Order Automatic Literal Model Generation AUTOMATED REASONING, IJCAR 2024, PT I, 2024, 14739 : 133 - 153
- [50] Extending to a model structure is not a first-order property NEW YORK JOURNAL OF MATHEMATICS, 2021, 27 : 319 - 348