← Representation
Knowledge & Reasoning › Representation ›

Knowledge Representation

361 directly classified papers

Papers per year

Papers

Securing Public Cloud Networks with Efficient Role-based Micro-Segmentation NSDI 2025
A General Framework for Representing Controlled Natural Language Sentences and Translation to KR Formalisms IJCAI 2025
MultiLogicNMR(er): A Benchmark and Neural-Symbolic Framework for Non-monotonic Reasoning with Multiple Extensions EMNLP 2025
Generating Text from Uniform Meaning Representation IJCNLP 2025
Non-expansive Fuzzy ALC IJCAI 2025
Assessing the Exposure to Public Knowledge in Policy-Protected Description Logic Ontologies IJCAI 2025
On Action Theories with Iterable First-Order Progression AAAI 2025
A Semantic Framework for Neurosymbolic Computation (Abstract Reprint) IJCAI 2025
A Logical Analysis of Hanabi AAAI 2025
Beneath the Surface of Consistency: Exploring Cross-lingual Knowledge Representation Sharing in LLMs NAACL 2025
Unstable Grounds for Beautiful Trees? Testing the Robustness of Concept Translations in the Compilation of Multilingual Wordlists ACL 2025
Scalable Knowledge Refactoring Using Constrained Optimisation AAAI 2025
An And-Sum Circuit with Signed Edges That Is More Succinct than SDD AAAI 2025
A Theory of Formalisms for Representing Knowledge AAAI 2025
Exploring Graph Representations of Logical Forms for Language Modeling ACL 2025
Consistent Query Answering over Existential Rules with Open and Closed Predicates AAAI 2025
EquiPose: Exploiting Permutation Equivariance for Relative Camera Pose Estimation CVPR 2025
Learning Hierarchical Task Knowledge for Planning AAAI 2025
How Far are LLMs from Being Our Digital Twins? A Benchmark for Persona-Based Behavior Chain Simulation ACL 2025
A Unified Framework for Human-Allied Learning of Probabilistic Circuits AAAI 2025
Tracking the perspectives of interacting language models EMNLP 2024
Pauk at SemEval-2024 Task 4: A Neuro-Symbolic Method for Consistent Classification of Propaganda Techniques in Memes SEMEVAL 2024
Data Complexity in Expressive Description Logics with Path Expressions IJCAI 2024
The Queen of England is not England’s Queen: On the Lack of Factual Coherency in PLMs EACL 2024
Learning Structure-Aware Representations of Dependent Types NIPS 2024