Computer Science

Authors and titles for recent submissions

• Mon, 17 Feb 2025
• Fri, 14 Feb 2025
• Thu, 13 Feb 2025
• Wed, 12 Feb 2025
• Tue, 11 Feb 2025

See today's new changes

Fri, 14 Feb 2025 (continued, showing 50 of 531 entries )

[601] arXiv:2502.09222 [pdf, other]

Title: ASP-driven User-interaction with Clinguin

Alexander Beiser, Susana Hahn, Torsten Schaub

Comments: In Proceedings ICLP 2024, arXiv:2502.08453

Journal-ref: EPTCS 416, 2025, pp. 215-228

Subjects: Artificial Intelligence (cs.AI); Human-Computer Interaction (cs.HC); Logic in Computer Science (cs.LO); Software Engineering (cs.SE)

[602] arXiv:2502.09221 [pdf, other]

Title: Pearce's Characterisation in an Epistemic Domain

Ezgi Iraz Su (Sinop University)

Comments: In Proceedings ICLP 2024, arXiv:2502.08453

Journal-ref: EPTCS 416, 2025, pp. 201-214

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

[603] arXiv:2502.09220 [pdf, other]

Title: Graphical Conditions for the Existence, Unicity and Number of Regular Models

Van-Giang Trinh (LIRICA team, LIS, Aix-Marseille University, Marseille, France), Belaid Benhamou (LIRICA team, LIS, Aix-Marseille University, Marseille, France), Sylvain Soliman (Inria Saclay, EP Lifeware, Palaiseau, France), François Fages (Inria Saclay, EP Lifeware, Palaiseau, France)

Comments: In Proceedings ICLP 2024, arXiv:2502.08453

Journal-ref: EPTCS 416, 2025, pp. 175-187

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Discrete Mathematics (cs.DM)

[604] arXiv:2502.09219 [pdf, other]

Title: Abduction of Domain Relationships from Data for VQA

Al Mehdi Saadat Chowdhury, Paulo Shakarian, Gerardo I. Simari

Comments: In Proceedings ICLP 2024, arXiv:2502.08453

Journal-ref: EPTCS 416, 2025, pp. 168-174

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Machine Learning (cs.LG)

[605] arXiv:2502.09218 [pdf, other]

Title: Data2Concept2Text: An Explainable Multilingual Framework for Data Analysis Narration

Flavio Bertini (UNIPR), Alessandro Dal Palù (UNIPR), Federica Zaglio (UNIPR), Francesco Fabiano (NMSU), Andrea Formisano (UNIUD)

Comments: In Proceedings ICLP 2024, arXiv:2502.08453

Journal-ref: EPTCS 416, 2025, pp. 139-152

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)

[606] arXiv:2502.09217 [pdf, other]

Title: Modular Stochastic Rewritable Petri Nets

Lorenzo Capra

Comments: In Proceedings ICLP 2024, arXiv:2502.08453

Journal-ref: EPTCS 416, 2025, pp. 128-134

Subjects: Performance (cs.PF); Symbolic Computation (cs.SC)

[607] arXiv:2502.09216 [pdf, other]

Title: Mind the Gaps: Logical English, Prolog, and Multi-agent Systems for Autonomous Vehicles

Galileo Sartor (Swansea University), Adam Wyner (Swansea University), Giuseppe Contissa (University of Bologna)

Comments: In Proceedings ICLP 2024, arXiv:2502.08453

Journal-ref: EPTCS 416, 2025, pp. 111-124

Subjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Logic in Computer Science (cs.LO); Multiagent Systems (cs.MA)

[608] arXiv:2502.09215 [pdf, other]

Title: Architecture for Simulating Behavior Mode Changes in Norm-Aware Autonomous Agents

Sean Glaze (Miami University), Daniela Inclezan (Miami University)

Comments: In Proceedings ICLP 2024, arXiv:2502.08453

Journal-ref: EPTCS 416, 2025, pp. 95-107

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)

[609] arXiv:2502.09213 [pdf, other]

Title: Neuro-Symbolic Contrastive Learning for Cross-domain Inference

Mingyue Liu (Durham University), Ryo Ueda (University of Tokyo), Zhen Wan (Kyoto University), Katsumi Inoue (National Institute of Informatics), Chris G. Willcocks (Durham University)

Comments: In Proceedings ICLP 2024, arXiv:2502.08453

Journal-ref: EPTCS 416, 2025, pp. 78-94

Subjects: Machine Learning (cs.LG); Computation and Language (cs.CL)

[610] arXiv:2502.09212 [pdf, other]

Title: LP-LM: No Hallucinations in Question Answering with Logic Programming

Katherine Wu, Yanhong A. Liu

Comments: In Proceedings ICLP 2024, arXiv:2502.08453

Journal-ref: EPTCS 416, 2025, pp. 69-77

Subjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL)

[611] arXiv:2502.09211 [pdf, other]

Title: Visual Graph Question Answering with ASP and LLMs for Language Parsing

Jakob Johannes Bauer (ETH Zuerich, Switzerland), Thomas Eiter (TU Wien, Austria), Nelson Higuera Ruiz (TU Wien, Austria), Johannes Oetsch (Jonkoping University, Sweden)

Comments: In Proceedings ICLP 2024, arXiv:2502.08453. This work was partially funded from the Bosch Center for AI

Journal-ref: EPTCS 416, 2025, pp. 15-28

Subjects: Artificial Intelligence (cs.AI); Computer Vision and Pattern Recognition (cs.CV); Logic in Computer Science (cs.LO)

[612] arXiv:2502.09209 [pdf, other]

Title: On LLM-generated Logic Programs and their Inference Execution Methods

Paul Tarau (University of North Texas)

Comments: In Proceedings ICLP 2024, arXiv:2502.08453

Journal-ref: EPTCS 416, 2025, pp. 1-14

Subjects: Artificial Intelligence (cs.AI)

[613] arXiv:2502.09208 [pdf, other]

Title: Autonomous Task Completion Based on Goal-directed Answer Set Programming

Alexis R. Tudor

Comments: In Proceedings ICLP 2024, arXiv:2502.08453

Journal-ref: EPTCS 416, 2025, pp. 381-389

Subjects: Logic in Computer Science (cs.LO); Software Engineering (cs.SE)

[614] arXiv:2502.09206 [pdf, other]

Title: Efficient OWL2QL Meta-reasoning Using ASP-based Hybrid Knowledge Bases

Haya Majid Qureshi (University of Klagenfurt), Wolfgang Faber (University of Klagenfurt)

Comments: In Proceedings ICLP 2024, arXiv:2502.08453

Journal-ref: EPTCS 416, 2025, pp. 188-200

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Symbolic Computation (cs.SC)

[615] arXiv:2502.09205 [pdf, other]

Title: Counterfactual Explanations as Plans

Vaishak Belle (University of Edinburgh)

Comments: In Proceedings ICLP 2024, arXiv:2502.08453

Journal-ref: EPTCS 416, 2025, pp. 153-167

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

[616] arXiv:2502.09204 [pdf, other]

Title: Logical Lease Litigation: Prolog and LLMs for Rental Law Compliance in New York

Sanskar Sehgal, Yanhong A. Liu

Comments: In Proceedings ICLP 2024, arXiv:2502.08453

Journal-ref: EPTCS 416, 2025, pp. 59-68

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

[617] arXiv:2502.09203 [pdf, html, other]

Title: Revisiting Euclidean Alignment for Transfer Learning in EEG-Based Brain-Computer Interfaces

Dongrui Wu

Subjects: Human-Computer Interaction (cs.HC); Machine Learning (cs.LG)

[618] arXiv:2502.09202 [pdf, other]

Title: Faster than real-time detection of shot boundaries, sampling structure and dynamic keyframes in video

Hannes Fassold

Comments: Accepted for ICISPC 2024

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[619] arXiv:2502.09201 [pdf, html, other]

Title: Commitment Schemes from OWFs with Applications to Quantum Oblivious Transfer

Thomas Lorünser, Sebastian Ramacher, Federico Valbusa

Subjects: Cryptography and Security (cs.CR)

[620] arXiv:2502.09198 [pdf, html, other]

Title: Understanding High-Dimensional Bayesian Optimization

Leonard Papenmeier, Matthias Poloczek, Luigi Nardi

Comments: 19 pages, 20 figures

Subjects: Machine Learning (cs.LG)

[621] arXiv:2502.09194 [pdf, html, other]

Title: XAInomaly: Explainable and Interpretable Deep Contractive Autoencoder for O-RAN Traffic Anomaly Detection

Osman Tugay Basaran, Falko Dressler

Comments: 22 pages, 9 Figures, Submitted to Journal (First revision completed)

Subjects: Information Theory (cs.IT)

[622] arXiv:2502.09193 [pdf, html, other]

Title: Generalizability through Explainability: Countering Overfitting with Counterfactual Examples

Flavio Giorgi, Fabiano Veglianti, Fabrizio Silvestri, Gabriele Tolomei

Subjects: Machine Learning (cs.LG)

[623] arXiv:2502.09192 [pdf, html, other]

Title: Thinking beyond the anthropomorphic paradigm benefits LLM research

Lujain Ibrahim, Myra Cheng

Subjects: Computation and Language (cs.CL)

[624] arXiv:2502.09189 [pdf, html, other]

Title: Data Structures for Finite Downsets of Natural Vectors: Theory and Practice

Michaël Cadilhac, Vanessa Flügel, Guillermo A. Pérez, Shrisha Rao

Subjects: Logic in Computer Science (cs.LO); Data Structures and Algorithms (cs.DS); Formal Languages and Automata Theory (cs.FL)

[625] arXiv:2502.09188 [pdf, html, other]

Title: Matina: A Large-Scale 73B Token Persian Text Corpus

Sara Bourbour Hosseinbeigi, Fatemeh Taherinezhad, Heshaam Faili, Hamed Baghbani, Fatemeh Nadi, Mostafa Amiri

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI)

[626] arXiv:2502.09183 [pdf, html, other]

Title: RefineCoder: Iterative Improving of Large Language Models via Adaptive Critique Refinement for Code Generation

Changzhi Zhou, Xinyu Zhang, Dandan Song, Xiancai Chen, Wanli Gu, Huipeng Ma, Yuhang Tian, Mengdi Zhang, Linmei Hu

Comments: work in process

Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI)

[627] arXiv:2502.09180 [pdf, other]

Title: A Machine Learning Approach to Sensor Substitution for Non-Prehensile Manipulation

Idil Ozdamar (1,2), Doganay Sirintuna (1,2), Arash Ajoudani (1) ((1) Human-Robot Interfaces and Interaction, Istituto Italiano di Tecnologia, Genoa, Italy, (2) Dept. of Informatics, Bioengineering, Robotics, and System Engineering, University of Genoa, Genoa, Italy)

Comments: 8 pages, 6 figures, submitted to IEEE Robotics and Automation Letters, for associated video, see this https URL

Subjects: Robotics (cs.RO)

[628] arXiv:2502.09175 [pdf, html, other]

Title: FLAME: Flexible LLM-Assisted Moderation Engine

Ivan Bakulin (1 and 2), Ilia Kopanichuk (1 and 2), Iaroslav Bespalov (1), Nikita Radchenko (3), Vladimir Shaposhnikov (1 and 4), Dmitry Dylov (1 and 4), Ivan Oseledets (1 and 4) ((1) AIRI, (2) Moscow Institute of Physics and Technology, (3) SberHealth, (4) Skolkovo Institute of Science and Technology)

Subjects: Cryptography and Security (cs.CR); Artificial Intelligence (cs.AI); Computation and Language (cs.CL)

[629] arXiv:2502.09173 [pdf, html, other]

Title: Two-Stage Representation Learning for Analyzing Movement Behavior Dynamics in People Living with Dementia

Jin Cui, Alexander Capstick, Payam Barnaghi, Gregory Scott

Comments: AAAI 2025 Workshop on Large Language Models and Generative AI for Health

Journal-ref: AAAI 2025 Workshop on Large Language Models and Generative AI for Health

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI)

[630] arXiv:2502.09172 [pdf, html, other]

Title: LOB-Bench: Benchmarking Generative AI for Finance - an Application to Limit Order Book Data

Peer Nagy, Sascha Frey, Kang Li, Bidipta Sarkar, Svitlana Vyetrenko, Stefan Zohren, Ani Calinescu, Jakob Foerster

Subjects: Machine Learning (cs.LG); Computational Engineering, Finance, and Science (cs.CE); Computational Finance (q-fin.CP); Trading and Market Microstructure (q-fin.TR)

[631] arXiv:2502.09170 [pdf, html, other]

Title: LimSim Series: An Autonomous Driving Simulation Platform for Validation and Enhancement

Daocheng Fu, Naiting Zhong, Xu Han, Pinlong Cai, Licheng Wen, Song Mao, Botian Shi, Yu Qiao

Subjects: Robotics (cs.RO)

[632] arXiv:2502.09168 [pdf, html, other]

Title: Musical Heritage Historical Entity Linking

Arianna Graciotti, Nicolas Lazzari, Valentina Presutti, Rocco Tripodi

Comments: To appear in Artificial Intelligence Review Journal

Subjects: Computation and Language (cs.CL)

[633] arXiv:2502.09166 [pdf, html, other]

Title: Integrated Sensing and Communication with Distributed Rate-Limited Helpers

Yiqi Chen, Holger Boche, Tobias J. Oechtering, Mikael Skoglund

Comments: Part of the results were accepted by ICC2025

Subjects: Information Theory (cs.IT)

[634] arXiv:2502.09165 [pdf, other]

Title: Generalizing Reduced Rank Extrapolation to Low-Rank Matrix Sequences

Pascal den Boef, Patrick Kürschner, Xiaobo Liu, Jos Maubach, Jens Saak, Wil Schilders, Jonas Schulze, Nathan van de Wouw

Comments: 32 pages, 8 figures, 7 algorithms

Subjects: Numerical Analysis (math.NA)

[635] arXiv:2502.09164 [pdf, html, other]

Title: E-MD3C: Taming Masked Diffusion Transformers for Efficient Zero-Shot Object Customization

Trung X. Pham, Zhang Kang, Ji Woo Hong, Xuran Zheng, Chang D. Yoo

Comments: 16 pages, 14 figures

Subjects: Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG)

[636] arXiv:2502.09159 [pdf, html, other]

Title: An hp Multigrid Approach for Tensor-Product Space-Time Finite Element Discretizations of the Stokes Equations

Nils Margenberg, Peter Munch, Markus Bause

Comments: 23 pages, 5 figures, 5 tables, submitted to SISC

Subjects: Numerical Analysis (math.NA); Computational Physics (physics.comp-ph)

[637] arXiv:2502.09156 [pdf, other]

Title: Improving TCM Question Answering through Tree-Organized Self-Reflective Retrieval with LLMs

Chang Liu, Ying Chang, Jianmin Li, Yiqian Qu, Yu Li, Lingyong Cao, Shuyuan Lin

Subjects: Computation and Language (cs.CL)

[638] arXiv:2502.09155 [pdf, html, other]

Title: Use of Air Quality Sensor Network Data for Real-time Pollution-Aware POI Suggestion

Giuseppe Fasano, Yashar Deldjoo, Tommaso di Noia, Bianca Lau, Sina Adham-Khiabani, Eric Morris, Xia Liu, Ganga Chinna Rao Devarapu, Liam O'Faolain

Subjects: Information Retrieval (cs.IR)

[639] arXiv:2502.09152 [pdf, html, other]

Title: Vertical Federated Continual Learning via Evolving Prototype Knowledge

Shuo Wang, Keke Gai, Jing Yu, Liehuang Zhu, Qi Wu

Subjects: Machine Learning (cs.LG); Neural and Evolutionary Computing (cs.NE)

[640] arXiv:2502.09151 [pdf, html, other]

Title: Regularization can make diffusion models more efficient

Mahsa Taheri, Johannes Lederer

Subjects: Machine Learning (cs.LG); Statistics Theory (math.ST); Machine Learning (stat.ML)

[641] arXiv:2502.09150 [pdf, html, other]

Title: Shortcut Learning Susceptibility in Vision Classifiers

Pirzada Suhail, Amit Sethi

Subjects: Machine Learning (cs.LG); Computer Vision and Pattern Recognition (cs.CV)

[642] arXiv:2502.09148 [pdf, html, other]

Title: Multimodal HIE Lesion Segmentation in Neonates: A Comparative Study of Loss Functions

Annayah Usman, Abdul Haseeb, Tahir Syed

Subjects: Computer Vision and Pattern Recognition (cs.CV)

[643] arXiv:2502.09146 [pdf, html, other]

Title: Modeling in Jjodel: Bridging Complexity and Usability in Model-Driven Engineering

Antonio Bucchiarone, Juri Di Rocco, Damiano Di Vincenzo, Alfonso Pierantonio

Comments: 34 pages, 14 figures

Subjects: Software Engineering (cs.SE)

[644] arXiv:2502.09143 [pdf, html, other]

Title: Feature-based Graph Attention Networks Improve Online Continual Learning

Adjovi Sim, Zhengkui Wang, Aik Beng Ng, Shalini De Mello, Simon See, Wonmin Byeon

Comments: 16 pages

Subjects: Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG)

[645] arXiv:2502.09142 [pdf, html, other]

Title: LLM-Driven Augmented Reality Puppeteer: Controller-Free Voice-Commanded Robot Teleoperation

Yuchong Zhang, Bastian Orthmann, Michael C. Welle, Jonne Van Haastregt, Danica Kragic

Comments: Accepted as conference proceeding in International Conference on Human-Computer Interaction 2025 (HCI International 2025)

Subjects: Human-Computer Interaction (cs.HC); Robotics (cs.RO)

[646] arXiv:2502.09140 [pdf, html, other]

Title: Replay-free Online Continual Learning with Self-Supervised MultiPatches

Giacomo Cignoni, Andrea Cossu, Alex Gomez-Villa, Joost van de Weijer, Antonio Carta

Comments: Accepted at ESANN 2025

Subjects: Machine Learning (cs.LG); Computer Vision and Pattern Recognition (cs.CV)

[647] arXiv:2502.09139 [pdf, html, other]

Title: Zebrafix: Mitigating Memory-Centric Side-Channel Leakage via Interleaving

Anna Pätschke, Jan Wichelmann, Thomas Eisenbarth

Subjects: Cryptography and Security (cs.CR)

[648] arXiv:2502.09137 [pdf, html, other]

Title: Trust Me, I Know the Way: Predictive Uncertainty in the Presence of Shortcut Learning

Lisa Wimmer, Bernd Bischl, Ludwig Bothmann

Comments: Preprint. Under review

Subjects: Machine Learning (cs.LG)

[649] arXiv:2502.09135 [pdf, html, other]

Title: Interpreting and Steering Protein Language Models through Sparse Autoencoders

Edith Natalia Villegas Garcia, Alessio Ansuini

Comments: 11 pages, 6 figures

Subjects: Machine Learning (cs.LG); Biomolecules (q-bio.BM)

[650] arXiv:2502.09131 [pdf, html, other]

Title: A Stochastic Fundamental Lemma with Reduced Disturbance Data Requirements

Ruchuan Ou, Guanru Pan, Timm Faulwasser

Subjects: Systems and Control (eess.SY); Optimization and Control (math.OC)