{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T21:07:41Z","timestamp":1725829661757},"publisher-location":"Cham","reference-count":7,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319243115"},{"type":"electronic","value":"9783319243122"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-24312-2_2","type":"book-chapter","created":{"date-parts":[[2015,9,10]],"date-time":"2015-09-10T14:06:46Z","timestamp":1441894006000},"page":"6-21","source":"Crossref","is-referenced-by-count":1,"title":["A Propositional Tableaux Based Proof Calculus for Reasoning with Default Rules"],"prefix":"10.1007","author":[{"given":"Valent\u00edn","family":"Cassano","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carlos Gustavo Lopez","family":"Pombo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas S. E.","family":"Maibaum","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,11,8]]},"reference":[{"issue":"1-2","key":"2_CR1","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"Reiter, R.: A logic for default reasoning. Artificial Intelligence\u00a013(1-2), 81\u2013132 (1980)","journal-title":"Artificial Intelligence"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Antoniou, G., Wang, K.: Default logic. In: Gabbay, D.M., Woods, J. (eds.): The Many Valued and Nonmonotonic Turn in Logic. Handbook of the History of Logic, vol. 8, pp. 517\u2013555. North-Holland (2007)","DOI":"10.1016\/S1874-5857(07)80011-2"},{"issue":"1","key":"2_CR3","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1080\/11663081.1996.10510867","volume":"6","author":"V. Risch","year":"1996","unstructured":"Risch, V.: Analytic tableaux for default logics. Journal of Applied Non-Classical Logics\u00a06(1), 71\u201388 (1996)","journal-title":"Journal of Applied Non-Classical Logics"},{"issue":"2","key":"2_CR4","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1093\/logcom\/6.2.205","volume":"6","author":"G. Amati","year":"1996","unstructured":"Amati, G., Aiello, L., Gabbay, D., Pirri, F.: A proof theoretical approach to default reasoning I: Tableaux for default logic. Journal of Logic and Computation\u00a06(2), 205\u2013231 (1996)","journal-title":"Journal of Logic and Computation"},{"key":"2_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/BFb0027408","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"P. Bonatti","year":"1997","unstructured":"Bonatti, P., Olivetti, N.: A sequent calculus for skeptical default logic. In: Galmiche, D. (ed.) TABLEAUX 1997. LNCS, vol.\u00a01227, pp. 107\u2013121. Springer, Heidelberg (1997)"},{"key":"2_CR6","unstructured":"Smullyan, R.M.: First-Order Logic. Dover (1995)"},{"key":"2_CR7","unstructured":"Fitting, M.: Introduction. In: D\u2019Agostino, M., Gabbay, D.M., Hahnle, R., Posegga, J. (eds.) Handbook of Tableau Methods, 1st edn., pp. 1\u201343. Springer (1999)"}],"container-title":["Lecture Notes in Computer Science","Automated Reasoning with Analytic Tableaux and Related Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-24312-2_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T23:31:34Z","timestamp":1559259094000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-24312-2_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319243115","9783319243122"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-24312-2_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}