Volume: Vol-4246 LLMS4KGOE 2026 & ELMKE 2026 | Year: 2026

Paper: « elmke-4 | elmke-5 | elmke-6 »

Towards an Evaluation Framework for Generated Formal Knowledge

• Maxime Haurel
• Armelle Brun
• Mathieu D'Aquin

177-191 PDF