A Knowledge Compilation Map

9 June 2011

Papers citing "A Knowledge Compilation Map"

7 / 7 papers shown

Title
A Probabilistic Neuro-symbolic Layer for Algebraic Constraint Satisfaction Leander Kurscheidt Paolo Morettin Roberto Sebastiani Andrea Passerini Antonio Vergari 70 0 0 25 Mar 2025
Entailment vs. Verification for Partial-assignment Satisfiability and Enumeration Roberto Sebastiani 52 0 0 03 Mar 2025
NeSyA: Neurosymbolic Automata Nikolaos Manginas George Paliouras Luc De Raedt NAI 121 1 0 10 Dec 2024
A Distribution Semantics for Probabilistic Term Rewriting Germán Vidal 35 0 0 19 Oct 2024
What is the Relationship between Tensor Factorizations and Circuits (and How Can We Exploit it)? Lorenzo Loconte Antonio Mari G. Gala Robert Peharz Cassio de Campos Erik Quaeghebeur G. Vessio Antonio Vergari 63 10 0 12 Sep 2024
Sum of Squares Circuits Lorenzo Loconte Stefan Mengel Antonio Vergari TPM 78 7 0 21 Aug 2024
On the Tractability of SHAP Explanations Guy Van den Broeck A. Lykov Maximilian Schleich Dan Suciu FAtt TDI 49 267 0 18 Sep 2020