{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:17:27Z","timestamp":1725664647909},"publisher-location":"Berlin, Heidelberg","reference-count":16,"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_20","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:18:45Z","timestamp":1330276725000},"page":"273-286","source":"Crossref","is-referenced-by-count":9,"title":["Reasoning with stratified default theories"],"prefix":"10.1007","author":[{"given":"Pawe\u0142","family":"Cholewi\u0144ski","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"20_CR1","first-page":"1","volume":"12","author":"K. Apt","year":"1990","unstructured":"K. Apt and H.A. Blair. Arithmetical classification of perfect models of stratified programs. Fundamenta Informaticac, 12:1\u201317, 1990.","journal-title":"Fundamenta Informaticac"},{"key":"20_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":"20_CR3","first-page":"813","volume-title":"Propositional semantics for disjunctive logic programs","author":"R. Ben-Eliyahu","year":"1992","unstructured":"R. Ben-Eliyahu and R. Dechter. Propositional semantics for disjunctive logic programs. In K. Apt, editor, Proceedings of International Joint Conference and Symposium on Logic Programming, pages 813\u2013827, Cambridge, MA, 1992, MIT Press."},{"key":"20_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 Ch. Froidevaux. General logical databases and programs: Default logic semantics and stratification. Information and Computation, 91:15\u201354, 1991.","journal-title":"Information and Computation"},{"key":"20_CR5","unstructured":"P. Gholewi\u0144ski, W. Marek, A. Mikitiuk and M. Truszczy\u0144ski. Experimenting with default logic In Proceedings of ICLP-95, MIT Press, to appear."},{"key":"20_CR6","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":"20_CR7","doi-asserted-by":"crossref","unstructured":"P. Cholewi\u0144ski. Stratified default theories. In Proceedings of CSL-94, Springer Verlag, to appear.","DOI":"10.1007\/BFb0022275"},{"key":"20_CR8","volume-title":"Reasoning with Incomplete Information","author":"D. W. Etherington","year":"1988","unstructured":"D. W. Etherington. Reasoning with Incomplete Information. Pitman, London, 1988."},{"key":"20_CR9","first-page":"207","volume-title":"On stratified autoepistemic theories","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":"20_CR10","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":"20_CR11","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":"20_CR12","doi-asserted-by":"crossref","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":"20_CR13","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":"20_CR14","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":"20_CR15","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"},{"key":"20_CR16","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","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-59487-6_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T09:12:08Z","timestamp":1640941928000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-59487-6_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540594871","9783540492825"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-59487-6_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}