output
19952026
most citedLand Cover Classification via Multi-temporal Spatial Data by Recurrent Neural Networks

291 citations

researchers with a paper here
collaborating institutions

431 papers

cs.LO2026

A Strategy Language for Controlled Proof Search

Romain Sidhoum, Simon Robillard, David Delahaye

This paper introduces the strategy language of Pgeon, a meta-prover with a clear separation between inference rules and proof search. We give the semantics of strategies as functio…

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.CV2026

Generalization Limits in Vehicle Re-Identification

Anis Yassine Ben Mabrouk, Antoine Tadros, Rafael Grompone von Gioi +3

Vehicle re-identification focuses on retrieving images of the same vehicle from a gallery given a query image. Upon closer inspection of commonly used datasets, we observe that veh…

math.OC2026

Quantum Model for CVRPTW

Imran Meghazi, Éric Bourreau

This paper proposes a quantum algorithm for the capacitated vehicle routing problem with time windows (CVRPTW) based on Grover Search framework. This problem is often faced by Post…

cs.RO2026★ 2 cited

Occlusion Handling by Pushing for Enhanced Fruit Detection

Ege Gursoy, Dana Kulić, Andrea Cherubini

In agricultural robotics, effective observation and localization of fruits present challenges due to occlusions caused by other parts of the tree, such as branches and leaves. Thes…