works on

From the 36 of 2.1k papers with an AI index.

most citedResource-Aware Quantum Programming with General Recursion and Quantum Control

315 citations

Showing cs.AIShow all

15 papers · 1 filter

cs.AI2026

ASPaeroFlow: Decomposition Heuristics for Joint Air Traffic Flow & Capacity Management

Alexander Beiser, Markus Hecher, Nysret Musliu +2

While mathematical models act as vital decision support systems for operational Air Traffic Flow and Capacity Management (ATFCM), existing approaches isolate Air Traffic Flow Manag…

cs.AI2026

Do Visual Features Improve Other-Initiated Repair Detection? A Dyadic Multimodal Approach

Anh Ngo, Nicolas Rollet, Catherine Pelachaud +1

Other-initiated Self-repair, or in short Other-initiated Repair (OIR), is an essential mechanism in conversational interaction, whereby a recipient signals a problem in speaking, h…

cs.AI2026

Enhancing Query Efficiency for d-DNNF Representations Through Preprocessing

Jean Marie Lagniez, Emmanuel Lonca

The paper studies preprocessing methods that preserve model counts to speed up uniform sampling, direct model access, and enumeration of models for CNF formulas compiled into d-DNN…

cs.AI2026

Abstractions of Queries in Ontology-Based Data Access

Michel Leclère, Marie-Laure Mugnier, Guillaume Pérution-Kihli

In ontology-based data access (OBDA), multiple data sources are integrated via mappings to an ontology. We consider an OBDA setting based on existential rules and the certain answe…

cs.AI2026

Answering Path Queries under Linear and Guarded Existential Rules

Jean-François Baget, Meghyn Bienvenu, Marie-Laure Mugnier +1

Ontology-mediated query answering is concerned with the problem of answering queries over knowledge bases consisting of a database instance and an ontology. While most work in the…

cs.AI2026

An In-depth Study of LLM Contributions to the Bin Packing Problem

Julien Herrmann, Guillaume Pallez

Recent studies have suggested that Large Language Models (LLMs) could provide interesting ideas contributing to mathematical discovery. This claim was motivated by reports that LLM…