A knowledge representation and inference system for procedural law
暂无分享,去创建一个
[1] Drew McDermott,et al. A Temporal Logic for Reasoning About Processes and Plans , 1982, Cogn. Sci..
[2] Richard Fikes,et al. STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.
[3] S. Ohta,et al. Legal Expert System LES-2 , 1986, LP.
[4] Hector J. Levesque,et al. Krypton: A Functional Approach to Knowledge Representation , 1983, Computer.
[5] Katsumi Nitta,et al. KRIP: a Knowledge Representation System for Laws Relating to Industrial Property , 1985, LP.
[6] P. M. Melliar-Smith,et al. An interval logic for higher-level temporal reasoning , 1983, PODC '83.
[7] Yoav Shoham,et al. Ten requirements for a theory of change , 1986, New Generation Computing.
[8] Marek J. Sergot,et al. The British Nationality Act as a logic program , 1986, CACM.