For citations:
REZUNIK L.A., PROZORSKIY M.A., ALEXANDROV – D.V. Combining Logical Reasoning and LLMs Toward Creating Multi-Agent Smart Home Systems. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2025;37(4):219-234. https://doi.org/10.15514/ISPRAS-2025-37(4)-28





