Co-occurring keywords · papers mentioning both
Papers
A Theory of Formalisms for Representing Knowledge
AAAI 2025
BoolXAI: Explainable AI Using Expressive Boolean Formulas
AAAI 2025
LLMs as a synthesis between symbolic and distributed approaches to language
EMNLP 2025
Formal Argumentation in Symbolic AI
IJCAI 2024
Learning with Holographic Reduced Representations
NeurIPS 2021
Qualitative Spatial and Temporal Reasoning: Current Status and Future Challenges
IJCAI 2021
An Explicitly Relational Neural Network Architecture
ICML 2020
Learning Logistic Circuits
AAAI 2019
Logic on MARS: Ontologies for Generalised Property Graphs
IJCAI 2017