Interactions between normative systems and software cognitive agents. A formalization in temporal modal defeasible logic and its implementation

RĂ©gis Riveret. Interactions between normative systems and software cognitive agents. A formalization in temporal modal defeasible logic and its implementation. PhD thesis, University of Bologna, Italy, 2008. [doi]

Abstract

Abstract is missing.