A demonstration of a legal reasoning system based on teleological analogies
暂无分享,去创建一个
[1] Michael Kifer,et al. Logical foundations of object-oriented and frame-based languages , 1995, JACM.
[2] Makoto Haraguchi,et al. Constructing Predicate Mappings for Goal-Dependent Abstraction , 1994, AII/ALT.
[3] JOHN F. Young. Machine Intelligence , 1971, Nature.
[4] Makoto Haraguchi,et al. An Actual Application of an Analogical Legal Reasoning System Dependent on Legal Purposes , 1999 .
[5] Christoph Walther,et al. Many-sorted unification , 1988, JACM.
[6] Makoto Haraguchi. A Reasoning System for Legal Analogy , 1993, Machine Intelligence 14.
[7] Jaap Hage. Teleological reasoning in reason-based logic , 1995, ICAIL '95.
[8] Josh Tenenberg. Abstracting First-Order Theories , 1990 .