{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:19:01Z","timestamp":1725664741644},"publisher-location":"Berlin, Heidelberg","reference-count":5,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540609834"},{"type":"electronic","value":"9783540497516"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-60983-0_16","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:09:19Z","timestamp":1330272559000},"page":"229-235","source":"Crossref","is-referenced-by-count":2,"title":["Super logic programs and negation as belief"],"prefix":"10.1007","author":[{"given":"Teodor C.","family":"Przymusinski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"J. Alferes, L. Pereira, and T. C. Przymusinski. Belief revision in logic programming and non-monotonic reasoning. In Progress in AI, Proceedings of the International Artificial Intelligence Conference, EPIA'95, Madeira, Portugal, October'95, pages 41\u201356, 1995.","DOI":"10.1007\/3-540-60428-6_4"},{"key":"16_CR2","unstructured":"J. Alferes, L. Pereira, and T. C. Przymusinski. \u2018Classical\u2019 negation in non-monotonic reasoning. In Proceedings of the International Conference on Artificial Intelligence and Mathematics, AI&Math'96, January'96, 1996. (In print.)."},{"key":"16_CR3","first-page":"579","volume-title":"Logic programs with classical negation","author":"M. Gelfond","year":"1990","unstructured":"M. Gelfond and V. Lifschitz. Logic programs with classical negation. In Proceedings of the Seventh International Logic Programming Conference, Jerusalem, Israel, pages 579\u2013597, Cambridge, Mass., 1990. Association for Logic Programming, MIT Press."},{"key":"16_CR4","first-page":"176","volume-title":"Autoepistemic logic and formalizations of commonsense reasoning","author":"M. Gelfond","year":"1988","unstructured":"M. Gelfond. Autoepistemic logic and formalizations of commonsense reasoning. In Proceedings of the 2-nd Workshop on Non-monotonic Reasoning, pages 176\u2013186, New York, 1988. Grassau, West Germany, June 1988, Springer Verlag."},{"key":"16_CR5","volume-title":"Autoepistemic logic of knowledge and beliefs","author":"T. C. Przymusinski","year":"1995","unstructured":"T. C. Przymusinski. Autoepistemic logic of knowledge and beliefs. (In preparation), University of California at Riverside, 1995. (Extended abstract appeared in \u2018A knowledge representation framework based on autoepistemic logic of minimal beliefs\u2019 In Proceedings of the Twelfth National Conference on Artificial Intelligence, AAAI-94, Seattle, Washington, August 1994, pages 952\u2013959, Los Altos, CA, 1994. American Association for Artificial Intelligence, Morgan Kaufmann.)."}],"container-title":["Lecture Notes in Computer Science","Extensions of Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60983-0_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:03:21Z","timestamp":1605629001000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60983-0_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540609834","9783540497516"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/3-540-60983-0_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}