{"total":14,"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":"2505.04115","title":"Polynomial-Time Relational Probabilistic Inference in Open Universes","created":"2025-05-07","cited_by_count":1,"area":null},{"id":"2110.09197","title":"On the Completeness and Complexity of the Lifted Dynamic Junction Tree Algorithm","created":"2021-10-18","cited_by_count":0,"area":null},{"id":"2201.11165","title":"First-Order Context-Specific Likelihood Weighting in Hybrid Probabilistic Logic Programs","created":"2022-01-26","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},{"id":"2605.24845","title":"Solving Combinatorial Counting Problems with Weighted First-Order Model Counting","created":"2026-05-24","cited_by_count":0,"area":null}],"next_cursor":null}