{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:17:21Z","timestamp":1725664641951},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540594871"},{"type":"electronic","value":"9783540492825"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-59487-6_13","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:18:55Z","timestamp":1330258735000},"page":"175-188","source":"Crossref","is-referenced-by-count":1,"title":["A sphere world semantics for default reasoning"],"prefix":"10.1007","author":[{"given":"Jo\u00e3o C. P.","family":"Silva","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,5,31]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C.E. Alchourr\u00f3n","year":"1985","unstructured":"C.E. Alchourr\u00f3n, P. G\u00e4rdenfors, D. Makinson: On the logic of theory change: partial meet functions for contraction and revision. Journal of Symbolic Logic 50, 510\u2013530(1985).","journal-title":"Journal of Symbolic Logic"},{"key":"13_CR2","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1111\/j.1755-2567.1982.tb00480.x","volume":"48","author":"C.E. Alchourr\u00f3n","year":"1982","unstructured":"C.E. Alchourr\u00f3n, D. Makinson: On the logic of theory change: contraction functions and their associated revision functions. Theoria 48, 14\u201337 (1982).","journal-title":"Theoria"},{"key":"13_CR3","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-05689-9","volume-title":"An introduction to default logic","author":"P. Besnard","year":"1989","unstructured":"P. Besnard: An introduction to default logic. Berlin: Springer-Verlag 1989."},{"key":"13_CR4","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1016\/0890-5401(91)90073-B","volume":"91","author":"N. Bidoit","year":"1991","unstructured":"N. Bidoit and C. Froidevaux. General logical databases and programs: default logic semantics and stratification. Information and Computation 91, 15\u201354 (1991).","journal-title":"Information and Computation"},{"key":"13_CR5","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/0304-3975(51)90004-7","volume":"78","author":"N. Bidoit","year":"1991","unstructured":"N. Bidoit and C. Froidevaux. Negation by default and unstratifiable logic programs. Theoretical Computer Science 78, 85\u2013112 (1991).","journal-title":"Theoretical Computer Science"},{"key":"13_CR6","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1016\/0004-3702(94)90095-7","volume":"68","author":"C. Boutilier","year":"1994","unstructured":"C. Boutilier: Unifying default reasoning and belief revision in a modal framework. Artificial Intelligence 68, 33\u201385 (1994).","journal-title":"Artificial Intelligence"},{"key":"13_CR7","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/0004-3702(94)90096-5","volume":"68","author":"C. Boutilier","year":"1994","unstructured":"C. Boutilier:.: Conditional logics of normality: a modal approach. Artificial Intelligence 68, 87\u2013154 (1994).","journal-title":"Artificial Intelligence"},{"key":"13_CR8","volume-title":"Nonmonotonic reasoning: logical foundations of commonsense","author":"G. Brewka","year":"1991","unstructured":"G. Brewka: Nonmonotonic reasoning: logical foundations of commonsense. Cambridge University Press, Cambridge 1991."},{"key":"13_CR9","volume-title":"Research Notes in Artificial Intelligence","author":"D. W. Etherington","year":"1987","unstructured":"D. W. Etherington.: Reasoning with imcomplete information. Research Notes in Artificial Intelligence, Pitman, London 1987."},{"key":"13_CR10","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/0004-3702(87)90081-6","volume":"31","author":"D. W. Etherington","year":"1987","unstructured":"D. W. Etherington: Formalizing non-monotonic reasoning systems. Artificial Intelligence 31, 41\u201385 (1987).","journal-title":"Artificial Intelligence"},{"key":"13_CR11","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/0004-3702(94)90017-5","volume":"65","author":"P. G\u00e4rdenfors","year":"1994","unstructured":"P. G\u00e4rdenfors: Nonmonotonic inference based on expectations. Artificial Intelligence 65, 197\u2013245 (1994).","journal-title":"Artificial Intelligence"},{"key":"13_CR12","volume-title":"Knowledge in flux: modeling the dynamics of epistemic states","author":"P. G\u00e4rdenfors","year":"1988","unstructured":"P. G\u00e4rdenfors: Knowledge in flux: modeling the dynamics of epistemic states. The MIT Press, Bradford Books, Cambridge, MA, 1988."},{"key":"13_CR13","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/BF00247909","volume":"17","author":"A. Grove","year":"1988","unstructured":"A. Grove: Two modellings for theory change. Journal of Philosophical Logic 17, 157\u2013170 (1988).","journal-title":"Journal of Philosophical Logic"},{"unstructured":"R. Guerreiro and M.Casanova. An alternative semantics for default logic. The Third International Workshop on Nonmonotonic Reasoning, South Lake Tahoe, 1990.","key":"13_CR14"},{"key":"13_CR15","volume-title":"Counterfactuals","author":"D. Lewis","year":"1973","unstructured":"D. Lewis: Counterfactuals. Harvard University Press, Cambridge, Mass. 1973."},{"key":"13_CR16","first-page":"80","volume-title":"ESPRIT Basic Research Series","author":"V. Lifschitz","year":"1990","unstructured":"V. Lifschitz. On open default. In J. Lloyd, editor, Cmputational logic. Symposium proceedings, pp. 80\u201395. ESPRIT Basic Research Series. Berlin: Springer-Verlag, 1990."},{"key":"13_CR17","volume-title":"Ellis Horwood Series in Artificial Intelligence","author":"W. Lukaszewicz","year":"1990","unstructured":"W. Lukaszewicz: Non-monotonic reasoning: Formalization of commonsense reasoning. Ellis Horwood Series in Artificial Intelligence (Ellis Horwood, Chichester,England) 1990."},{"unstructured":"W. Lukaszewicz: Two results on default logic. In: Proceedings IJCAI-85, Los Angeles, CA, 459\u2013461 (1985).","key":"13_CR18"},{"key":"13_CR19","volume-title":"Non-monotonic Reasoning, Lecture Notes in Artificial Intelligence 346","author":"D. Makinson","year":"1989","unstructured":"D. Makinson: General theory of cumulative inference. In: M. Reinfrank, J. de Kleer, M.L. Ginsberg and Sandewall, eds., Non-monotonic Reasoning, Lecture Notes in Artificial Intelligence 346. Berlin: Springer 1989."},{"key":"13_CR20","first-page":"185","volume-title":"The Logic of Theory Change, Lecture Notes in Artificial Intelligence 465","author":"D. Makinson","year":"1991","unstructured":"D. Makinson, P. G\u00e4rdenfors: Relations between the logic of theory change and nonmonotonic logic. In A. Fuhrmannand M. Morreau, eds., The Logic of Theory Change, Lecture Notes in Artificial Intelligence 465. Berlin: Springer 1991, pp. 185\u2013205."},{"key":"13_CR21","volume-title":"Nonmonotonic logic \u2014 context-dependent reasoning","author":"W. Marek","year":"1993","unstructured":"W. Marek and M. Truszczynski: Nonmonotonic logic \u2014 context-dependent reasoning. Berlin: Springer-Verlag 1993."},{"key":"13_CR22","first-page":"243","volume-title":"Stable semantics for logic programs and default theories","author":"W. Marek","year":"1989","unstructured":"W. Marek and M. Truszczynski: Stable semantics for logic programs and default theories. In E. Lusk and R. Overbeek, editors, Proceedings of the North American Conference on Logic Programming, pp. 243\u2013256, Cambridge, MA, MIT Press, 1989."},{"key":"13_CR23","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(88)90077-X","volume":"36","author":"D. Poole","year":"1988","unstructured":"D. Poole: A logical framework for default reasoning. Artificial Intelligence 36, 27\u201347 (1988).","journal-title":"Artificial Intelligence"},{"key":"13_CR24","doi-asserted-by":"crossref","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, 81\u2013132 (1980).","journal-title":"Artificial Intelligence"},{"unstructured":"M. Ryan: Ordered presentations of theories \u2014 default reasoning and belief revision. Ph. D. Thesis, 1992.","key":"13_CR25"},{"unstructured":"Schaub, T.H., Considerations on default logic, Ph.D. Thesis, 1992.","key":"13_CR26"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-59487-6_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:27:50Z","timestamp":1619558870000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-59487-6_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540594871","9783540492825"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-59487-6_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}