{"total":15,"rows":[{"id":"2211.01164","title":"Lifted Inference with Linear Order Axiom","created":"2022-11-02","cited_by_count":13,"area":null},{"id":"2110.05992","title":"Weighted Model Counting in FO2 with Cardinality Constraints and Counting Quantifiers: A Closed Form Formula","created":"2021-10-12","cited_by_count":8,"area":null},{"id":"2308.08828","title":"Lifted Algorithms for Symmetric Weighted First-Order Model Sampling","created":"2023-08-17","cited_by_count":6,"area":null},{"id":"2308.11738","title":"Lifted Inference beyond First-Order Logic","created":"2023-08-22","cited_by_count":5,"area":null},{"id":"2407.11877","title":"Bridging Weighted First Order Model Counting and Graph Polynomials","created":"2024-07-16","cited_by_count":5,"area":null},{"id":"2302.02730","title":"On Exact Sampling in the Two-Variable Fragment of First-Order Logic","created":"2023-02-06","cited_by_count":3,"area":null},{"id":"2507.19182","title":"Faster Lifting for Ordered Domains with Predecessor Relations","created":"2025-07-25","cited_by_count":2,"area":null},{"id":"2302.09830","title":"Weighted First Order Model Counting with Directed Acyclic Graph Axioms","created":"2023-02-20","cited_by_count":1,"area":null},{"id":"2306.04189","title":"Synthesising Recursive Functions for First-Order Model Counting: Challenges, Progress, and Conjectures","created":"2023-06-07","cited_by_count":1,"area":null},{"id":"2502.12278","title":"Towards Practical First-Order Model Counting","created":"2025-02-17","cited_by_count":1,"area":null},{"id":"2505.04115","title":"Polynomial-Time Relational Probabilistic Inference in Open Universes","created":"2025-05-07","cited_by_count":1,"area":null},{"id":"2508.11515","title":"Weighted First Order Model Counting for Two-variable Logic with Axioms on Two Relations","created":"2025-08-15","cited_by_count":1,"area":null},{"id":"2109.14112","title":"An epistemic approach to model uncertainty in data-graphs","created":"2021-09-29","cited_by_count":0,"area":null},{"id":"2511.09174","title":"Tractable Weighted First-Order Model Counting with Bounded Treewidth Binary Evidence","created":"2025-11-12","cited_by_count":0,"area":null},{"id":"2605.03391","title":"A Fast Model Counting Algorithm for Two-Variable Logic with Counting and Modulo Counting Quantifiers","created":"2026-05-05","cited_by_count":0,"area":null}],"next_cursor":null}