{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T04:19:00Z","timestamp":1742617140468,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540572343"},{"type":"electronic","value":"9783540479826"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57234-1_52","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:31:39Z","timestamp":1330259499000},"page":"514-522","source":"Crossref","is-referenced-by-count":2,"title":["Meta-reasoning in law: a computational model"],"prefix":"10.1007","author":[{"given":"Daniela","family":"Tiscornia","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"52_CR1","doi-asserted-by":"crossref","unstructured":"Carlos E. Alchourron, Peter Gardenfors, David Makinson, On the Logic of Theory Change: Partial Meet Functions for Contraction and Revision, Journal of Symbolic Logic, 50, 1985.","DOI":"10.2307\/2274239"},{"key":"52_CR2","first-page":"3","volume-title":"Ordinamento normativo e abrogazione","author":"Carlos E. E. Alchourron","year":"1981","unstructured":"Carlos E. Alchourron, Ordinamento normativo e abrogazione, in Preproceedings of the First International Conference on Logica, Informatica, Diritto, Florence, 1981, pp. 3\u201357."},{"key":"52_CR3","unstructured":"Gerhard Brewka, Preferred subtheories: an extended logical framework for default reasoning, Proc. IJCAI 1989, pp. 1043\u20138.)"},{"key":"52_CR4","volume-title":"Nonmonotonic Reasoning: Logical Foundation of Commonsense","author":"G. Brewka","year":"1991","unstructured":"Gerhard Brewka, Nonmonotonic Reasoning: Logical Foundation of Commonsense, Cambridge University Press, Cambridge, 1991."},{"key":"52_CR5","doi-asserted-by":"crossref","unstructured":"Jon Doyle, A Truth Maintenance System, Artificial Intelligence,12, 1979.","DOI":"10.1016\/0004-3702(79)90008-0"},{"key":"52_CR6","volume-title":"Knowledege in Flux","author":"P. Gardenfors","year":"1988","unstructured":"Peter Gardenfors, Knowledege in Flux, MIT Press, Cambridge, MA, 1988."},{"key":"52_CR7","volume-title":"Revision of Knowledge Systems Using Epistemic Entrechment","author":"P. Gardenfors","year":"1988","unstructured":"Peter Gardenfors, David Makinson: Revision of Knowledge Systems Using Epistemic Entrechment, in Proceedings of the Second Conference on Theoretical Aspects of Reasoning about Knowledge, Morgan Kaufmann, Los altos, 1988."},{"key":"52_CR8","unstructured":"M. Gelfond, V. Lifschitz, The Stable Model Semantic for Logic Programming, in Proc. AAAI1987, pp. 207\u2013211."},{"key":"52_CR9","unstructured":"M. Gelfond, V. Lifschitz, Logic Programs with Classical Negation, in. Proc. 7th Int. Conf. on Logic Programming, 1990, pp. 579\u2013597."},{"key":"52_CR10","volume-title":"Proceedings of the 7th Italian Conference on Logic Programming(GULP 92)","author":"P. Guidotti","year":"1992","unstructured":"Paolo Guidotti, Paola Mariani, Giuseppe Sardu, Daniela Tiscornia, Metalevel Reasoning. The design of a System to Handle Legal Knowledge Bases, in Proceedings of the 7th Italian Conference on Logic Programming(GULP 92), Citta Studi Editore, Milano, 1992."},{"key":"52_CR11","doi-asserted-by":"crossref","unstructured":"Robert A. Kowalski, The treatment of negation in logic programs for representing legislation, Proceedings of the Second International Conference on Artificial Intelligence and Law, ACM, 1989, pp. 11\u201315.","DOI":"10.1145\/74014.74016"},{"key":"52_CR12","unstructured":"K Eshgi, Robert A. Kowalski, Abduction compared with negation by failure, Proceedings of the 6th Int Conf. of Logic Programming., 1989, pp. 234 ff."},{"key":"52_CR13","unstructured":"Robert Kowalski, Fariba Sadri, Logic Programming with exceptions, in Proceedings of the Seventh International Conference on Logic Programming, MIT press, 1990, pp598\u2013613."},{"key":"52_CR14","unstructured":"Donald Nute, A nonmonotonic Logic based on Conditional Logic, ACMC Research Report n. 01-007, University of Georgia, 1985."},{"issue":"1","key":"52_CR15","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0004-3702(88)90077-X","volume":"36","author":"D. L. Poole","year":"1988","unstructured":"Poole D.L., A logical Framework for Default Reasoning, Artficial Intelligence, 36:1(1988), pp. 27\u201347)","journal-title":"Artficial Intelligence"},{"key":"52_CR16","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"R.Reiter: A Logic for Default Reasoning, Artificial Intelligence, 13, 1980, pp. 81\u201332)","journal-title":"Artificial Intelligence"},{"key":"52_CR17","volume-title":"Hipothetical Reasoning","author":"R. Nicholas","year":"1964","unstructured":"Rescher Nicholas: Hipothetical Reasoning, North-Holland Amsterdam, 1964."},{"key":"52_CR18","doi-asserted-by":"crossref","unstructured":"Giovanni Sartor, The Structure of Norm Conditions and Nonmonotonic Reasoning in Law, in Proc. of the 3th. Int, Conf. on Artificial Intelligence and Law, ACM Press, 19991, pp. 155\u2013164.","DOI":"10.1145\/112646.112665"},{"key":"52_CR19","unstructured":"Daniela Tiscornia, Un modello computabile del concetto di applicabilit\u00e0 normativa, in Informatica e Diritto, Firenze, 1993, forthcoming."}],"container-title":["Lecture Notes in Computer Science","Database and Expert Systems Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57234-1_52.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T22:04:29Z","timestamp":1742594669000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57234-1_52"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540572343","9783540479826"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-57234-1_52","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}