| C. Krogh and H. Herrestad. Hohfeld in cyberspace and other applications of normative reasoning in agent technology. Artificial Intelligence and Law, 6:81--96, 1999. |
.... deontic logic [Dig99, Lia98] deontic update semantics [vdTT99] and deontic deep structure models [TT98] with applications in computer security (e.g. changing access rights) and electronic commerce (e.g. the transfer of obligations and rights in international trade procedures and contracts) [KH99, TT98]. In contrast to other dynamic approaches to normative reasoning, causal deontic logic is founded on the distinction between interventions and observations. The logic introduced in this paper extends Grunwald s nonmonotonic temporal logic [Gru98] based on Pearl s causal theories [Pea96] with ....
C. Krogh and H. Herrestad. Hohfeld in cyberspace and other applications of normative reasoning in agent technology. Artificial Intelligence and Law, 6:81--96, 1999.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC