Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2002.06100
Cited By
v1
v2 (latest)
Analyzing Differentiable Fuzzy Logic Operators
Artificial Intelligence (AIJ), 2020
14 February 2020
Emile van Krieken
Erman Acar
F. V. Harmelen
NAI
AI4CE
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Analyzing Differentiable Fuzzy Logic Operators"
50 / 78 papers shown
LILogic Net: Compact Logic Gate Networks with Learnable Connectivity for Efficient Hardware Deployment
Katarzyna Fojcik
Renaldas Zioma
Jogundas Armaitis
NAI
GNN
294
2
0
15 Nov 2025
Neurosymbolic Deep Learning Semantics
Artur Garcez
S. Odense
NAI
115
0
0
04 Nov 2025
Differentiable Constraint-Based Causal Discovery
Jincheng Zhou
Mengbo Wang
Anqi He
Yumeng Zhou
Hessam Olya
Murat Kocaoglu
Bruno Ribeiro
CML
218
1
0
24 Oct 2025
(Sometimes) Less is More: Mitigating the Complexity of Rule-based Representation for Interpretable Classification
Luca Bergamin
Roberto Confalonieri
F. Aiolli
120
0
0
26 Sep 2025
DeepGraphLog for Layered Neurosymbolic AI
Adem Kikaj
G. Marra
Floris Geerts
Robin Manhaeve
Luc de Raedt
NAI
162
2
0
09 Sep 2025
T-ILR: a Neurosymbolic Integration for LTLf
Riccardo Andreoni
A. Buliga
Alessandro Daniele
Chiara Ghidini
Marco Montali
M. Ronzani
NAI
188
1
0
21 Aug 2025
The DeepLog Neurosymbolic Machine
Vincent Derkinderen
Robin Manhaeve
Rik Adriaensen
Lucas Van Praet
Lennert De Smet
Giuseppe Marra
Luc de Raedt
NAI
FedML
AI4CE
139
0
0
19 Aug 2025
Neural Logic Networks for Interpretable Classification
Vincent Perreault
Katsumi Inoue
Richard Labib
A. Hertz
NAI
FAtt
529
0
0
11 Aug 2025
A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning
Michael K. Chen
NAI
ELM
LRM
255
3
0
05 Aug 2025
Zero-shot Compositional Action Recognition with Neural Logic Constraints
Gefan Ye
Lin Li
Kexin Li
Jun Xiao
Long Chen
291
4
0
04 Aug 2025
ABS: Enforcing Constraint Satisfaction On Generated Sequences Via Automata-Guided Beam Search
Vincenzo Collura
Karim Tit
Laura Bussi
Eleonora Giunchiglia
Maxime Cordy
312
1
0
11 Jun 2025
A Neuro-Symbolic Framework for Sequence Classification with Relational and Temporal Knowledge
International Joint Conference on Artificial Intelligence (IJCAI), 2025
Luca Salvatore Lorello
Marco Lippi
S. Melacci
397
2
0
08 May 2025
A General Framework for Property-Driven Machine Learning
Thomas Flinkow
Marco Casadio
Colin Kessler
Rosemary Monahan
Ekaterina Komendantskaya
AAML
515
2
0
01 May 2025
SymDQN: Symbolic Knowledge and Reasoning in Neural Network-based Reinforcement Learning
Ivo Amador
Nina Gierasimczuk
257
0
0
03 Apr 2025
A Learnability Analysis on Neuro-Symbolic Learning
Hao He
Ming Li
405
2
0
21 Mar 2025
Noise to the Rescue: Escaping Local Minima in Neurosymbolic Local Search
Alessandro Daniele
Emile van Krieken
304
1
0
03 Mar 2025
Standard Neural Computation Alone Is Insufficient for Logical Intelligence
Youngsung Kim
NAI
268
0
0
04 Feb 2025
Compact Rule-Based Classifier Learning via Gradient Descent
Javier Fumanal-Idocin
Raquel Fernandez-Peralta
Javier Andreu-Perez
431
1
0
03 Feb 2025
Understanding the Logic of Direct Preference Alignment through Logic
Kyle Richardson
Vivek Srikumar
Ashish Sabharwal
621
5
0
23 Dec 2024
Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report
Syed Ali Asadullah Bukhari
Thomas Flinkow
M. Inkarbekov
Barak A. Pearlmutter
Rosemary Monahan
351
0
0
21 Nov 2024
Integrating Fuzzy Logic into Deep Symbolic Regression
Wout Gerdes
Erman Acar
262
2
0
01 Nov 2024
Is Complex Query Answering Really Complex?
Cosimo Gregucci
Bo Xiong
Daniel Hernández
Lorenzo Loconte
Pasquale Minervini
Steffen Staab
Antonio Vergari
ELM
494
7
0
16 Oct 2024
LTNtorch: PyTorch Implementation of Logic Tensor Networks
Tommaso Carraro
Luciano Serafini
F. Aiolli
341
14
0
24 Sep 2024
Logically Consistent Language Models via Neuro-Symbolic Integration
International Conference on Learning Representations (ICLR), 2024
Diego Calanzone
Stefano Teso
Antonio Vergari
LRM
348
24
0
09 Sep 2024
EXPLAIN, AGREE, LEARN: Scaling Learning for Neural Probabilistic Logic
European Conference on Artificial Intelligence (ECAI), 2024
Victor Verreet
Lennert De Smet
Luc de Raedt
Emanuele Sansone
243
3
0
15 Aug 2024
A Unified Differentiable Boolean Operator with Fuzzy Logic
Hsueh-Ti Derek Liu
Maneesh Agrawala
Cem Yuksel
Tim Omernick
Vinith Misra
Stefano Corazza
Morgan McGuire
Victor Zordan
AI4CE
286
5
0
15 Jul 2024
On the Hardness of Probabilistic Neurosymbolic Learning
International Conference on Machine Learning (ICML), 2024
Jaron Maene
Vincent Derkinderen
Luc de Raedt
392
7
0
06 Jun 2024
ULLER: A Unified Language for Learning and Reasoning
Emile van Krieken
Samy Badreddine
Robin Manhaeve
Eleonora Giunchiglia
NAI
432
5
0
01 May 2024
Enhancing Interval Type-2 Fuzzy Logic Systems: Learning for Precision and Prediction Intervals
Ata Koklu
Yusuf Guven
T. Kumbasar
338
4
0
19 Apr 2024
On the Independence Assumption in Neurosymbolic Learning
Emile van Krieken
Pasquale Minervini
Edoardo Ponti
Antonio Vergari
399
18
0
12 Apr 2024
Using Domain Knowledge to Guide Dialog Structure Induction via Neural Probabilistic Soft Logic
Connor Pryor
Quan Yuan
J. Liu
Mehran Kazemi
Deepak Ramachandran
Tania Bedrax-Weiss
Lise Getoor
324
7
0
26 Mar 2024
Learning with Logical Constraints but without Shortcut Satisfaction
Zenan Li
Zehua Liu
Yuan Yao
Jingwei Xu
Taolue Chen
Xiaoxing Ma
Jian Lu
NAI
374
25
0
01 Mar 2024
Improving Neural-based Classification with Logical Background Knowledge
Arthur Ledaguenel
Céline Hudelot
M. Khouadjia
NAI
343
2
0
20 Feb 2024
BEARS Make Neuro-Symbolic Models Aware of their Reasoning Shortcuts
Emanuele Marconato
Samuele Bortolotti
Emile van Krieken
Antonio Vergari
Baptiste Caramiaux
Stefano Teso
422
31
0
19 Feb 2024
Exploiting T-norms for Deep Learning in Autonomous Driving
Mihaela C. Stoian
Eleonora Giunchiglia
Thomas Lukasiewicz
327
9
0
17 Feb 2024
Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs
M. Daggitt
Wen Kokke
R. Atkey
Natalia Slusarz
Luca Arnaboldi
Ekaterina Komendantskaya
NAI
354
16
0
12 Jan 2024
Indoor and Outdoor 3D Scene Graph Generation via Language-Enabled Spatial Ontologies
Jared Strader
Nathan Hughes
William Chen
Alberto Speranzon
Luca Carlone
3DV
405
46
0
18 Dec 2023
Assessing SATNet's Ability to Solve the Symbol Grounding Problem
Neural Information Processing Systems (NeurIPS), 2023
Oscar Chang
Lampros Flokas
Hod Lipson
Michael Spranger
NAI
249
24
0
13 Dec 2023
Labeling Neural Representations with Inverse Recognition
Neural Information Processing Systems (NeurIPS), 2023
Kirill Bykov
Laura Kopf
Shinichi Nakajima
Matthias Kirchler
Marina M.-C. Höhne
BDL
504
30
0
22 Nov 2023
Neural-Logic Human-Object Interaction Detection
Liulei Li
Jianan Wei
Wenguan Wang
Yi Yang
380
44
0
16 Nov 2023
Comparing Differentiable Logics for Learning Systems: A Research Preview
Thomas Flinkow
Ba Pearlmutter
Rosemary Monahan
224
2
0
16 Nov 2023
LOGICSEG: Parsing Visual Semantics with Neural Logic Learning and Reasoning
IEEE International Conference on Computer Vision (ICCV), 2023
Liulei Li
Wenguan Wang
Yi Yang
NAI
VLM
400
50
0
24 Sep 2023
Neuro-Symbolic Recommendation Model based on Logic Query
Knowledge-Based Systems (KBS), 2023
Maonian Wu
Bang-Chao Chen
Shaojun Zhu
Bo Zheng
Wei Peng
Mingyi Zhang
NAI
229
8
0
14 Sep 2023
Logic-induced Diagnostic Reasoning for Semi-supervised Semantic Segmentation
IEEE International Conference on Computer Vision (ICCV), 2023
Chen Liang
Wenguan Wang
Jiaxu Miao
Yi Yang
NAI
254
55
0
24 Aug 2023
logLTN: Differentiable Fuzzy Logic in the Logarithm Space
Samy Badreddine
Luciano Serafini
Michael Spranger
224
3
0
26 Jun 2023
Statistical relational learning and neuro-symbolic AI: what does first-order logic offer?
Vaishak Belle
NAI
112
0
0
08 Jun 2023
∂
B
\partial\mathbb{B}
∂
B
nets: learning discrete functions by gradient descent
Ian Wright
240
0
0
12 May 2023
Interpretable Neural-Symbolic Concept Reasoning
International Workshop on Neural-Symbolic Learning and Reasoning (NeSy), 2023
Pietro Barbiero
Gabriele Ciravegna
Francesco Giannini
M. Zarlenga
Lucie Charlotte Magister
Alberto Tonda
Pietro Lio
F. Precioso
M. Jamnik
G. Marra
NAI
LRM
441
65
0
27 Apr 2023
Rethinking Complex Queries on Knowledge Graphs with Neural Link Predictors
International Conference on Learning Representations (ICLR), 2023
hang Yin
Zihao Wang
Yangqiu Song
246
25
0
14 Apr 2023
Neural Graph Reasoning: Complex Logical Query Answering Meets Graph Databases
Hongyu Ren
Mikhail Galkin
Michael Cochez
Zhaocheng Zhu
J. Leskovec
NAI
GNN
292
48
0
26 Mar 2023
1
2
Next
Page 1 of 2
