{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,18]],"date-time":"2026-03-18T10:03:02Z","timestamp":1773828182095,"version":"3.50.1"},"reference-count":0,"publisher":"EasyChair","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"abstract":"<jats:p>As digital workflows evolve around the curriculum life cycle in higher education institutions, advanced digital tools are needed to automate the processing of study regulations. In particular, the use of formal logic is beneficial for any type of validation in the accreditation process. Three key challenges are addressed in this paper: how to model study regulations, how to validate rules contained in modelled programmes, and how to package the contained logic of study rules in flexible communication between different AI services. This report on a case study demonstrates a solution that enables a continuous workflow from editing the rules to automated validation scenarios that support the administrative staff. The use of symbolic logic in conjunction with formal specification languages offers various forms of use cases within the curriculum life cycle.<\/jats:p>","DOI":"10.29007\/wc93","type":"proceedings-article","created":{"date-parts":[[2023,8,9]],"date-time":"2023-08-09T22:10:11Z","timestamp":1691619011000},"page":"320-307","source":"Crossref","is-referenced-by-count":2,"title":["Automatic and Interactive Validation of Study Regulations in Accreditation Processes of Higher Education Institutions"],"prefix":"10.29007","volume":"95","author":[{"given":"Markus","family":"von der Heyde","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chukwunwike","family":"Otunuya","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias","family":"Goebel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dietmar","family":"Zoerner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ulrike","family":"Lucke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"11545","event":{"name":"Proceedings of European University Information Systems Congress 2023"},"container-title":["EPiC Series in Computing"],"original-title":[],"deposited":{"date-parts":[[2023,8,9]],"date-time":"2023-08-09T22:10:43Z","timestamp":1691619043000},"score":1,"resource":{"primary":{"URL":"https:\/\/easychair.org\/publications\/paper\/Rqgk"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":0,"URL":"https:\/\/doi.org\/10.29007\/wc93","relation":{},"ISSN":["2398-7340"],"issn-type":[{"value":"2398-7340","type":"print"}],"subject":[]}}