ResearchTrend.AI
A Knowledge Compilation Map

A Knowledge Compilation Map

Adnan Darwiche
Pierre Marquis
ArXivPDFHTML

Papers citing "A Knowledge Compilation Map"

7 / 7 papers shown
Title
A Probabilistic Neuro-symbolic Layer for Algebraic Constraint Satisfaction
A Probabilistic Neuro-symbolic Layer for Algebraic Constraint Satisfaction
Leander Kurscheidt
Paolo Morettin
Roberto Sebastiani
Andrea Passerini
Antonio Vergari
68
0
0
25 Mar 2025
Entailment vs. Verification for Partial-assignment Satisfiability and Enumeration
Entailment vs. Verification for Partial-assignment Satisfiability and Enumeration
Roberto Sebastiani
50
0
0
03 Mar 2025
NeSyA: Neurosymbolic Automata
NeSyA: Neurosymbolic Automata
Nikolaos Manginas
George Paliouras
Luc De Raedt
NAI
115
1
0
10 Dec 2024
A Distribution Semantics for Probabilistic Term Rewriting
A Distribution Semantics for Probabilistic Term Rewriting
Germán Vidal
33
0
0
19 Oct 2024
What is the Relationship between Tensor Factorizations and Circuits (and How Can We Exploit it)?
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
60
10
0
12 Sep 2024
Sum of Squares Circuits
Sum of Squares Circuits
Lorenzo Loconte
Stefan Mengel
Antonio Vergari
TPM
78
7
0
21 Aug 2024
On the Tractability of SHAP Explanations
On the Tractability of SHAP Explanations
Guy Van den Broeck
A. Lykov
Maximilian Schleich
Dan Suciu
FAtt
TDI
45
266
0
18 Sep 2020