Search Results for author:
Found 2 papers, 0 papers with code
Semirings for Probabilistic and Neuro-Symbolic Logic Programming
The field of probabilistic logic programming (PLP) focuses on integrating probabilistic models into programming languages based on logic.
Top-Down Knowledge Compilation for Counting Modulo Theories
Propositional model counting (#SAT) can be solved efficiently when the input formula is in deterministic decomposable negation normal form (d-DNNF).
Cannot find the paper you are looking for? You can
Submit a new open access paper.
