Publications
A self-maintained list of papers and research software (occasionally out of date). See also DBLP.
Conferences and journals
-
Approximating Queries on Probabilistic GraphsPreliminary version appeared at ICDT 2024.
-
Conjunctive Queries on Probabilistic Graphs: The Limits of ApproximabilitySelected as one of the seven best papers of the conference; invited to a special issue of Logical Methods in Computer Science.
-
Probabilistic Query Evaluation: The Combined FPRAS Landscape
-
Lifted Inference with Tree AxiomsJournal version of the KR 2021 paper.
-
Domain-Lifted Sampling for Universal Two-Variable Logic and Extensions
-
Automatic Conjecturing of P-Recursions Using Lifted Inference
-
Lifted Inference with Tree AxiomsRunner-up for the Marco Cadoli Best Student Paper Award.
-
Faster Lifting for Two-Variable Logic Using Cell Graphs
-
Symmetric Component Caching for Model Counting on Combinatorial Instances
-
Fast Algorithms for Relational Marginal Polytopes
-
From Probabilistic NetKAT to ProbLog: New Algorithms for Inference and Learning in Probabilistic Networks
-
onto2problog: A Probabilistic Ontology-mediated Querying System using Probabilistic Logic ProgrammingSystems description version of the CIKM 2019 paper.
-
Approximate Weighted First-Order Model Counting: Exploiting Fast Approximate Model Counters and Symmetry
-
Ontology-mediated Queries over Probabilistic Data via Probabilistic Logic Programming
* Alphabetical order or equal contribution.
Peer-reviewed workshops and domestic conferences
-
Approximate Weighted First-Order Model Counting: Exploiting Fast Approximate Model Counters and SymmetryPreliminary version of the IJCAI 2020 paper.
-
Efficient Cardinality Constraints in ProbLog
Software
- FastWFOMC
A tool for computing the weighted first-order model count of a two-variable sentence in a domain-lifted way. - onto2problog
A tool for ontology-mediated query answering over probabilistic data for ontologies formulated in OWL 2 EL. - SymGANAK
A probabilistic exact model counter with support for symmetric component caching.