Volume: Vol-4091 DL 2025 | Year: 2025

Paper: « paper17 | paper18 | paper19 »

The Concrete Evonne: Visualization Meets Concrete Domain Reasoning (Extended Abstract)

• Christian Alrabbaa
• Franz Baader
• Raimund Dachselt
• Alisa Kovtunova
• Julián Méndez

PDF