SymbolicAnalysis and LLM-Guided Debugging of Digital Twin Models with ASP Chef and DTDL †. - Alviano, Mario; Guarasci, Paola (Information, 2026)