Papers
Encode Geometric Diagram as Geo-Graph in Geometry Problem Solving
Wenjun Wu, Lingling Zhang, Bo Zhao et al.
Convergent Semantics for Weighted Bipolar Argumentation
Zongshun Wang, Yuping Shen
A Knowledge Compilation Map for Quantum Information
Lieuwe Vinkhuijzen, Tim Coopmans, Alfons Laarman
A Robust Unlearning Method with Adaptive Knowledge Guidance and Memory Preservation
Jingyuan Tian, Xiaofei Zhou
Delphi: A Neuro-Symbolic Framework for Individualized, Safe and Interpretable Treatment Recommendation
Muchan Tao, Haonan Qin, Yuqi Fang et al.
HierSearch: A Hierarchical Enterprise Deep Search Framework Integrating Local and Web Searches
Jiejun Tan, Zhicheng Dou, Yan Yu et al.
Description Logics with Two Types of Definite Descriptions: Complexity, Expressiveness, and Automated Deduction
Michał Sochański, Przemysław Andrzej Wałęga, Michał Zawidzki
EchoEdit: Consistent Multi-Hop Question Answering via Ripple Control in Knowledge Editing
Jinwei Shi, Wenxuan Huang, Yu Xing et al.
Truth-Tracking Evaluation in Opinion-Based Argumentation
Juliete Rossie, Jérôme Delobelle, Sébastien Konieczny et al.
Aligning Cross-View Visual Geometries in LVLMs Through Human-Like Reasoning Learning
Yuming Qiao, Liang Luo, Dan Meng et al.
Self-Supervised Inductive Logic Programming
Stassa Patsantzis
TFD-Net: Towards Intelligent Time-Frequency Mode Decomposition with Practical Applications
Pingping Pan, Yunjian Zhang, Jinyi Liu
Model Change for Description Logic Concepts
Ana Ozaki, Jandson S Ribeiro
Variance Computation for Weighted Model Counting with Knowledge Compilation Approach
Kengo Nakamura, Masaaki Nishino, Norihito Yasuda
Rational Revision of Group Intentions
Nima Motamed, Natasha Alechina, Mehdi Dastani et al.
Structure-Aware Encodings of Argumentation Properties for Clique-width
Yasir Mahmood, Markus Hecher, Johanna Groven et al.
KeenKT: Knowledge Mastery-State Disambiguation for Knowledge Tracing
Zhifei Li, Lifan Chen, Jiali Yi et al.
MyGram: Modality-aware Graph Transformer with Global Distribution for Multi-modal Entity Alignment
Zhifei Li, Ziyue Qin, Xiangyu Luo et al.
From Dialogue to Destination: Geography-Aware Large Language Models with Multimodal Fusion for Conversational Recommendation
Yeming Li, Chenxi Liu, Jie Zou et al.
A Logical Analysis of an Information Filtering Architecture Based on Epistemic Trust Inference
Xu Li, Leendert Van der Torre, Liuwen Yu
PCoKG: Personality-aware Commonsense Reasoning with Debate
Weijie Li, Zhongqing Wang, Guodong Zhou
Multi-Modal Fact Knowledge Generation for Imbalanced Cross-Source Entity Alignment
Qian Li, Cheng Ji, Zhaoji Liang et al.
Discovering Latent Facts from Context to Construct Richer Open Knowledge Graphs
Jinpeng Li, Hang Yu, Ziqi Ma et al.
SITA: A Framework for Structure-to-Instance Theorem Autoformalization
Chenyi Li, Wanli Ma, Zichen Wang et al.
Consistency-based Abductive Reasoning over Perceptual Errors of Multiple Pre-trained Models in Novel Environments
Mario Leiva, Noel Ngu, Joshua Shay Kricheli et al.