Knowledge & Reasoning

ASHiTA: Automatic Scene-grounded HIerarchical Task Analysis CVPR 2025 ASP Chef Chats with Large Language Models IJCAI 2025 ASP-Driven Emergency Planning for Norm Violations in Reinforcement Learning AAAI 2025 Assessing the Exposure to Public Knowledge in Policy-Protected Description Logic Ontologies IJCAI 2025 Assessing the Reasoning Capabilities of LLMs in the context of Evidence-based Claim Verification ACL 2025 A Structural Complexity Analysis of Hierarchical Task Network Planning IJCAI 2025 A Survey of Link Prediction in N-ary Knowledge Graphs EMNLP 2025 A Survey on Multi-View Knowledge Graph: Generation, Fusion, Applications and Future Directions IJCAI 2025 A Syntactic Approach to Computing Complete and Sound Abstraction in the Situation Calculus AAAI 2025 A Theory of Formalisms for Representing Knowledge AAAI 2025 A Trusted Lesion-assessment Network for Interpretable Diagnosis of Coronary Artery Disease in Coronary CT Angiography AAAI 2025 A Unified Framework for Human-Allied Learning of Probabilistic Circuits AAAI 2025 A Unifying Framework for Semiring-Based Constraint Logic Programming With Negation IJCAI 2025 Autoformalization in the Wild: Assessing LLMs on Real-World Mathematical Definitions EMNLP 2025 AutoKB: Automated Creation of Structured Knowledge Bases for Domain-Specific Support NAACL 2025 Automated Knowledge Graph Construction using Large Language Models and Sentence Complexity Modelling EMNLP 2025 Automatic Selection of Macro-Events for Heuristic-Search Temporal Planning AAAI 2025 A Variable Occurrence-Centric Framework for Inconsistency Handling AAAI 2025 Back Attention: Understanding and Enhancing Multi-Hop Reasoning in Large Language Models EMNLP 2025 Balancing Efficiency and Expressiveness: Subgraph GNNs with Walk-Based Centrality ICML 2025 Basilisk: Using Provenance Invariants to Automate Proofs of Undecidable Protocols OSDI 2025 Bayesian Active Learning for Bivariate Causal Discovery ICML 2025 Beneath the Surface of Consistency: Exploring Cross-lingual Knowledge Representation Sharing in LLMs NAACL 2025 Beyond Citations: Integrating Finding-Based Relations for Improved Biomedical Article Representations ACL 2025 Beyond Completion: A Foundation Model for General Knowledge Graph Reasoning ACL 2025