Papers
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.
Robust Lazy Conflict Detection via Multi-Conflict Extraction and Genetic Diversity Control
Viet-Man Le, Lukas André Feldgrill, Alexander Felfernig
Tractable Weighted First-Order Model Counting with Bounded Treewidth Binary Evidence
Václav Kůla, Qipeng Kuang, Yuyi Wang et al.
Can You Tell the Difference? Contrastive Explanations for ABox Entailments
Patrick Koopmann, Yasir Mahmood, Axel-Cyrille Ngonga Ngomo et al.
Causal, Strategic, and Combined Responsibility Attribution in Situation Calculus Concurrent Game Structures
MohammadHossein Karimian, Shakil M Khan, Yves Lesperance
Enhancing Strategy Logic with Procedural Rationality
Ruiqi Jin, Shuyi Li, Yongmei Liu
Enumerating Minimal Unsatisfiable Cores of LTLf Formulae
Antonio Ielo, Giuseppe Mazzotta, Rafael Peñaloza et al.
Revisiting Conjunctive Query Entailment for S
Yazmín Ibáñez-García, Jean Christoph Jung, Vincent Michielini et al.
Extending Description Logics with Generic Concepts – the Case of Terminologies
Joshua Hirschbrunn, Yevgeny Kazakov
The Correspondence Between Bounded Graph Neural Networks and Fragments of First-Order Logic
Bernardo Cuenca Grau, Eva Feng, Przemysław Andrzej Wałęga
Non-Monotonic S4F Standpoint Logic
Piotr Gorczyca, Hannes Strass