Co-occurring keywords · papers mentioning both
Papers
An Epistemic Perspective on Agent Awareness
AAAI 2026
Concept Sketching for Description Logics
UAI 2026
How to Train a Real-World Silicon Concierge? Internalizing Complex Business Workflow to Only OneModel
ACL 2026
Knowledge Vector of Logical Reasoning in Large Language Models
ACL 2026
Learning from Answer Sets via Single-Shot Disjunctive ASP Encoding
AAAI 2026
On Trustworthy, Explainable, and Verifiable High-Level Autonomy via Hierarchical Planning
AAAI 2026
The Future Is Neuro-Symbolic: Where Has It Been, and Where Is It Going?
AAAI 2026
Why LLMs Hallucinate on Structured Knowledge: A Mechanistic Analysis of Reasoning over Linearized Representations
ACL 2026
40 Years of Research in Possibilistic Logic – a Survey
IJCAI 2025
A Comprehensive Evaluation on Event Reasoning of Large Language Models
AAAI 2025
A General Framework for Representing Controlled Natural Language Sentences and Translation to KR Formalisms
IJCAI 2025
A Logical Analysis of Hanabi
AAAI 2025
An Algebraic Notion of Conditional Independence, and Its Application to Knowledge Representation
AAAI 2025
A Semantic Framework for Neurosymbolic Computation (Abstract Reprint)
IJCAI 2025
A Survey on Multi-View Knowledge Graph: Generation, Fusion, Applications and Future Directions
IJCAI 2025
A Theory of Formalisms for Representing Knowledge
AAAI 2025
A Variable Occurrence-Centric Framework for Inconsistency Handling
AAAI 2025
Beneath the Surface of Consistency: Exploring Cross-lingual Knowledge Representation Sharing in LLMs
NAACL 2025
Categorical Semantics of Compositional Reinforcement Learning
JMLR 2025
Causal Representation Learning from Multimodal Clinical Records under Non-Random Modality Missingness
EMNLP 2025
Co-Dream: Collaborative Dream Synthesis over Decentralized Models
AAAI 2025
Column-Oriented Datalog on the GPU
AAAI 2025
Cracking Factual Knowledge: A Comprehensive Analysis of Degenerate Knowledge Neurons in Large Language Models
ACL 2025
Discovering Conceptual Knowledge with Analytic Ontology Templates for Articulated Objects
AAAI 2025
Entailment-Preserving First-order Logic Representations in Natural Language Entailment
ACL 2025