ResearchTrend.AI
  • Papers
  • Communities
  • Events
  • Blog
  • Pricing
Papers
Communities
Social Events
Terms and Conditions
Pricing
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2025 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 2211.01164
  4. Cited By
Lifted Inference with Linear Order Axiom

Lifted Inference with Linear Order Axiom

2 November 2022
J. Tóth
Ondrej Kuzelka
    LRM
ArXiv (abs)PDFHTML

Papers citing "Lifted Inference with Linear Order Axiom"

3 / 3 papers shown
Title
Towards Practical First-Order Model Counting
Towards Practical First-Order Model Counting
Ananth K. Kidambi
Guramrit Singh
Paulius Dilkas
Kuldeep S. Meel
LRM
35
0
0
17 Feb 2025
Lifted Inference beyond First-Order Logic
Lifted Inference beyond First-Order Logic
Sagar Malhotra
D. Bizzaro
Luciano Serafini
100
3
0
22 Aug 2023
Lifted Algorithms for Symmetric Weighted First-Order Model Sampling
Lifted Algorithms for Symmetric Weighted First-Order Model Sampling
Yuanhong Wang
Juhua Pu
Yuyi Wang
Ondrej Kuzelka
TPM
41
5
0
17 Aug 2023
1