{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:24:28Z","timestamp":1761611068772},"reference-count":27,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":5676,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theoretical Computer Science"],"published-print":{"date-parts":[[1998,1]]},"DOI":"10.1016\/s0304-3975(97)00092-3","type":"journal-article","created":{"date-parts":[[2003,4,7]],"date-time":"2003-04-07T15:40:02Z","timestamp":1049730002000},"page":"241-277","source":"Crossref","is-referenced-by-count":51,"title":["Revision programming"],"prefix":"10.1016","volume":"190","author":[{"given":"Victor W.","family":"Marek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mirosz.xl;law","family":"Truszczy\u0144ski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0304-3975(97)00092-3_BIB1","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1016\/0022-0000(91)90032-Z","article-title":"Datalog extensions for database queries and updates","volume":"43","author":"Abiteboul","year":"1991","journal-title":"J. Comput. System Sci."},{"key":"10.1016\/S0304-3975(97)00092-3_BIB2","doi-asserted-by":"crossref","first-page":"510","DOI":"10.2307\/2274239","article-title":"On the logic of theory change: Partial meet contraction and revision functions","volume":"50","author":"Alchourr\u00f3n","year":"1985","journal-title":"J. Symbol. Logic"},{"key":"10.1016\/S0304-3975(97)00092-3_BIB3","first-page":"3","article-title":"The generalized completeness of Horn predicate logic as a programming language","volume":"4","author":"Andreka","year":"1978","journal-title":"Acta Cybernet."},{"key":"10.1016\/S0304-3975(97)00092-3_BIB4","first-page":"493","article-title":"Logic programming","author":"Apt","year":"1990"},{"key":"10.1016\/S0304-3975(97)00092-3_BIB5","first-page":"1","article-title":"Arithmetical classification of perfect models of stratified programs","volume":"12","author":"Apt","year":"1990","journal-title":"Fund. Inform."},{"key":"10.1016\/S0304-3975(97)00092-3_BIB6","series-title":"Foundations of Deductive Databases and Logic Programming","first-page":"89","article-title":"Towards a theory of declarative knowledge","author":"Apt","year":"1988"},{"key":"10.1016\/S0304-3975(97)00092-3_BIB7","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/0304-3975(51)90004-7","article-title":"Negation by default and unstratifiable logic programs","volume":"78","author":"Bidoit","year":"1991","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/S0304-3975(97)00092-3_BIB8","series-title":"Logic Programming and Non-monotonic Reasoning, Proc. 2nd Internat. Workshop, MIT Press","first-page":"171","article-title":"An assumption-based framework for non-monotonic reasoning","author":"Bondarenko","year":"1993"},{"key":"10.1016\/S0304-3975(97)00092-3_BIB9","series-title":"Logic and Data Bases","first-page":"293","article-title":"Negation as failure","author":"Clark","year":"1978"},{"key":"10.1016\/S0304-3975(97)00092-3_BIB10","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1016\/0743-1066(84)90014-1","article-title":"Linear-time algorithms for testing the satisfiability of propositional Horn formulae","volume":"3","author":"Dowling","year":"1984","journal-title":"J. Logic Programming"},{"key":"10.1016\/S0304-3975(97)00092-3_BIB11","series-title":"Logic Year 1979\u20131980","first-page":"32","article-title":"Hierarchies of sets and degrees below 0\u2032","volume":"vol. 859","author":"Epstein","year":"1981"},{"key":"10.1016\/S0304-3975(97)00092-3_BIB12","series-title":"Proc. 5th Internat. Symp. on Logic Programming, MIT Press","first-page":"1070","article-title":"The stable semantics for logic programs","author":"Gelfond","year":"1988"},{"key":"10.1016\/S0304-3975(97)00092-3_BIB13","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0004-3702(91)90069-V","article-title":"Propositional knowledge base revision and minimal change","volume":"52","author":"Katsuno","year":"1991","journal-title":"Artif. Intell. J."},{"key":"10.1016\/S0304-3975(97)00092-3_BIB14","series-title":"Foundations of Logic Programming","author":"Lloyd","year":"1984"},{"key":"10.1016\/S0304-3975(97)00092-3_BIB15","series-title":"Proc. North American Conf. on Logic Programming, MIT Press","first-page":"243","article-title":"Stable semantics for logic programs and default theories","author":"Marek","year":"1989"},{"key":"10.1016\/S0304-3975(97)00092-3_BIB16","doi-asserted-by":"crossref","first-page":"588","DOI":"10.1145\/116825.116836","article-title":"Autoepistemic logic","volume":"38","author":"Marek","year":"1991","journal-title":"J. ACM"},{"key":"10.1016\/S0304-3975(97)00092-3_BIB17","series-title":"Nonmonotonic Logics; Context-Dependent Reasoning","author":"Marek","year":"1993"},{"key":"10.1016\/S0304-3975(97)00092-3_BIB18","series-title":"Logic programming and Non-monotonic Reasoning, MIT Press","article-title":"Reflexive autoepistemic logic and logic programming","author":"Marek","year":"1993"},{"key":"10.1016\/S0304-3975(97)00092-3_BIB19","series-title":"Logics in AI, Proc. JELIA '94","article-title":"Revision specifications by means of revision programs","author":"Marek","year":"1994"},{"key":"10.1016\/S0304-3975(97)00092-3_BIB20","series-title":"Proc. 5th Internat. Conf. on Database Theory \u2014 ICDT 95","first-page":"368","article-title":"Revision programming, database updates and integrity constraints","volume":"vol. 893","author":"Marek","year":"1995"},{"key":"10.1016\/S0304-3975(97)00092-3_BIB21","series-title":"Proc. LPNMR'95","first-page":"156","article-title":"Update by means of inference rules","volume":"vol. 928","author":"Przymusi\u0144ski","year":"1995"},{"key":"10.1016\/S0304-3975(97)00092-3_BIB22","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","article-title":"A logic for default reasoning","volume":"13","author":"Reiter","year":"1980","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0304-3975(97)00092-3_BIB23","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1006\/jcss.1995.1053","article-title":"The expressive powers of the logic programming semantics","volume":"51","author":"Schlipf","year":"1995","journal-title":"J. Comput. Systems Sci."},{"key":"10.1016\/S0304-3975(97)00092-3_BIB24","series-title":"Proc. LICS-92","article-title":"Minimal model semantics for nonmonotonic modal logics","author":"Schwarz","year":"1992"},{"key":"10.1016\/S0304-3975(97)00092-3_BIB25","series-title":"First-order Logic","author":"Smullyan","year":"1968"},{"key":"10.1016\/S0304-3975(97)00092-3_BIB26","series-title":"Principles of Database and Knowledge-Base Systems","author":"Ullman","year":"1988"},{"issue":"4","key":"10.1016\/S0304-3975(97)00092-3_BIB27","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1145\/321978.321991","article-title":"The semantics of predicate logic as a programming language","volume":"23","author":"van Emden","year":"1976","journal-title":"J. ACM"}],"container-title":["Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397597000923?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397597000923?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,16]],"date-time":"2019-04-16T08:59:52Z","timestamp":1555405192000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0304397597000923"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,1]]},"references-count":27,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1998,1]]}},"alternative-id":["S0304397597000923"],"URL":"https:\/\/doi.org\/10.1016\/s0304-3975(97)00092-3","relation":{},"ISSN":["0304-3975"],"issn-type":[{"value":"0304-3975","type":"print"}],"subject":[],"published":{"date-parts":[[1998,1]]}}}