Computational law
暂无分享,去创建一个
[1] Michael Kifer,et al. A Logic for Programming Database Transactions , 1998, Logics for Databases and Information Systems.
[2] Michael Kifer. Transaction Logic for the Busy Workflow Professional , 1996 .
[3] Berilhes Borges Garcia,et al. Modelling legal reasoning in a mathematical environment through model theoretic semantics , 2003, ICAIL.
[4] Kevin D. Ashley,et al. AI and Law: A fruitful synergy , 2003, Artif. Intell..
[5] Karl Branting,et al. Advisory systems for pro se litigants , 2001, ICAIL '01.
[6] Marek J. Sergot,et al. The British Nationality Act as a logic program , 1986, CACM.
[7] Edwina L. Rissland,et al. CABARET: Rule Interpretation in a Hybrid Architecture , 1991, Int. J. Man Mach. Stud..
[8] I. V. Ramakrishnan,et al. CTR-S: a logic for specifying contracts in semantic web services , 2004, WWW Alt. '04.
[9] Uri J. Schild,et al. The use of meta-rules in rule based legal computer systems , 1993, ICAIL '93.
[10] José Júlio Alferes,et al. An Evolvable Rule-Based E-mail Agent , 2003, EPIA.