Search

Search Results

• Germane Conflicts: Desirable Properties for Localising Inconsistency

  Glauber de Bona, Anthony Hunter

  14840-14847

  2025-04-11

• Situation Calculus Temporally Lifted Abstractions for Generalized Planning

  Giuseppe de Giacomo, Yves Lespérance, Matteo Mancanelli

  14848-14857

  2025-04-11

• A Computationally Grounded Framework for Cognitive Attitudes

  Tiago de Lima, Emiliano Lorini, Elise Perrotin, François Schwarzentruber

  14858-14866

  2025-04-11

• Sound Over-Approximation of Equational Reasoning with Variable-Preserving Rules Parameterized by Derivation Depth

  Mateus de Oliveira Oliveira

  14867-14874

  2025-04-11

• An Automatic Sound and Complete Abstraction Method for Generalized Planning with Baggable Types

  Hao Dong, Zheyuan Shi, Hemeng Zeng, Yongmei Liu

  14875-14884

  2025-04-11

• Replacing Paths with Connection-Biased Attention for Knowledge Graph Completion

  Sharmishtha Dutta, Alex Gittens, Mohammed J. Zaki, Charu C. Aggarwal

  14885-14892

  2025-04-11

• Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence

  Jorge Fandinno, Zachary Hansen

  14893-14901

  2025-04-11

• Solving Epistemic Logic Programs Using Generate-and-Test with Propagation

  Jorge Fandinno, Lute Lillo

  14902-14910

  2025-04-11

• A Syntactic Approach to Computing Complete and Sound Abstraction in the Situation Calculus

  Liangda Fang, Xiaoman Wang, Zhang Chen, Kailun Luo, Zhenhe Cui, Quanlong Guan

  14911-14921

  2025-04-11

• On the Logic of Theory Base Change: Reformulation of Belief Bases

  Eduardo L. Fermé, Andreas Herzig, Maria Vanina Martinez

  14922-14929

  2025-04-11

• Argumentative Large Language Models for Explainable and Contestable Claim Verification

  Gabriel Freedman, Adam Dejl, Deniz Gorur, Xiang Yin, Antonio Rago, Francesca Toni

  14930-14939

  2025-04-11

• First-Order Automata

  Luca Geatti, Alessandro Gianola, Nicola Gigante

  14940-14948

  2025-04-11

• Temporal Causal Reasoning with (Non-Recursive) Structural Equation Models

  Maksim Gladyshev, Natasha Alechina, Mehdi Dastani, Dragan Doder, Brian Logan

  14949-14957

  2025-04-11

• LTLf Synthesis Under Unreliable Input

  Christian Hagemeier, Giuseppe de Giacomo, Moshe Y. Vardi

  14958-14966

  2025-04-11

• An Algebraic Notion of Conditional Independence, and Its Application to Knowledge Representation

  Jesse Heyninck

  14967-14975

  2025-04-11

• LTLf Synthesis on First-Order Agent Programs in Nondeterministic Environments

  Till Hofmann, Jens Claßen

  14976-14986

  2025-04-11

• New Compilation Languages Based on Restricted Weak Decomposability

  Petr Illner

  14987-14996

  2025-04-11

• Hybrid Reasoning About Relative Position and Orientation of Objects and Navigating Agents Using Answer Set Programming

  Yusuf Izmirlioglu

  14997-15004

  2025-04-11

• APKGC: Noise-enhanced Multi-Modal Knowledge Graph Completion with Attention Penalty

  Yue Jian, Xiangyu Luo, Zhifei Li, Miao Zhang, Yan Zhang, Kui Xiao, Xiaoju Hou

  15005-15013

  2025-04-11

• A Modal Logic for Joint Abilities of Structured Strategies with Bounded Complexity

  Ruiqi Jin, Yongmei Liu, Liping Xiong

  15014-15023

  2025-04-11

• Reasoning About Actual Causes in Nondeterministic Domains

  Shakil M. Khan, Yves Lespérance, Maryam Rostamigiv

  15024-15032

  2025-04-11

• An Alternative Theory of Stable Revision for Nondeterministic Approximation Fixpoint Theory and the Relationships

  Spencer Killen, Jia-Huai You, Jesse Heyninck

  15033-15040

  2025-04-11

• On Action Theories with Iterable First-Order Progression

  Daxin Liu, Jens Claßen

  15041-15048

  2025-04-11

• Scalable Knowledge Refactoring Using Constrained Optimisation

  Minghao Liu, David M. Cerna, Filipe Gouveia, Andrew Cropper

  15049-15057

  2025-04-11

• Dung’s Argumentation Framework: Unveiling the Expressive Power with Inconsistent Databases

  Yasir Mahmood, Markus Hecher, Axel-Cyrille Ngonga Ngomo

  15058-15066

  2025-04-11