output
20142026
most citedThe Ethics of ChatGPT in Medicine and Healthcare: A Systematic Review on Large Language Models (LLMs)

374 citations

researchers with a paper here
collaborating institutions
Showing cs.AIShow all

5 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

Bound-Founded Semantics for Answer Set Programming with Difference Constraints: Preliminary Report

Pedro Cabalar, Jorge Fandinno, Nicolas Rühling +3

While the integration of linear constraints has significantly expanded the reach of Answer Set Programming (ASP), existing hybrid solvers often rely on disparate semantic underpinn…

cs.AI2025★ 3 cited

Green AI: A systematic review and meta-analysis of its definitions, lifecycle models, hardware and measurement attempts

Marcel Rojahn, Marcus Grum

Across the Artificial Intelligence (AI) lifecycle - from hardware to development, deployment, and reuse - burdens span energy, carbon, water, and embodied impacts. Cloud provider t…

cs.AI2025

Towards Constraint Temporal Answer Set Programming

Pedro Cabalar, Martín Diéguez, François Olivier +2

Reasoning about dynamic systems with a fine-grained temporal and numeric resolution presents significant challenges for logic-based approaches like Answer Set Programming (ASP). To…

cs.AI2024

On the generalization of learned constraints for ASP solving in temporal domains

Javier Romero, Torsten Schaub, Klaus Strauch

The representation of a dynamic problem in ASP usually boils down to using copies of variables and constraints, one for each time stamp, no matter whether it is directly encoded or…