Classical negation in logic programs and disjunctive databases
Normative Run-Time Reasoning for Institutionally-Situated BDI Agents