Answer Set Programming, Artificial Intelligence, curriculum life cycle, higher education, specification language, student information system, Validation.
