Tuffy
From MaRDI portal
Software:40615
swMATH28901MaRDI QIDQ40615FDOQ40615
Author name not available (Why is that?)
Source code repository: https://github.com/HazyResearch/tuffy
Cited In (12)
- Volt: A Lazy Grounding Framework for Solving Very Large MaxSAT Instances
- Exploiting symmetries for scaling loopy belief propagation and relational training
- Efficient inference and learning in a large knowledge base. Reasoning with extracted information using a locally groundable first-order probabilistic logic
- Constructing Markov Logic Networks from First-Order Default Rules
- Declarative Probabilistic Programming with Datalog
- A comparison of statistical relational learning and graph neural networks for aggregate graph queries
- Learning hierarchical probabilistic logic programs
- Scalable learning and inference in Markov logic networks
- Relational linear programming
- Semantic-based regularization for learning and inference
- Open-world probabilistic databases: semantics, algorithms, complexity
- Leveraging cluster backbones for improving MAP inference in statistical relational models
This page was built for software: Tuffy
