Knowledge Representation

Creating Hierarchical Relations in a Multilingual Event-type Ontology ACL 2025 Enhancing Spectral GNNs: From Topology and Perturbation Perspectives ICML 2025 EquiPose: Exploiting Permutation Equivariance for Relative Camera Pose Estimation CVPR 2025 Exploring Graph Representations of Logical Forms for Language Modeling ACL 2025 From Complex to Atomic: Enhancing Augmented Generation via Knowledge-Aware Dual Rewriting and Reasoning ICML 2025 Generating Text from Uniform Meaning Representation IJCNLP 2025 Germane Conflicts: Desirable Properties for Localising Inconsistency AAAI 2025 Goal-Driven Reasoning in DatalogMTL with Magic Sets AAAI 2025 How Far are LLMs from Being Our Digital Twins? A Benchmark for Persona-Based Behavior Chain Simulation ACL 2025 Hybrid Reasoning About Relative Position and Orientation of Objects and Navigating Agents Using Answer Set Programming AAAI 2025 Initial Models and Serialisability in Abstract Dialectical Frameworks IJCAI 2025 Integrating Answer Set Programming and Large Language Models for Enhanced Structured Representation of Complex Knowledge in Natural Language IJCAI 2025 Label Bias in Symbolic Representation of Meaning ACL 2025 Learning DNF through Generalized Fourier Representations COLT 2025 Learning Hierarchical Task Knowledge for Planning AAAI 2025 Learning Minimum-Size BDDs: Towards Efficient Exact Algorithms ICML 2025 LLM-Guided Probabilistic Program Induction for POMDP Model Estimation CoRL 2025 Meaning Holism and Indeterminacy of Reference in Ontologies (Extended Abstract) IJCAI 2025 MeKB-Sim: Personal Knowledge Base-Powered Multi-Agent Simulation NAACL 2025 MultiLogicNMR(er): A Benchmark and Neural-Symbolic Framework for Non-monotonic Reasoning with Multiple Extensions EMNLP 2025 New Compilation Languages Based on Restricted Weak Decomposability AAAI 2025 Nondeterministic Causal Models CLeaR 2025 Non-expansive Fuzzy ALC IJCAI 2025 On Action Theories with Iterable First-Order Progression AAAI 2025 On Measuring Inconsistency in Graph Databases with Regular Path Constraints (Abstract Reprint) IJCAI 2025