A temporal modal defeasible logic for formalizing social commitments in dialogue and argumentation models
On integrating event definition and event detection