{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:38:57Z","timestamp":1725457137670},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540604365"},{"type":"electronic","value":"9783540474678"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bfb0034804","type":"book-chapter","created":{"date-parts":[[2005,12,11]],"date-time":"2005-12-11T06:56:10Z","timestamp":1134284170000},"page":"112-120","source":"Crossref","is-referenced-by-count":0,"title":["A goal directed reasoning for semi-normal default theories"],"prefix":"10.1007","author":[{"given":"Gerson","family":"Zaverucha","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sheila R. M.","family":"Veloso","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,23]]},"reference":[{"key":"12_CR1","unstructured":"Antoniou, G., Langetepe, E. and Sperschneider, V. 1993. New proofs in default logic theory. Unpublished draft."},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Antoniou, G., Langetepe, E. and Sperschneider, V. 1993. Computing extensions of default logic-preliminary report LPAR-93.","DOI":"10.1007\/3-540-56944-8_38"},{"key":"12_CR3","volume-title":"A Resolution-based Procedure for Default Theories with Extensions. Proceedings of the Workshop W5 (with ICLP-94) on Nonmonotonic Extensions of Logic Programming: Theory, Implementation and Applications","author":"M. D. Barback","year":"1994","unstructured":"Barback, M. D., Lobo, J. 1994. A Resolution-based Procedure for Default Theories with Extensions. Proceedings of the Workshop W5 (with ICLP-94) on Nonmonotonic Extensions of Logic Programming: Theory, Implementation and Applications, S. Margherita Ligure, Italy."},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"Besnard, P. 1989. An introduction to default logic. Springer Verlag.","DOI":"10.1007\/978-3-662-05689-9"},{"key":"12_CR5","volume-title":"Reasoning with Incomplete Information","author":"D. W. Etherington","year":"1988","unstructured":"Etherington, D. W. 1988. Reasoning with Incomplete Information, Pitman, London."},{"key":"12_CR6","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/0004-3702(87)90081-6","volume":"31","author":"D.W. Etherington","year":"1987","unstructured":"Etherington, D.W. 1987. Formalizing Nonmonotonic Reasoning Systems. Artificial Intelligence 31:41\u201385.","journal-title":"Artificial Intelligence"},{"key":"12_CR7","unstructured":"Guerreiro, R. A. T., Casanova, M. A. and Hemerly, A. S. 1990. Contributions to a Proof Theory for Generic Defaults, Proc. 9th European Conference on Artificial Intelligence, Stockholm, Sweden."},{"key":"12_CR8","unstructured":"Junker, U. and Konolige, K. 1990. Computing the extensions of autoepistemic and default logic with a TMS. In Proc. of AAAI-90."},{"key":"12_CR9","unstructured":"Kautz, H. A., Selman, B. 1989. Hard Problems for Simple Default Logics. Proc 1st International Conference on Principles of Knowledge Representation and reasoning, Toronto, Ontario, Canada."},{"key":"12_CR10","unstructured":"Lukasziewicz, W. 1990. Nonmonotonic Reasoning: formalization of commonsense reasoning. Ellis Horwood."},{"key":"12_CR11","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1111\/j.1467-8640.1988.tb00086.x","volume":"4","author":"W. Lukasziewicz","year":"1988","unstructured":"Lukasziewicz, W. 1988. Considerations on Default Logic. Computational Intelligence, 4, pp 1\u201316.","journal-title":"Computational Intelligence"},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"Marek, W., Truszczynski, M.: Nonmonotonic logic: context dependent reasoning. Springer Verlag 1993.","DOI":"10.1007\/978-3-662-02906-0"},{"key":"12_CR13","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0004-3702(88)90077-X","volume":"36","author":"D. L. Poole","year":"1987","unstructured":"Poole, D. L. 1987. A Logical Framework for Default Reasoning. Artificial Intelligence, 36, pp 27\u201347.","journal-title":"Artificial Intelligence"},{"key":"12_CR14","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1007\/978-1-4612-4792-0_13","volume-title":"The Knowledge Frontier Essays in the representation of Knowledge","author":"D. L. Poole","year":"1987","unstructured":"Poole, D. L. Goebel, R. and Aleluinas, R. 1987. Theorist: a logic reasoning system for defaults and diagnosis. N. Cercone and G. McCalla (eds). The Knowledge Frontier Essays in the representation of Knowledge, Springer Verlag, New York, pp 331\u2013352."},{"key":"12_CR15","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. 1980. A Logic for Default Reasoning. Artificial Intelligence, 13, pp. 81\u2013132.","journal-title":"Artificial Intelligence"},{"key":"12_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0898-1221(83)90003-2","volume":"9","author":"R. Reiter","year":"1983","unstructured":"R. Reiter, G. Criscuolo: Some representational issues in default reasoning. J. Computers and Maths. with Appls.9 (1983) 1\u201313.","journal-title":"J. Computers and Maths. with Appls."},{"key":"12_CR17","unstructured":"Rothschild, A. and Schaub, T. 1993. A computational approach to default logics. Proc. of Dutch \/ German Workshop on Nonmonotonic Reasoning Techniques and Their Applications, eds. Brewka, G and Witteveen, C."},{"key":"12_CR18","doi-asserted-by":"crossref","unstructured":"Schwind, C. B. and Risch, V. 1991. A tableaux-based characterization for default logic. In R. Kruse, editor, Proc. of European Conference on Symbolic and Quantitative Approaches to Uncertainty, pp. 310\u2013317, Springer Verlag.","DOI":"10.1007\/3-540-54659-6_107"},{"key":"12_CR19","series-title":"LNAI 861","first-page":"260","volume-title":"Proc. KI-94, Saarbrucken","author":"G. Zaverucha","year":"1994","unstructured":"G. Zaverucha: A Prioritized Contextual Default Logic: Curing Anomalous Extensions with a Simple Abnormality Default Theory. In:Bernhard Nebel and Leonie Dreschler-Fischer, eds. Proc. KI-94, Saarbrucken, Germany, LNAI 861 (Springer 1994) 260\u2013271."},{"key":"12_CR20","unstructured":"G. Zaverucha: On Cumulative Default Logic With Filters. Submitted (also Technical Report ES-321\/94, COPPE\/ UFRJ)."},{"issue":"4","key":"12_CR21","doi-asserted-by":"crossref","first-page":"485","DOI":"10.3233\/FI-1990-13406","volume":"8","author":"A. Zhang","year":"1990","unstructured":"Zhang, A. and Marek, W. 1990. On the classification and existence of structures in default logic. Fundamente Informaticae 8(4), pp. 485\u2013499.","journal-title":"Fundamente Informaticae"}],"container-title":["Lecture Notes in Computer Science","Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0034804","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,21]],"date-time":"2021-07-21T07:34:37Z","timestamp":1626852877000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0034804"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540604365","9783540474678"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/bfb0034804","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}