{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T11:48:04Z","timestamp":1749124084533},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540559306"},{"type":"electronic","value":"9783540473121"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55930-2_15","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T10:45:44Z","timestamp":1330253144000},"page":"203-230","source":"Crossref","is-referenced-by-count":9,"title":["Legislation as logic programs"],"prefix":"10.1007","author":[{"given":"Robert A.","family":"Kowalski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"15_CR1","unstructured":"Allen, L. E., and Saxon, C.S. [1984] \u201cComputer Aided Normalizing and Unpacking: Some Interesting Machinc-Proccssable Transformation of Legal Rules\u201d, Computing Power and Legal Reasoning (C. Walter, ed.) West Publishing Company, pp. 495\u2013572."},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"Bench-Capon, T.J.M. [1987]: \u201cSupport for policy makers: formulating legislation with the aid of logical models\u201d, Proc. of the First International Conference on AI and Law, ACM Press, pp. 181\u2013189.","DOI":"10.1145\/41735.41756"},{"key":"15_CR3","unstructured":"Bench-Capon, T. [1989] \u201cRepresenting Counterfactual Conditionals\u201d. Proceedings of Artificial Intelligence and the Simulation of Behaviour (A. Cohn, Ed.) Pitman Publishing Co."},{"key":"15_CR4","unstructured":"Bowen, K. A. and Kowalski, R. A. [1982]: \u201cAmalgamating Language and Metalanguage in Logic Programming\u201d, in Logic Programming (Clark, K.L. and T\u00e4rnlund, S.-\u00c5., editors), Academic Press, pp. 153\u2013173."},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"Bry, F., Decker, H., and Manthey, R. [1988] \u201cA uniform approach to constraint satisfaction and constraint satisfiability in deductive databases\u201d, Proceedings of Extending Database Technology, pp. 488\u2013505.","DOI":"10.1007\/3-540-19074-0_69"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"Clark, K. L. [1978]: \u201cnegation by failure\u201d, in \u201cLogic and databases\u201d, Gallaire, H. and Minker, J. [eds], Plenum Press, pp. 293\u2013322.","DOI":"10.1007\/978-1-4684-3384-5_11"},{"key":"15_CR7","unstructured":"Gallagher, J. [1986] \u201cTransforming Logic Programs by Specializing Interpreters\u201d, Proc. of 7th European Conference on Artificial Intelligence, pp. 109\u2013122."},{"key":"15_CR8","unstructured":"Gelfond, M. and Lifschitz, V. [1990]: \u201cLogic programs with classical negation\u201d, Proceedings of the Seventh International Conference on Logic Programming, MIT Press, pp. 579\u2013597."},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"Gordon, T. F. [1987] \u201cOblog-2 a Hybrid Knowledge Representation System for Defeasible Reasoning\u201d Proc. First International Conference on Artificial Intelligence and Law. ACM Press, pp. 231\u2013239.","DOI":"10.1145\/41735.41761"},{"key":"15_CR10","volume-title":"British Nationality Act 1981","author":"H.M.S.O.","year":"1981","unstructured":"H.M.S.O. [1981]: \u201cBritish Nationality Act 1981\u201d, Her Majesty's Stationery Office, London."},{"issue":"No.1","key":"15_CR11","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R. A. Kowalski","year":"1986","unstructured":"Kowalski, R. A. and Sergot, M. J. [1986]: \u201cA logic-based calculus of events\u201d, New Generation Computing, Vol. 4, No. 1, pp. 67\u201395.","journal-title":"New Generation Computing"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"Kowalski, R. A. [1989]: \u201cThe treatment of negation in logic programs for representing legislation\u201d, Proceedings of the Second International Conference on Artificial Intelligence and Law, pp. 11\u201315.","DOI":"10.1145\/74014.74016"},{"key":"15_CR13","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1007\/BF03037468","volume":"8","author":"Kowalski","year":"1990","unstructured":"Kowalski [1990] \u201cEnglish as a Logic Programming Language\u201d, New Generation Computing, Volume 8, pp. 91\u201393.","journal-title":"New Generation Computing"},{"key":"15_CR14","unstructured":"Kowalski, R. A. and Sadri, F. [1990], \u201cLogic programs with exceptions\u201d, Proceedings of the Seventh International Conference on Logic Programming, MIT Press, pp. 598\u2013613."},{"issue":"No.2","key":"15_CR15","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1111\/j.1467-9337.1990.tb00058.x","volume":"3","author":"R. A. Kowalski","year":"1990","unstructured":"Kowalski, R. A., Sergot, M. J. [1990]: \u201cThe use of logical models in legal problem solving\u201d, Ratio Juris, Vol. 3, No. 2, pp. 201\u2013218.","journal-title":"Ratio Juris"},{"issue":"No.1","key":"15_CR16","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1016\/0743-1066(84)90011-6","volume":"3","author":"J. W. Lloyd","year":"1984","unstructured":"Lloyd, J. W. and Topor, R. W. [1984]: \u201cMaking Prolog more expressive\u201d, Journal of Logic Programming, Vol. 3, No. 1, pp. 225\u2013240.","journal-title":"Journal of Logic Programming"},{"issue":"Number2","key":"15_CR17","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1016\/0743-1066(85)90013-5","volume":"2","author":"J. W. Lloyd","year":"1985","unstructured":"Lloyd, J. W. and Topor, R. W. [1985] \u201cA Basis for Deductive Database Systems\u201d, J. Logic Programming, Volume 2, Number 2, pp. 93\u2013109.","journal-title":"J. Logic Programming"},{"key":"15_CR18","first-page":"47","volume":"1","author":"T. M. Mitchell","year":"1986","unstructured":"Mitchell, T. M., Keller, R. M. and Kedar-Cabelli [1986] \u201cExplanation-based Generalization: A Unifying View\u201d Machine Learning, Volume 1, pp. 47\u201380.","journal-title":"Machine Learning"},{"key":"15_CR19","unstructured":"Newell, A. and Simon, H. A. [1972] \u201cHuman problem solving\u201d, Prentice-Hall."},{"key":"15_CR20","doi-asserted-by":"crossref","unstructured":"Nitta, K., Nagao, J., and Mizutori, T., [1988] \u201cA Knowledge Representation and Inference System for Procedural Law\u201d, New Generation Computing, pp. 319\u2013359.","DOI":"10.1007\/BF03037414"},{"key":"15_CR21","doi-asserted-by":"crossref","unstructured":"Reiter, R. [1990]: \u201cOn asking what a database knows\u201d, Proc. Symposium on Computational Logic, Springer-Verlag.","DOI":"10.1007\/978-3-642-76274-1_4"},{"key":"15_CR22","doi-asserted-by":"crossref","unstructured":"Sadri, F. and Kowalski, R. A. [1987]: \u201cA theorem proving approach to database integrity\u201d, In Foundations of deductive databases and logic programming (J. Minker, editor), Morgan Kaufmann, pp. 313\u2013362.","DOI":"10.1016\/B978-0-934613-40-8.50013-0"},{"issue":"No.1","key":"15_CR23","first-page":"1","volume":"4","author":"R. C. Schank","year":"1983","unstructured":"Schank, R. C. [1983] \u201cThe current state of AI: One man's opinion\u201d, AI Magazine, Volume 4, No. 1, pp. 1\u20138.","journal-title":"AI Magazine"},{"issue":"No.5","key":"15_CR24","doi-asserted-by":"crossref","first-page":"370","DOI":"10.1145\/5689.5920","volume":"29","author":"M. J. Sergot","year":"1986","unstructured":"Sergot, M. J., Sadri, F., Kowalski, R. A., Kriwaczek, F., Hammond, P. and Cory, H. T. [1986]: \u201c The British Nationality Act as a logic program\u201d, CACM, Vol. 29, No. 5, pp. 370\u2013386.","journal-title":"CACM"},{"key":"15_CR25","volume-title":"Temporal Reasoning in Deductive Databases","author":"S. M. Sripada","year":"1991","unstructured":"Sripada, S. M. [1991] \u201cTemporal Reasoning in Deductive Databases\u201d. Department of Computing, Imperial College, London."},{"key":"15_CR26","unstructured":"Takeuchi, A. and Furukawa, K. [1986] \u201cPartial evaluation of PROLOG programs and its application to metaprogramming\u201d, Proc. of IFIP 86, North-Holland, pp. 415\u2013420."},{"key":"15_CR27","volume-title":"Pattern-directed Inference Systems","author":"D. A. Waterman","year":"1978","unstructured":"Waterman, D. A. and Hayes-Roth [1978] \u201cPattern-directed Inference Systems\u201d, Academic Press, New York."}],"container-title":["Lecture Notes in Computer Science","Logic Programming in Action"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55930-2_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:02:14Z","timestamp":1605646934000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55930-2_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540559306","9783540473121"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/3-540-55930-2_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}