Papers
Heterogeneous Graph Neural Networks for Assumption-Based Argumentation
Preesha Gehlot, Anna Rapberger, Fabrizio Russo et al.
Matrix Editing Meets Fair Clustering: Parameterized Algorithms and Complexity
Robert Ganian, Hung P. Hoang, Simon Wietheger
Formal Verification of Diffusion Auctions
Rustam Galimullin, Munyque Mittelmann, Laurent Perrussel
Active Learning of Symbolic Automata over Rational Numbers
Sebastian Hagedorn Gaete, Martín Muñoz, Cristian Riveros et al.
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 et al.
Computing Syntax Tree-based Minimal Unsatisfiable Cores of LTLf Formulas
Valeria Fionda, Antonio Ielo, Francesco Ricca
Decidable Multi-agent Epistemic Planning: A Situation Calculus Approach
Qihui Feng, Gerhard Lakemeyer
GraphOracle: Efficient Fully-Inductive Knowledge Graph Reasoning via Relation-Dependency Graphs
Enjun Du, Siyi Liu, Yongqi Zhang
Strategic Reasoning over Golog Programs in the Nondeterministic Situation Calculus
Giuseppe De Giacomo, Yves Lesperance, Matteo Mancanelli
A Topological Rewriting of Tarski’s Mereogeometry
Richard Dapoigny
2-ASP(Q) Solving Based on CEGAR
Andrea Cuteri, Giuseppe Mazzotta, Francesco Ricca
Generalizing Analogical Inference from Boolean to Continuous Domains
Francisco Cunha, Yves Lepage, Miguel Couceiro et al.
Symmetry Breaking for Inductive Logic Programming
Andrew Cropper, David M. Cerna, Matti Järvisalo
Efficient Rule Induction by Ignoring Pointless Rules
Andrew Cropper, David M. Cerna
Foundations of Formal Reasoning over Knowledge Bases Combining Symbolic and Sub-Symbolic Knowledge
Gianluca Cima, Marco Console, Laura Papi
Geo2Vec: Shape- and Distance-Aware Neural Representation of Geospatial Entities
Chen Chu, Cyrus Shahabi
VSPO: Validating Semantic Pitfalls in Ontology via LLM-Based CQ Generation
Hyojun Choi, Seokju Hwang, Kyong-Ho Lee
Automata-less Monitoring via Trace-Checking
Andrea Brunello, Luca Geatti, Angelo Montanari et al.
Learning from Answer Sets via Single-Shot Disjunctive ASP Encoding
Roberto Borelli, Agostino Dovier
Data Complexity of Querying Description Logic Knowledge Bases Under Cost-Based Semantics
Meghyn Bienvenu, Quentin Manière
Argumentative Debates for Transparent Bias Detection
Hamed Ayoobi, Nico Potyka, Anna Rapberger et al.
Under-Approximating Semantics in Clustered Assumption-Based Argumentation
Iosif Apostolakis, Johannes P. Wallner
Expressive Recursive Answers for Ontological Knowledge Bases
Luca Andolfi, Gianluca Cima, Marco Console et al.
Hybrid Semantics Accounting for Argument Types
Leila Amgoud, Marco Hanocq, Marie-Christine Lagasquie-Schiex
Conditional Probabilistic Bipolar Argumentation Framework: Explanations, Complexity and Approximation
Gianvincenzo Alfano, Sergio Greco, Domenico Mandaglio et al.