Todo-List

Bugs

• Bugs of the grouping step:
  • Sort predicates inside of a group
  • No template can be a subset of another template (cf "Every user has something. John has nothing.").
• Allow the verb "overrides" only for priority statements
• "If there is someone X then X waits and X sleeps." should fail
• Simple rules are not equivalent to the internal rule format
• If group variables are outside the group but inside another group then the parsing succeeds, but it should not.

Modifications/Extensions

• CLP iterpreter should process auxiliary rules in a special way, in order to hide their existence
• Integrate well-founded semantics (smodels & lparse)
• Integrate defeasible logic interpreter (delores)
• Integrate Situated Courteous Logic Programs
• CLP: support for mutual exclusions
• Should we allow that-subordination?
• Verbalization of the group templates?

Clean-up and Documentation

• Update condensation.txt
• Documentation of the verbalizer modules