A personal home directory will be automatically created
for all students registered for the course.
The directory is accessible using an URL of the form
where id is your student id (typically of the forms 12345A,
123456, a12345). In addition to the URL above,
you have to know a user id and a password that are sent
to you by email when assignments are launched. If you have
not received them, please contact the lecturer.
Computerised assignments are supposed to be done personally.
The schedule is provided in the
system once the first assignment has been launched.
Assignments require the use of answer set programming
tools for which we
provide precompiled Linux binaries. Pointers to existing
source code distributions are also given when possible.
Answers to assignments shall be stored in files and uploaded to
the home assignments server in plaintext.
Answers will appear on your personal home page and they
will be checked partly after submission (sanity-checks and
preliminary tests) and partly after deadline (further test
and partial verification) as batch runs every 15 minutes.
The scale used in automatic evaluation
will be from 0 to 10 points for each assignment. In the
preliminary phase, every assignment is assigned 0 points
(just to make sure that resubmissions are possible).
The tentative limit for acceptance is 4 points
after performing the final checks.
The overall points awarded for each assignement are mapped into
grades (from 0 to 5) when the final results
are published in Noppa. Due to automatic nature of checks,
this mapping is subject to the discretion of the teacher in charge.
Corrections and resubmissions should be done
if immediate errors are found in the answers.
Depending on the browser you are using, you may have to
reload your personal home page in order to see any
changes (e.g. as a result of uploading of your answers)