Search

Search Results

• Spectra of Cardinality Queries over Description Logic Knowledge Bases

  Quentin Manière, Marcin Przybyłko

  15067-15074

  2025-04-11

• Temporal Specification Optimisation for the Event Calculus

  Periklis Mantenoglou, Alexander Artikis

  15075-15082

  2025-04-11

• Consistent Query Answering over Existential Rules with Open and Closed Predicates

  Lorenzo Marconi, Riccardo Rosati

  15083-15091

  2025-04-11

• Probabilistic Strategy Logic with Degrees of Observability

  Chunyan Mu, Nima Motamed, Natasha Alechina, Brian Logan

  15092-15099

  2025-04-11

• An And-Sum Circuit with Signed Edges That Is More Succinct than SDD

  Ryoma Onaka, Kengo Nakamura, Masaaki Nishino, Norihito Yasuda

  15100-15108

  2025-04-11

• Tensor Decomposition Meets Knowledge Compilation: A Study Comparing Tensor Trains with OBDDs

  Ryoma Onaka, Kengo Nakamura, Masaaki Nishino, Norihito Yasuda

  15109-15117

  2025-04-11

• A Logical Analysis of Hanabi

  Elise Perrotin

  15118-15125

  2025-04-11

• Checking Consistency of CP-Theory Preferences in Polynomial Time

  Erik Rauer, Samik Basu, Vasant Honavar

  15126-15133

  2025-04-11

• Shield Synthesis for LTL Modulo Theories

  Andoni Rodríguez, Guy Amir, Davide Corsi, César Sánchez, Guy Katz

  15134-15142

  2025-04-11

• A Variable Occurrence-Centric Framework for Inconsistency Handling

  Yakoub Salhi

  15143-15150

  2025-04-11

• Learning Theorem Rationale for Improving the Mathematical Reasoning Capability of Large Language Models

  Yu Sheng, Linjing Li, Daniel Dajun Zeng

  15151-15159

  2025-04-11

• Joint Knowledge Editing for Information Enrichment and Probability Promotion

  Wenhang Shi, Yiren Chen, Shuqing Bian, Xinyi Zhang, Zhe Zhao, Pengfei Hu, Wei Lu, Xiaoyong Du

  15160-15168

  2025-04-11

• MTVHunter: Smart Contracts Vulnerability Detection Based on Multi-Teacher Knowledge Translation

  Guokai Sun, Yuan Zhuang, Shuo Zhang, Xiaoyu Feng, Zhenguang Liu, Liguo Zhang

  15169-15176

  2025-04-11

• Column-Oriented Datalog on the GPU

  Yihao Sun, Sidharth Kumar, Thomas Gilray, Kristopher Micinski

  15177-15185

  2025-04-11

• SR-FoT: A Syllogistic-Reasoning Framework of Thought for Large Language Models Tackling Knowledge-based Reasoning Tasks

  Wentao Wan, Zhuojie Yang, Yongcan Chen, Chenglin Luo, Ruilin Wang, Kehao Cai, Nan Kang, Liang Lin, Keze Wang

  15186-15194

  2025-04-11

• Traffic Scenario Logic: A Spatial-Temporal Logic for Modeling and Reasoning of Urban Traffic Scenarios

  Ruolin Wang, Yuejiao Xu, Jianmin Ji

  15195-15202

  2025-04-11

• Goal-Driven Reasoning in DatalogMTL with Magic Sets

  Shaoyu Wang, Kaiyue Zhao, Dongliang Wei, Przemysław Andrzej Wałęga, Dingmin Wang, Hongming Cai, Pan Hu

  15203-15211

  2025-04-11

• Eliciting Causal Abilities in Large Language Models for Reasoning Tasks

  Yajing Wang, Zongwei Luo, Jingzhe Wang, Zhanke Zhou, Yongqiang Chen, Bo Han

  15212-15220

  2025-04-11

• Temporal Conjunctive Query Answering via Rewriting

  Lukas Westhofen, Jean Christoph Jung, Daniel Neider

  15221-15229

  2025-04-11

• SPAC: Sparse Partitioning and Adaptive Core Tensor Pruning Model for Knowledge Graph Completion

  Chuhong Yang, Bin Li, Nan Wu

  15230-15238

  2025-04-11

• Knowledge Graph Completion with Relation-Aware Anchor Enhancement

  Duanyang Yuan, Sihang Zhou, Xiaoshu Chen, Dong Wang, Ke Liang, Xinwang Liu, Jian Huang

  15239-15247

  2025-04-11

• What Is a Good Question? Assessing Question Quality via Meta-Fact Checking

  Bo Zhang, Jianghua Zhu, Chaozhuo Li, Hao Yu, Li Kong, Zhan Wang, Dezhuang Miao, Xiaoming Zhang, Junsheng Zhou

  15248-15256

  2025-04-11

• A Theory of Formalisms for Representing Knowledge

  Heng Zhang, Guifei Jiang, Donghui Quan

  15257-15264

  2025-04-11

• Counterfactual Debiasing for Physical Audiovisual Commonsense Reasoning

  Daoming Zong, Chaoyue Ding, Kaitao Chen, Yinsheng Li, Shuaiyu Wang

  15265-15273

  2025-04-11

• SVasP: Self-Versatility Adversarial Style Perturbation for Cross-Domain Few-Shot Learning

  Wenqian Li, Pengfei Fang, Hui Xue

  15275-15283

  2025-04-11