{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T05:41:59Z","timestamp":1747546919075},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540600176"},{"type":"electronic","value":"9783540494041"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bfb0022275","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T06:12:29Z","timestamp":1132639949000},"page":"456-470","source":"Crossref","is-referenced-by-count":8,"title":["Stratified default theories"],"prefix":"10.1007","author":[{"given":"Pawe\u0142","family":"Cholewi\u0144ski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,15]]},"reference":[{"key":"33_CR1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3233\/FI-1990-13103","volume":"12","author":"K. Apt","year":"1990","unstructured":"K. Apt and H.A. Blair. Arithmetical classification of perfect models of stratified programs. Fundamenta Informaticae, 12:1\u201317, 1990.","journal-title":"Fundamenta Informaticae"},{"key":"33_CR2","first-page":"89","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"K. Apt","year":"1987","unstructured":"K. Apt, H.A. Blair, and A. Walker. Towards a theory of declarative knowledge. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 89\u2013142, Los Altos, CA, 1987. Morgan Kaufmann."},{"key":"33_CR3","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1016\/0890-5401(91)90073-B","volume":"91","author":"N. Bidoit","year":"1991","unstructured":"N. Bidoit and Ch. Proidevaux. General logical databases and programs: Default logic semantics and stratification. Information and Computation, 91:15\u201354, 1991.","journal-title":"Information and Computation"},{"key":"33_CR4","unstructured":"P. Cholewi\u0144ski, W. Marek, A. Mikitiuk and M. Truszczy\u0144ski. Experimenting with default logic In Proceedings of ICLP-95, MIT Press, to appear."},{"key":"33_CR5","volume-title":"Technical Report 238-93","author":"P. Cholewi\u0144ski","year":"1993","unstructured":"P. Cholewi\u0144ski. Seminormal stratified default theories. Technical Report 238-93, University of Kentucky, Lexington, 1993."},{"key":"33_CR6","volume-title":"Reasoning with Incomplete Information","author":"D.W. Etherington","year":"1988","unstructured":"D.W. Etherington. Reasoning with Incomplete Information. Pitman, London, 1988."},{"key":"33_CR7","first-page":"207","volume-title":"Proceedings of AAAI-87","author":"M. Gelfond","year":"1987","unstructured":"M. Gelfond. On stratified autoepistemic theories. In Proceedings of AAAI-87, pages 207\u2013211, Los Altos, CA., 1987. American. Association for Artificial Intelligence, Morgan Kaufmann."},{"key":"33_CR8","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1093\/logcom\/2.3.397","volume":"2","author":"G. Gottlob","year":"1992","unstructured":"G. Gottlob. Complexity results for nonmonotonic logics. Journal of Logic and Computation, 2:397\u2013425, 1992.","journal-title":"Journal of Logic and Computation"},{"key":"33_CR9","first-page":"189","volume-title":"Principles of Knowledge Representation and Reasoning","author":"H.A. Kautz","year":"1989","unstructured":"H.A. Kautz and B. Selman. Hard problems for simple default logics. In Principles of Knowledge Representation and Reasoning, pages 189\u2013197, San Mateo, CA., 1989. Morgan Kaufmann."},{"key":"33_CR10","doi-asserted-by":"publisher","first-page":"588","DOI":"10.1145\/116825.116836","volume":"38","author":"W. Marek","year":"1991","unstructured":"W. Marek and M. Truszczy\u0144ski. Autoepistemic logic. Journal of the ACM, 38:588\u2013619, 1991.","journal-title":"Journal of the ACM"},{"key":"33_CR11","doi-asserted-by":"crossref","unstructured":"W. Marek and M. Truszczy\u0144ski. Nonmonotonic Logics; Context-Dependent Reasoning. Springer-Verlag, 1993.","DOI":"10.1007\/978-3-662-02906-0"},{"key":"33_CR12","doi-asserted-by":"crossref","unstructured":"I. Niemel\u00e4. On the decidability and complexity of autoepistemic reasoning. Fundamenta Informaticae, 1992.","DOI":"10.3233\/FI-1992-171-208"},{"key":"33_CR13","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:81\u2013132, 1980.","journal-title":"Artificial Intelligence"},{"key":"33_CR14","unstructured":"M. Truszczy\u0144ski. Stratified modal theories and iterative expansions. Technical Report 159-90, Department of Computer Science, University of Kentucky, 1990."}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0022275","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,20]],"date-time":"2021-07-20T03:40:15Z","timestamp":1626752415000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022275"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540600176","9783540494041"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/bfb0022275","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}