A computational framework for dialectical reasoning
暂无分享,去创建一个
[1] Uri J. Schild,et al. The use of meta-rules in rule based legal computer systems , 1993, ICAIL '93.
[2] Paul Bratley,et al. Legal interpretation in expert systems , 1993, ICAIL '93.
[3] Gerhard Brewka. Reasoning about Priorities in Default Logic , 1994, AAAI.
[4] Hector Geffner,et al. Conditional Entailment: Bridging two Approaches to Default Reasoning , 1992, Artif. Intell..
[5] Jaap Hage,et al. Monological reason-based logic: a low level integration of rule-based reasoning and case-based reasoning , 1993, ICAIL '93.
[6] J. C. Smith,et al. The Application of Expert Systems Technology to Case-Based Law , 1987, ICAIL.
[7] Frank van Harmelen. A Classification of Meta-level Architectures , 1988, META.
[8] Giovanni Sartor. A simple computational model for nonmonotonic and adversarial legal reasoning , 1993, ICAIL '93.
[9] Robert A. Kowalski,et al. Amalgamating language and metalanguage in logic programming , 1982 .
[10] Henry Prakken,et al. Logical Tools for Modelling Legal Argument , 1997 .
[11] Richard E. Susskind,et al. Expert Systems in Law: A Jurisprudential Inquiry , 1988 .
[12] Giovanni Sartor,et al. A Formal Model of Legal Argumentation , 1994 .
[13] Marek J. Sergot,et al. The British Nationality Act as a logic program , 1986, CACM.
[14] K. Freeman. Toward formalizing dialectical argumentation , 1993 .
[15] Robert S. Summers,et al. Interpreting Statutes: A Comparative Study , 1991 .
[16] Kevin D. Ashley,et al. A case-based system for trade secrets law , 1987, ICAIL '87.
[17] Paul Bratley,et al. Contradiction and Confirmation , 1993, DEXA.
[18] Thomas F. Gordon,et al. The pleadings game: formalizing procedural justice , 1993, ICAIL '93.
[19] Richard E. Susskind,et al. Expert systems in law , 1987 .
[20] Pierre-Yves Schobbens,et al. A logic for legal hierarchies , 1993, ICAIL '93.
[21] Leon Sterling,et al. An Integrated Interpreter for Explaining Prolog's Successes and Failures , 1989, International Workshop on Meta-Programming in Logic.
[22] Michel van de Kerchove,et al. Dictionnaire encyclopédique de théorie et de sociologie du droit , 1993 .