Publications

303 results for Neuro-symbolic AI

International Workshop on Knowledge Graph Summarization (KGSum2023)
- - Carlos Badenes-olmedo
  - Jose Luis Redondo-garcia
  - et al.
- 2023
- K-CAP 2023
ULKB Logic: A HOL-based framework for reasoning over knowledge graphs
- - Guilherme Augusto Ferreira Lima
  - Alexandre Rademaker
  - et al.
- 2023
- SBMF 2023
The Scholarly QALD Challenge
- - Debayan Banerjee
  - Mohamad Yaser Jaradeh
  - et al.
- 2023
- ISWC 2023
Sparsity Controllable Hyperdimensional Computing for Genome Sequence Matching Acceleration
- - Hanning Chen
  - Yeseong Kim
  - et al.
- 2023
- VLSI-SoC 2023
PARIS: Planning Algorithms for Reconfiguring Independent Sets
- - Remo Christen
  - Salomé Eriksson
  - et al.
- 2023
- ECAI 2023
A Neuro-Vector-Symbolic Architecture for Data- and Compute-Efficient Continual Learning, Abstract Reasoning, and Combinatorial Inference
- - Abbas Rahimi
- 2023
- ES Week 2023
Action Space Reduction for Planning Domains
- - Harsha Kokel
  - Junkyu Lee
  - et al.
- 2023
- IJCAI 2023
Approximate Inference in Logical Credal Networks
- - Radu Marinescu
  - Haifeng Qian
  - et al.
- 2023
- IJCAI 2023
An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations
- - Achille Fokoue
  - Ibrahim Abdelaziz
  - et al.
- 2023
- IJCAI 2023
Probabilistic Rule Induction from Event Sequences with Logical Summary Markov Models
- - Debarun Bhattacharjya
  - Oktie Hassanzadeh
  - et al.
- 2023
- IJCAI 2023