Search

Search Results

• 2-ASP(Q) Solving Based on CEGAR

  Andrea Cuteri, Giuseppe Mazzotta, Francesco Ricca

  19030-19038

  2026-03-14

• A Topological Rewriting of Tarski’s Mereogeometry

  Richard Dapoigny

  19039-19046

  2026-03-14

• Strategic Reasoning over Golog Programs in the Nondeterministic Situation Calculus

  Giuseppe De Giacomo, Yves Lesperance, Matteo Mancanelli

  19047-19054

  2026-03-14

• GraphOracle: Efficient Fully-Inductive Knowledge Graph Reasoning via Relation-Dependency Graphs

  Enjun Du, Siyi Liu, Yongqi Zhang

  19055-19063

  2026-03-14

• Decidable Multi-agent Epistemic Planning: A Situation Calculus Approach

  Qihui Feng, Gerhard Lakemeyer

  19064-19072

  2026-03-14

• Computing Syntax Tree-based Minimal Unsatisfiable Cores of LTLf Formulas

  Valeria Fionda, Antonio Ielo, Francesco Ricca

  19073-19081

  2026-03-14

• Two Heads Are Better than One: Distilling Large Language Model Features into Small Models with Feature Decomposition and Mixture

  Tianhao Fu, Xinxin Xu, Weichen Xu, Jue Chen, Ruilong Ren, Bowen Deng, Xinyu Zhao, Jian Cao, Xixin Cao

  19082-19090

  2026-03-14

• Active Learning of Symbolic Automata over Rational Numbers

  Sebastian Hagedorn Gaete, Martín Muñoz, Cristian Riveros, Rodrigo Toro Icarte

  19091-19098

  2026-03-14

• Formal Verification of Diffusion Auctions

  Rustam Galimullin, Munyque Mittelmann, Laurent Perrussel

  19099-19107

  2026-03-14

• Matrix Editing Meets Fair Clustering: Parameterized Algorithms and Complexity

  Robert Ganian, Hung P. Hoang, Simon Wietheger

  19108-19116

  2026-03-14

• Heterogeneous Graph Neural Networks for Assumption-Based Argumentation

  Preesha Gehlot, Anna Rapberger, Fabrizio Russo, Francesca Toni

  19117-19125

  2026-03-14

• Non-Monotonic S4F Standpoint Logic

  Piotr Gorczyca, Hannes Strass

  19126-19134

  2026-03-14

• The Correspondence Between Bounded Graph Neural Networks and Fragments of First-Order Logic

  Bernardo Cuenca Grau, Eva Feng, Przemysław Andrzej Wałęga

  19135-19142

  2026-03-14

• Extending Description Logics with Generic Concepts – the Case of Terminologies

  Joshua Hirschbrunn, Yevgeny Kazakov

  19143-19151

  2026-03-14

• Revisiting Conjunctive Query Entailment for S

  Yazmín Ibáñez-García, Jean Christoph Jung, Vincent Michielini, Filip Murlak

  19152-19159

  2026-03-14

• Enumerating Minimal Unsatisfiable Cores of LTLf Formulae

  Antonio Ielo, Giuseppe Mazzotta, Rafael Peñaloza, Francesco Ricca

  19160-19168

  2026-03-14

• Enhancing Strategy Logic with Procedural Rationality

  Ruiqi Jin, Shuyi Li, Yongmei Liu

  19169-19177

  2026-03-14

• Causal, Strategic, and Combined Responsibility Attribution in Situation Calculus Concurrent Game Structures

  MohammadHossein Karimian, Shakil M Khan, Yves Lesperance

  19178-19188

  2026-03-14

• Can You Tell the Difference? Contrastive Explanations for ABox Entailments

  Patrick Koopmann, Yasir Mahmood, Axel-Cyrille Ngonga Ngomo, Balram Tiwari

  19189-19197

  2026-03-14

• Tractable Weighted First-Order Model Counting with Bounded Treewidth Binary Evidence

  Václav Kůla, Qipeng Kuang, Yuyi Wang, Yuanhong Wang, Ondřej Kuželka

  19198-19207

  2026-03-14

• Robust Lazy Conflict Detection via Multi-Conflict Extraction and Genetic Diversity Control

  Viet-Man Le, Lukas André Feldgrill, Alexander Felfernig

  19208-19215

  2026-03-14

• Consistency-based Abductive Reasoning over Perceptual Errors of Multiple Pre-trained Models in Novel Environments

  Mario Leiva, Noel Ngu, Joshua Shay Kricheli, Aditya Taparia, Ransalu Senanayake, Paulo Shakarian, Nathaniel D. Bastian, John Corcoran, Gerardo Simari

  19216-19223

  2026-03-14

• SITA: A Framework for Structure-to-Instance Theorem Autoformalization

  Chenyi Li, Wanli Ma, Zichen Wang, Zaiwen Wen

  19224-19232

  2026-03-14

• Discovering Latent Facts from Context to Construct Richer Open Knowledge Graphs

  Jinpeng Li, Hang Yu, Ziqi Ma, Peng Qi

  19233-19241

  2026-03-14

• Multi-Modal Fact Knowledge Generation for Imbalanced Cross-Source Entity Alignment

  Qian Li, Cheng Ji, Zhaoji Liang, Yuzheng Zhang, Zhuo Chen, Siyuan Liang

  19242-19250

  2026-03-14