Lifted Algorithms for Symmetric Weighted First-Order Model SamplingArtificial Intelligence (AIJ), 2023 |
On Exact Sampling in the Two-Variable Fragment of First-Order LogicLogic in Computer Science (LICS), 2023 |
Scaling the weight parameters in Markov logic networks and relational
logistic regression modelsMachine-mediated learning (ML), 2020 |
Weighted First-Order Model Counting in the Two-Variable Fragment With
Counting QuantifiersJournal of Artificial Intelligence Research (JAIR), 2020 |
Domain-Liftability of Relational Marginal PolytopesInternational Conference on Artificial Intelligence and Statistics (AISTATS), 2020 |
Symmetric Weighted First-Order Model CountingACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS), 2014 |
Markov Chains on Orbits of Permutation GroupsConference on Uncertainty in Artificial Intelligence (UAI), 2012 |
Skolemization for Weighted First-Order Model CountingInternational Conference on Principles of Knowledge Representation and Reasoning (KR), 2013 |