Nelson Higuera Ruiz — accepted AI-conference papers

2025

T-norm Selection for Object Detection in Autonomous Driving with Logical Constraints

Thomas Eiter, Katsumi Inoue, Nelson Higuera Ruiz, Sota Moriyama

NeurIPS 2025poster

Integrating logical constraints into object detection models for autonomous driving (AD) is a promising way to enhance their compliance with rules and thereby increase the safety of the system. T-norms have been utilized to calculate the constrained loss, i.e., the violations of logical constraints…

Cited by 0 Source ↗Scholar ↗

2022

Large-Neighbourhood Search for Optimisation in Answer-Set Solving

Thomas Eiter, Tobias Geibinger, Nelson Higuera Ruiz, Nysret Musliu, Johannes Oetsch, Daria Stepanova

AAAI 2022technical

While Answer-Set Programming (ASP) is a prominent approach to declarative problem solving, optimisation problems can still be a challenge for it. Large-Neighbourhood Search (LNS) is a metaheuristic for optimisation where parts of a solution are alternately destroyed and reconstructed that has high b…

Cited by 10 Source ↗PDF ↗code ↗Scholar ↗