{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,24]],"date-time":"2025-09-24T10:20:58Z","timestamp":1758709258575,"version":"3.37.0"},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[1993,9,1]],"date-time":"1993-09-01T00:00:00Z","timestamp":746841600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["New Gener Comput"],"published-print":{"date-parts":[[1993,9]]},"DOI":"10.1007\/bf03037186","type":"journal-article","created":{"date-parts":[[2009,4,22]],"date-time":"2009-04-22T02:28:04Z","timestamp":1240367284000},"page":"423-448","source":"Crossref","is-referenced-by-count":3,"title":["HELIC-II: Legal reasoning system on the parallel inference machine"],"prefix":"10.1007","volume":"11","author":[{"given":"Katsumi","family":"Nitta","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yoshihisa","family":"Ohtake","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shigeru","family":"Maeda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Masayuki","family":"Ono","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hiroshi","family":"Ohsaki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kiyokazu","family":"Sakane","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF03037186_CR1","unstructured":"Taki, K., \u201cParallel Inference Machine PIM,\u201dInternational Conference on Fifth Generation Computer Systems 1992, 1992."},{"key":"BF03037186_CR2","unstructured":"Chikayama, T., \u201cOperating System PIMOS and Kernel Language KL1,\u201dInternational Conference on Fifth Generation Computer Systems 1992, 1992."},{"key":"BF03037186_CR3","unstructured":"Nitta, K.,et al., \u201cHELIC-II: A Legal Reasoning System on the Parallel Inference Machine,\u201dInternational Conference on Fifth Generation Computer Systems 1992, 1992"},{"key":"BF03037186_CR4","doi-asserted-by":"crossref","unstructured":"Nitta, K.,et al., \u201cA Computational Model for Trial Reasoning,\u201d to appear inProc. Fourth Int. Conf. on AI and Law, 1993.","DOI":"10.1145\/158976.158979"},{"key":"BF03037186_CR5","unstructured":"Wong, S., \u201cA Situation Theoretic Model for Trial Reasoning,\u201dProc. Int. Sympo. on Legal Knowledge and Legal Reasoning Systems, 1992."},{"key":"BF03037186_CR6","doi-asserted-by":"crossref","unstructured":"Rissland, E. L.,et al., \u201cA Case-Based System for Trade Secrets Law,\u201dInternational Conference on Artificial Intelligence and Law, 1987.","DOI":"10.1145\/41735.41743"},{"key":"BF03037186_CR7","doi-asserted-by":"crossref","unstructured":"Rissland, E. L.,et al., \u201cInterpreting Statutory Predicates,\u201dInternational Conference on Artificial Intelligence and Law, 1989.","DOI":"10.1145\/74014.74021"},{"key":"BF03037186_CR8","unstructured":"Rissland, E. L.,et al., \u201cCABARET: Rule Interpretation in a Hybrid Architecture,\u201dCOINS Technical Report, 90\u201397, University of Massachusetts, 1990."},{"key":"BF03037186_CR9","doi-asserted-by":"crossref","unstructured":"Sartor, G., \u201cThe Structure of Norm Conditions and Nonmonotonic Reasoning in Law,\u201dInternational Conference on Artificial Intelligence and Law, 1991.","DOI":"10.1145\/112646.112665"},{"key":"BF03037186_CR10","unstructured":"Gardner, A.,An Artificial Intelligence Approach to Legal Reasoning, MIT Press, 1987."},{"key":"BF03037186_CR11","doi-asserted-by":"crossref","unstructured":"Branting, L. K., \u201cRepresenting and Reusing Explanations of Legal Precedents,\u201dInternational Conference on Artificial Intelligence and Law, 1989.","DOI":"10.1145\/74014.74029"},{"key":"BF03037186_CR12","doi-asserted-by":"crossref","unstructured":"Sanders, K., \u201cRepresenting and Reasoning about Open-Textured Predicates,\u201dInternational Conference on Artificial Intelligence and Law, 1991.","DOI":"10.1145\/112646.112663"},{"key":"BF03037186_CR13","unstructured":"Sanders, K., \u201cPlanning in an Open-Textured Domain: A Thesis Proposa,\u201dTechnical Report, CS-91-08, Brown University, 1991."},{"key":"BF03037186_CR14","unstructured":"Fujita, H.et al., \u201cA Model Generation Theorem Prover in KL1 Using a Ramified-Stack Algorithm,\u201dICOT Technical Report, TR-606, 1991."},{"key":"BF03037186_CR15","doi-asserted-by":"crossref","unstructured":"Inoue, K.et al., \u201cEmbedding Negation as Failure into a Model Generation Theorem Prover,\u201dICOT Technical Report, TR-722, 1991.","DOI":"10.1007\/3-540-55602-8_180"},{"key":"BF03037186_CR16","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1016\/0004-3702(84)90008-0","volume":"23","author":"J. F. Allen","year":"1984","unstructured":"Allen, J. F., \u201cTowards a General Theory of Action and Time,\u201dArtificial Intelligence, 23, 2, 1984.","journal-title":"Artificial Intelligence"}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037186.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03037186\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037186","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,9]],"date-time":"2025-02-09T03:37:10Z","timestamp":1739072230000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03037186"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,9]]},"references-count":16,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[1993,9]]}},"alternative-id":["BF03037186"],"URL":"https:\/\/doi.org\/10.1007\/bf03037186","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"type":"print","value":"0288-3635"},{"type":"electronic","value":"1882-7055"}],"subject":[],"published":{"date-parts":[[1993,9]]}}}