Weighted Model Counting With Function Symbols

By Vaishak Belle. 2017

11 citations recorded by the source corpus.

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

1. Vaishak Belle
2. Hector J. Levesque
3. Giulia Vilone
4. Timo Speith

Citations in the corpus

• Logic meets Probability: Towards Explainable AI Systems for Uncertain Worlds (2017, methodology): “We investigate these questions in [Belle, 2017a; 2017b].”