Now showing items 1-1 of 1

    • Defeasible reasoning with e-contracts 

      Giannikis, G. K.; Daskalopulu, A. (2007)
      We propose a mapping from a contract representation in Event Calculus to Default Logic. The resulting representation allows for defeasible reasoning with e-contracts, which is useful in order to determine the normative ...