Separating world and regulation knowledge: where is the logic
暂无分享,去创建一个
[1] Thomas Wetter,et al. A natural language based legal expert system for consultation and tutoring—the LEX project , 1987, ICAIL '87.
[2] Marek Sergot,et al. Representing legislation as logic programs , 1988 .
[3] Anthony G. Cohn. On the Appearance of Sortal Literals: a Non Substitutional Framework for Hybrid Reasoning , 1989, KR.
[4] Edwina L. Rissland,et al. Dimension-based analysis of hypotheticals from supreme court oral argument , 1988, ICAIL '89.
[5] Alan M. Frisch. A General Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning , 1989, International Conference on Principles of Knowledge Representation and Reasoning.
[6] L. Thorne McCarty,et al. A language for legal Discourse I. basic features , 1989, ICAIL '89.