Even invariants may change with time. New viewpoints on existing constructs can be discovered. New properties may contradict the existing ones, and so there is a need to specify explicitly which property values have priority. Thus, non-monotonic reasoning becomes of direct business relevance rather than an esoteric academic exercise. Proper business specifications formulate the problem and thus are essential for discovering the solution.
Electronic submissions are strongly preferable.
Accepted submissions will be distributed before the workshop.