{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,9]],"date-time":"2023-10-09T22:54:44Z","timestamp":1696892084035},"reference-count":26,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[2002,6,1]],"date-time":"2002-06-01T00:00:00Z","timestamp":1022889600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,8,22]],"date-time":"2013-08-22T00:00:00Z","timestamp":1377129600000},"content-version":"vor","delay-in-days":4100,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artificial Intelligence"],"published-print":{"date-parts":[[2002,6]]},"DOI":"10.1016\/s0004-3702(02)00183-2","type":"journal-article","created":{"date-parts":[[2002,10,10]],"date-time":"2002-10-10T18:30:20Z","timestamp":1034274620000},"page":"87-116","source":"Crossref","is-referenced-by-count":32,"title":["LUPS\u2014A language for updating logic programs"],"prefix":"10.1016","volume":"138","author":[{"given":"Jos\u00e9 J\u00falio","family":"Alferes","sequence":"first","affiliation":[]},{"given":"Lu\u0131\u0301s Moniz","family":"Pereira","sequence":"additional","affiliation":[]},{"given":"Halina","family":"Przymusinska","sequence":"additional","affiliation":[]},{"given":"Teodor C.","family":"Przymusinski","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0004-3702(02)00183-2_BIB001","series-title":"Proc. Internat. Conference on the Principles of Knowledge Representation and Reasoning (KR-98), Trento, Italy","article-title":"Dynamic logic programming","author":"Alferes","year":"1998"},{"issue":"1\u20133","key":"10.1016\/S0004-3702(02)00183-2_BIB002","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/S0743-1066(99)00065-5","article-title":"Dynamic updates of non-monotonic knowledge bases","volume":"45","author":"Alferes","year":"2000","journal-title":"J. Logic Programming"},{"key":"10.1016\/S0004-3702(02)00183-2_BIB003","series-title":"Proc. NMELP-96","article-title":"Update-programs can update programs","author":"Alferes","year":"1996"},{"key":"10.1016\/S0004-3702(02)00183-2_BIB004","series-title":"Proc. Joint Conference on Declarative Programming, AGP-99","article-title":"Preliminary exploration on actions as updates","author":"Alferes","year":"1999"},{"key":"10.1016\/S0004-3702(02)00183-2_BIB005","series-title":"Proc. Workshop on Logic in Databases (LID-96)","first-page":"175","article-title":"Formal characterization of active databases","author":"Baral","year":"1996"},{"key":"10.1016\/S0004-3702(02)00183-2_BIB006","series-title":"Proc. ICLP-99","article-title":"Disjunctive logic programs with inheritance","author":"Buccafurri","year":"1999"},{"key":"10.1016\/S0004-3702(02)00183-2_BIB007","series-title":"Proc. ELP-96","first-page":"103","article-title":"Default negated conclusions: why not?","volume":"1050","author":"Dam\u00e1sio","year":"1996"},{"key":"10.1016\/S0004-3702(02)00183-2_BIB008","series-title":"Software formal specification by logic programming: The example of standard PROLOG, Technical Report","author":"Ed-Dbali","year":"1993"},{"key":"10.1016\/S0004-3702(02)00183-2_BIB009","series-title":"Logics in Artificial Intelligence (JELIA-00)","first-page":"2","article-title":"Considerations on updates of logic programs","volume":"1919","author":"Eiter","year":"2000"},{"key":"10.1016\/S0004-3702(02)00183-2_BIB010","author":"Faber"},{"key":"10.1016\/S0004-3702(02)00183-2_BIB011","series-title":"Proc. ICLP-88","article-title":"The stable model semantics for logic programming","author":"Gelfond","year":"1988"},{"key":"10.1016\/S0004-3702(02)00183-2_BIB012","series-title":"Proc. ICLP-90, Jerusalem, Israel","article-title":"Logic programs with classical negation","author":"Gelfond","year":"1990"},{"key":"10.1016\/S0004-3702(02)00183-2_BIB013","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1016\/0743-1066(93)90035-F","article-title":"Representing actions and change by logic programs","volume":"17","author":"Gelfond","year":"1993","journal-title":"J. Logic Programming"},{"issue":"16","key":"10.1016\/S0004-3702(02)00183-2_BIB014","article-title":"Action languages","volume":"3","author":"Gelfond","year":"1998","journal-title":"Linkoping Electronic Articles in Computer and Information Science"},{"key":"10.1016\/S0004-3702(02)00183-2_BIB015","series-title":"Proc. AAAI-98, Madison, WI","first-page":"623","article-title":"An action language based on causal explanation: Preliminary report","author":"Giunchiglia","year":"1998"},{"key":"10.1016\/S0004-3702(02)00183-2_BIB016","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/S0743-1066(97)10001-2","article-title":"Negation as failure in the head","volume":"35","author":"Inoue","year":"1998","journal-title":"J. Logic Programming"},{"key":"10.1016\/S0004-3702(02)00183-2_BIB017","series-title":"Proc. Internat. Conference on the Principles of Knowledge Representation and Reasoning (KR-91), Cambridge, MA","article-title":"On the difference between updating a knowledge base and revising it","author":"Katsuno","year":"1991"},{"key":"10.1016\/S0004-3702(02)00183-2_BIB018","series-title":"Logic Programming in Action","first-page":"203","article-title":"Legislation as logic programs","author":"Kowalski","year":"1992"},{"issue":"3","key":"10.1016\/S0004-3702(02)00183-2_BIB019","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1016\/S0743-1066(96)00128-8","article-title":"The relationship between logic programs and specifications","volume":"30","author":"Lau","year":"1997","journal-title":"J. Logic Programming"},{"key":"10.1016\/S0004-3702(02)00183-2_BIB020","series-title":"Logic Programming and Knowledge Representation","article-title":"Generalizing updates: From models to programs","volume":"1471","author":"Leite","year":"1997"},{"key":"10.1016\/S0004-3702(02)00183-2_BIB021","series-title":"Proc. Internat. Conference on the Principles of Knowledge Representation and Reasoning (KR-92), Cambridge, MA","article-title":"Answer sets in general non-monotonic reasoning (preliminary report)","author":"Lifschitz","year":"1992"},{"key":"10.1016\/S0004-3702(02)00183-2_BIB022","series-title":"Proc. IJCAI-95, Montreal, Quebec","first-page":"1985","article-title":"Embracing causality in specifying the indirect effects of actions","author":"Lin","year":"1995"},{"key":"10.1016\/S0004-3702(02)00183-2_BIB023","series-title":"Proc. JELIA-94","article-title":"Revision specifications by means of programs","author":"Marek","year":"1994"},{"key":"10.1016\/S0004-3702(02)00183-2_BIB024","series-title":"Proc. LPNMR-95","article-title":"Update by means of inference rules","author":"Przymusinski","year":"1995"},{"issue":"1","key":"10.1016\/S0004-3702(02)00183-2_BIB025","doi-asserted-by":"crossref","first-page":"138","DOI":"10.1109\/69.204098","article-title":"Report on Workshop on High Performance Computing and Communications for Grand Challenge Applications: Computer Vision, Speech and Natural Language Processing and Artificial Intelligence","volume":"5","author":"Wah","year":"1993","journal-title":"IEEE Trans. Knowledge Data Engrg."},{"key":"10.1016\/S0004-3702(02)00183-2_BIB026","series-title":"Proc. AAAI-88, St. Paul, MN","article-title":"Reasoning about action using a possible models approach","author":"Winslett","year":"1988"}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0004370202001832?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0004370202001832?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,13]],"date-time":"2019-04-13T15:30:08Z","timestamp":1555169408000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0004370202001832"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,6]]},"references-count":26,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2002,6]]}},"alternative-id":["S0004370202001832"],"URL":"https:\/\/doi.org\/10.1016\/s0004-3702(02)00183-2","relation":{},"ISSN":["0004-3702"],"issn-type":[{"value":"0004-3702","type":"print"}],"subject":[],"published":{"date-parts":[[2002,6]]}}}