2025
Horae: A Domain-Agnostic Language for Automated Service Regulation
IJCAI 2025
Artificial intelligence is rapidly encroaching on the field of service regulation. However, existing AI-based regulation techniques are often tailored to specific application domains and thus are difficult to generalize in an automated manner. This paper presents Horae, a unified specification langu