{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,23]],"date-time":"2024-01-23T14:16:59Z","timestamp":1706019419006},"reference-count":41,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1994,12,1]],"date-time":"1994-12-01T00:00:00Z","timestamp":786240000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Logic Lang Inf"],"published-print":{"date-parts":[[1994,12]]},"DOI":"10.1007\/bf01160020","type":"journal-article","created":{"date-parts":[[2005,2,16]],"date-time":"2005-02-16T16:55:54Z","timestamp":1108572954000},"page":"303-326","source":"Crossref","is-referenced-by-count":3,"title":["Defaults as restrictions on classical Hilbert-style proofs"],"prefix":"10.1007","volume":"3","author":[{"given":"Gianni","family":"Amati","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luigia Carlucci","family":"Aiello","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fiora","family":"Pirri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","unstructured":"Amati, G., Carlucci Aiello, L., Gabbay, D. and Pirri, F., 1995, A proof theoretical approach to default reasoning I. Tableaux for default logic. Under review for publication inJournal of Logic and Computation.","DOI":"10.1093\/logcom\/6.2.205"},{"key":"CR2","unstructured":"Besnard, P., Quiniou, R. and Quinton, P., 1983, ?A theorem-prover for a decidable subset of default logic?, inProceedings of the Fifth National Conference on Artificial Intelligence (AAAI-83), pp. 27?30."},{"key":"CR3","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0004-3702(91)90099-6","volume":"50","author":"G. Brewka","year":"1991","unstructured":"Brewka, G., 1991, Cumulative default logic: in defence of nonmonotonic inference rules.Artificial Intelligence Journal,50:183?206.","journal-title":"Artificial Intelligence Journal"},{"key":"CR4","unstructured":"Clarke, M.R.B. and Gabbay, D.M, 1988, ?An intuitionistic basis for nonmonotonic reasoning?, inNon-standard logics for automated reasoning, P. Smets, E.H. Mandami, D. Dubois, and H. Prade, eds. pp. 164?174. Academic Press."},{"key":"CR5","unstructured":"Delgrande, J.P. and Jackson, W.K., 1991, Default logic revisited. InProceedings of the Second International Conference on the Principles of Knowledge Representation and Reasoning (KR-91), pp. 118?127."},{"key":"CR6","unstructured":"Dix, J., 1992 Default theories of Poole-type and a method for constructing cumulative versions of default-logic. In B. Neumann, ed.,Proceedings of the Tenth European Conference on Artificial Intelligence (ECAI-92), pp. 289?293."},{"key":"CR7","first-page":"9","volume":"2","author":"P. Doherty","year":"1992","unstructured":"Doherty, P. and ?ukaszewicz, W., 1992. NML3, a non-monotonic logic with explicit default.Journal of Applied Non-Classical Logics,2:9?48.","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"CR8","doi-asserted-by":"crossref","unstructured":"Dunn, M, 1986, Relevance logic and entailment. In D. M. Gabbay and F. Guenthner, editors,Handbook of Philosophical Logic, volume 3, pp. 117?224. Oxford.","DOI":"10.1007\/978-94-009-5203-4_3"},{"key":"CR9","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/0004-3702(87)90081-6","volume":"31","author":"D. Etherington","year":"1987","unstructured":"Etherington, D. 1987, Formalizing nonmonotonic reasoning.Artificial Intelligence Journal,31:41?87.","journal-title":"Artificial Intelligence Journal"},{"issue":"1","key":"CR10","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1093\/jigpal\/1.1.23","volume":"1","author":"M. Freund","year":"1993","unstructured":"Freund, M. and Lehmann, D. 1993, Nonmonotonic inference operations.Bulletin of the IGPL,1(1):23?68, July. Produced by the Max-Planck-Institut f\u00fcr Informatik, Im Stadtwald, D-66123 Saarbr\u00fccken, Germany.","journal-title":"Bulletin of the IGPL"},{"issue":"2","key":"CR11","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1007\/BF01054708","volume":"53","author":"M. Freund","year":"1994","unstructured":"Freund, M. and Lehmann, D., 1994, Nonmonotonic reasoning: from unitary relations to infinitary inference operations.Stadia Logica,53(2): 161?201.","journal-title":"Stadia Logica"},{"key":"CR12","first-page":"133","volume-title":"Workshop on Nomonotonic Reasoning","author":"M. Freund","year":"1989","unstructured":"Freund, M., Lehmann, D. and Makinson, D. 1989, Canonical extensions to the infinite case of finitary nonmonotonic inference operations. In G. Brewka and H. Freitag, editors,Workshop on Nomonotonic Reasoning, pp. 133?138, Sankt Augustin, FRG, December. Arbeitspapiere der GMD no. 443."},{"key":"CR13","unstructured":"Froidevaux, C. and Mengin, J., 1992 Default logics: a unified view. InJELIA-91, pp. 230?237. Springer-Verlag, LNAI."},{"key":"CR14","doi-asserted-by":"crossref","unstructured":"Gabbay, D.M., 1985, Theoretical foundations for nonmonotonic reasoning in expert systems. In K. Apt, editor,Logic and Models of concurrent systems, pp. 160?174. Springer-Verlag.","DOI":"10.1007\/978-3-642-82453-1_15"},{"key":"CR15","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/0004-3702(94)90017-5","volume":"65","author":"P. G\u00e4rdenfors","year":"1994","unstructured":"G\u00e4rdenfors, P. and Makinson, D., 1994, Nonmonotonic inference based on expectations.Artificial Intelligence Journal,65:197?246.","journal-title":"Artificial Intelligence Journal"},{"key":"CR16","unstructured":"Gelfond, M. and Lifschitz, V., 1988, The stable model semantics for logic programming. InProceedings of the Fifth International Conference on Logic Programming (ICLP-88), pp. 230?237."},{"key":"CR17","unstructured":"Gelfond, M., Lifschitz, V., Przimusinska, H. and Truszczynski, M., 1991 Disjunctive defaults. InProceedings of the Second International Conference on the Principles of Knowledge Representation and Reasoning (KR-91), pp. 230?237."},{"key":"CR18","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1016\/0004-3702(94)90006-X","volume":"66","author":"L. Giordano","year":"1994","unstructured":"Giordano, L. and Martelli, A., 1994, On cumulative default reasoning.Artificial Intelligence Journal,66:161?180.","journal-title":"Artificial Intelligence Journal"},{"key":"CR19","unstructured":"Guerreiro, R.A., Casanova, M.A. and A.S. Hemerly, 1990 Contribution to a proof theory for generic defaults.In Proceedings of the Ninth European Conference on Artificial Intelligence (ECAI-90), pp. 213?218."},{"key":"CR20","doi-asserted-by":"crossref","unstructured":"Junker, U. and Brewka, G. 1991, Handling partially ordered defaults in TMS. InSymbolic and Quantitative Approaches for Uncertainty, European conference (ECSQAU), pp. 211?218.","DOI":"10.1007\/3-540-54659-6_91"},{"key":"CR21","unstructured":"Junker, U., 1989, A correct nonmonotonic ATMS.In Proceedings of the Eleventh International Joint Conference on Artificial Intelligence (IJCAI-89), pp. 1049?1053."},{"key":"CR22","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/0004-3702(90)90101-5","volume":"44","author":"S. Kraus","year":"1990","unstructured":"Kraus, S., Lehmann, D. and Magidor, M., 1990, Nonmonotonic reasoning, preferential models and cumulative logics.Artificial Intelligence Journal,44:167?208.","journal-title":"Artificial Intelligence Journal"},{"key":"CR23","doi-asserted-by":"crossref","unstructured":"Levy, F., 1991, Computing extensions of default theories.In Symbolic and Quantitative Approaches for Uncertainty, European conference (ECSQAU), pp. 219?226.","DOI":"10.1007\/3-540-54659-6_92"},{"key":"CR24","unstructured":"Lukaszewicz, W., 1984, Considerations on default logic. InProceedings 1984 Nonmonotonic reasoning workshop, pp. 165?193."},{"key":"CR25","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1111\/j.1467-8640.1988.tb00086.x","volume":"4","author":"W. ?ukaszewicz","year":"1988","unstructured":"?ukaszewicz, W., 1988, Considerations on default logic: an alternative approach.Computational Intelligence,4:1?16.","journal-title":"Computational Intelligence"},{"key":"CR26","doi-asserted-by":"crossref","unstructured":"MacNish, C., 1991, Hierarchical default logic. InSymbolic and Quantitative Approaches for Uncertainty, European conference (ECSQAU), pp. 247?254.","DOI":"10.1007\/3-540-54659-6_96"},{"key":"CR27","doi-asserted-by":"crossref","unstructured":"Makinson, D., 1988, General theory of cumulative inference.In Proceedings of the 2nd International Workshop on Non-monotonic reasoning, pp. 1?18.","DOI":"10.1007\/3-540-50701-9_16"},{"key":"CR28","doi-asserted-by":"crossref","unstructured":"Makinson.D., 1993, General patterns in nonmonotonic reasoning. In D. M. Gabbay, editor,Handbook of Logic in AI and Logic Programming: Nonmonotonic and Uncertain Reasoning, volume 2. Oxford.","DOI":"10.1093\/oso\/9780198537472.003.0002"},{"key":"CR29","doi-asserted-by":"crossref","unstructured":"Marek, V.W. and Truszczynski, M., 1993,Nonmonotonic Logic, context-dependent reasoning. Springer-Verlag.","DOI":"10.1007\/978-3-662-02906-0"},{"key":"CR30","doi-asserted-by":"crossref","unstructured":"Poole, D., Goebel, R. and Aleliunas, R. 1987, Theorist: a logical reasoning system for default and diagnosis. In N. Cereone and G. mc Calla, editors,The Knowledge Frontier, pp. 331?352. Springer Verlag.","DOI":"10.1007\/978-1-4612-4792-0_13"},{"key":"CR31","unstructured":"Poole, D., 1988, Representing knowledge for logic-based diagnosis. InProceedings of the International Conference on Fifth Generation Computer Systems, pp. 1282?1289."},{"key":"CR32","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1111\/j.1467-8640.1989.tb00319.x","volume":"5","author":"D. Poole","year":"1989","unstructured":"Poole, D., 1989, Explanation and prediction: an architecture for default and abductive reasoning.Computational Intelligence,5:97?110.","journal-title":"Computational Intelligence"},{"key":"CR33","unstructured":"Poole, D., 1989, What the lottery paradox tells us about default reasoning. InProceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning (KR'89), pp. 333?340."},{"key":"CR34","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/BF03037149","volume":"9","author":"D. Poole","year":"1991","unstructured":"Poole, D., 1991, Compiling a default reasoning system into prolog.New Generation Computing,9:3?38.","journal-title":"New Generation Computing"},{"key":"CR35","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"Reiter, R. 1980, A logic for default reasoning.Artificial Intelligence Journal,13:81?132.","journal-title":"Artificial Intelligence Journal"},{"key":"CR36","unstructured":"Reiter, R. and Criscuolo, G., 1981, On interacting defaults. InProceedings of the Seventh International Joint Conference on Artificial Intelligence (IJCAI-81), pp. 270?276."},{"key":"CR37","unstructured":"Rychlik, R., 1991, Some variations on default logic. InProceedings of the Ninth National Conference on Artificial Intelligence (AAAI-91), pp. 183?188."},{"key":"CR38","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1111\/j.1467-8640.1985.tb00061.x","volume":"1","author":"E. Sandewall","year":"1985","unstructured":"Sandewall, E., 1985, A functional approach to non-monotonic logic.Computational Intelligence,1:80?87.","journal-title":"Computational Intelligence"},{"key":"CR39","doi-asserted-by":"crossref","unstructured":"Schaub, T., 1991, On commitment and cumulativity in default logic. InSymbolic and Quantitative Approaches for Uncertainty, European conference (ECSQAU), pp. 305?309.","DOI":"10.1007\/3-540-54659-6_106"},{"key":"CR40","doi-asserted-by":"crossref","unstructured":"Schwind, C., 1990, A tableau-based theorem prover for a decidable subset of default logic. InProceedings of the Tenth Conference on Automated Deduction (CADE-90), pp. 541?546.","DOI":"10.1007\/3-540-52885-7_112"},{"key":"CR41","doi-asserted-by":"crossref","unstructured":"Schwind, C. and Risch, V., 1991, A tableau-based characterization for default logic. InSymbolic and Quantitative Approaches for Uncertainty, European conference (ECSQAU), pp. 310?317.","DOI":"10.1007\/3-540-54659-6_107"}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01160020.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01160020\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01160020","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,23]],"date-time":"2024-01-23T13:22:32Z","timestamp":1706016152000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01160020"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,12]]},"references-count":41,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1994,12]]}},"alternative-id":["BF01160020"],"URL":"https:\/\/doi.org\/10.1007\/bf01160020","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"value":"0925-8531","type":"print"},{"value":"1572-9583","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,12]]}}}