{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T03:11:36Z","timestamp":1761621096000},"publisher-location":"Berlin, Heidelberg","reference-count":13,"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_12","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:18:49Z","timestamp":1330258729000},"page":"156-174","source":"Crossref","is-referenced-by-count":16,"title":["Update by means of inference rules"],"prefix":"10.1007","author":[{"given":"Teodor C.","family":"Przymusinski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hudson","family":"Turner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"12_CR1","unstructured":"Chitta Baral. Rule-based updates on simple knowledge bases. In Proc. AAAI-94, pages 136\u2013141, 1994."},{"key":"12_CR2","first-page":"1070","volume-title":"The stable model semantics for logic programming","author":"M. Gelfond","year":"1988","unstructured":"M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In R. Kowalski and K. Bowen, editors, Proceedings of the Fifth Logic Programming Symposium, pages 1070\u20131080, Cambridge, Mass., 1988. Association for Logic Programming, MIT Press."},{"key":"12_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":"12_CR4","unstructured":"Michael Gelfond, Vladimir Lifschitz, Halina Przymusi\u0144ska, and Miros\u0142aw Truszczy\u0144ski. Disjunctive defaults. In James Allen, Richard Fikes, and Erik Sandewall, editors, Principles of Knowledge Representation and Reasoning: Proc. of the Second Int'l Conf., pages 230\u2013237, 1991."},{"key":"12_CR5","unstructured":"Hirofumi Katsuno and Alberto O. Mendelzon. On the difference between updating a knowledge base and revising it. In James Allen, Richard Fikes, and Erik Sandewall, editors, Principles of Knowledge Representation and Reasoning: Proc. of the Second Int'l Conf., pages 387\u2013394, 1991."},{"key":"12_CR6","unstructured":"W. Marek and M. Truszczy\u0144ski. Revision programming. Research report, University of Kentucky, 1993."},{"key":"12_CR7","unstructured":"W. Marek and M. Truszczy\u0144ski. Revision specifications by means of revision programs. In Logics in AI. Proceedings of JELIA '94-Lecture Notes in Artificial Intelligence. Springer-Verlag, 1994."},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"W. Marek and M. Truszczy\u0144ski. Revision programming, database updates and integrity constraints. In Proceedings of the 5th International Conference on Database Theory \u2014 ICDT 95, pages 368\u2013382. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-58907-4_28"},{"key":"12_CR9","unstructured":"Norman McCain and Hudson Turner. A causal theory of ramifications and qualifications (extended abstract). In Working Notes: AAAI Spring Symposium on Extending Theories of Action, 1995. To appear."},{"key":"12_CR10","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1007\/BF03037171","volume":"9","author":"T. C. Przymusinski","year":"1991","unstructured":"T. C. Przymusinski. Stable semantics for disjunctive programs. New Generation Computing Journal, 9:401\u2013424, 1991. (Extended abstract appeared in: Extended stable semantics for normal and disjunctive logic programs. Proceedings of the 7-th International Logic Programming Conference, Jerusalem, pages 459\u2013477, 1990. MIT Press.).","journal-title":"New Generation Computing Journal"},{"key":"12_CR11","unstructured":"T. C. Przymusinski. Static semantics for normal and disjunctive logic programs. Annals of Mathematics and Artificial Intelligence, 1994. (in print)."},{"issue":"12","key":"12_CR12","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"Raymond Reiter. A logic for default reasoning. Artificial Intelligence, 13(1,2):81\u2013132, 1980.","journal-title":"Artificial Intelligence"},{"key":"12_CR13","unstructured":"Marianne Winslett. Reasoning about action using a possible models approach. In Proc. AAAI-88, pages 89\u201393, 1988."}],"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_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:27:21Z","timestamp":1605630441000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-59487-6_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540594871","9783540492825"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-59487-6_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}