{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T15:32:22Z","timestamp":1720625542029},"reference-count":19,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":5323,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[1999]]},"DOI":"10.1016\/s1571-0661(04)00137-9","type":"journal-article","created":{"date-parts":[[2004,2,5]],"date-time":"2004-02-05T10:34:35Z","timestamp":1075977275000},"page":"121-132","source":"Crossref","is-referenced-by-count":1,"special_numbering":"C","title":["On Methodology of Representing Knowledge in Dynamic Domains"],"prefix":"10.1016","volume":"25","author":[{"given":"Michael","family":"Gelfond","sequence":"first","affiliation":[]},{"given":"Richard","family":"Watson","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)00137-9_NEWBIB1","series-title":"Lecture Notes in Artificial Intelligence","article-title":"Reasoning with Logic Programming","author":"Alferes","year":"1996"},{"key":"10.1016\/S1571-0661(04)00137-9_NEWBIB2","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1016\/0743-1066(94)90024-8","article-title":"Logic programming and negation: a survey","volume":"Vol. 19\/20","author":"Apt","year":"1994","journal-title":"In Journal of Logic Programming"},{"key":"10.1016\/S1571-0661(04)00137-9_NEWBIB3","first-page":"1","article-title":"Logic programming and knowledge representation","volume":"Vol. 12","author":"Baral","year":"1994","journal-title":"Journal of Logic Programming"},{"issue":"No. 1\u20133","key":"10.1016\/S1571-0661(04)00137-9_NEWBIB4","first-page":"245","article-title":"Representing Actions:Laws, Observations and Hypothesis","volume":"Vol.31","author":"Baral","year":"1997","journal-title":"Journal of Logic Programming"},{"key":"10.1016\/S1571-0661(04)00137-9_NEWBIB5","doi-asserted-by":"crossref","unstructured":"Barry, M. and Watson R. Reasoning about actions for spacecraft redundance management. In Proc. of the 1999 IEEE Aerospace Conference, to appear.","DOI":"10.1109\/AERO.1999.790194"},{"issue":"No. 3","key":"10.1016\/S1571-0661(04)00137-9_NEWBIB6","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1016\/0743-1066(94)00028-5","article-title":"Efficient top-down computation of queries under the well-founded semantics","volume":"Vol. 24","author":"Chen","year":"1995","journal-title":"In Journal of Logic Programming"},{"key":"10.1016\/S1571-0661(04)00137-9_NEWBIB7","series-title":"Logic and Data Bases","first-page":"293","article-title":"Negation as failure","author":"Clark","year":"1978"},{"key":"10.1016\/S1571-0661(04)00137-9_NEWBIB8","unstructured":"Electronic Transaction on Atrificial Intelligence. Web Site, On-line at <http:\/\/www.ida.liu.se\/ext\/etai\/index>"},{"key":"10.1016\/S1571-0661(04)00137-9_NEWBIB9","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/BF03037169","article-title":"Classical negation in logic programs and disjunctive databases","author":"Gelfond","year":"1991","journal-title":"New Generation Computing"},{"key":"10.1016\/S1571-0661(04)00137-9_NEWBIB10","unstructured":"Gelfond M. and Lifschitz V. Representing Actions in Extended Logic Programs. In Proc. of Joint International Conference and Symposium on Logic Programming, pp. 559\u2013573, 1992."},{"key":"10.1016\/S1571-0661(04)00137-9_NEWBIB11","series-title":"Principles of Knowledge Representation","first-page":"69","article-title":"Foundations of logic programming","author":"Lifechitz","year":"1996"},{"key":"10.1016\/S1571-0661(04)00137-9_NEWBIB12","series-title":"Journal of Logic Programming - Special Issue: Reasoning about Action and Change","year":"1997"},{"key":"10.1016\/S1571-0661(04)00137-9_NEWBIB13","unstructured":"McCain N. and Turner H. A causal theory of ramifications and qualifications. In Proc. of IJCAI 95, pp. 1978\u20131984, 1995."},{"issue":"3","key":"10.1016\/S1571-0661(04)00137-9_NEWBIB14","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/0004-3702(86)90032-9","article-title":"Applications of circumscription to formalizing common sense knowledge","volume":"26","author":"McCarthy","year":"1986","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1571-0661(04)00137-9_NEWBIB15","first-page":"463","article-title":"Some philosophical problems from the standpoint of artificial intelligence","volume":"volume 4","author":"McCarthy","year":"1969"},{"key":"10.1016\/S1571-0661(04)00137-9_NEWBIB16","series-title":"Logic and Data Bases","first-page":"119","article-title":"On closed world data bases","author":"Reiter","year":"1978"},{"issue":"No. 1\u20133","key":"10.1016\/S1571-0661(04)00137-9_NEWBIB17","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1016\/S0743-1066(96)00125-2","article-title":"Representing actions in logic programs and default theories: A situation calculus approach","volume":"Vol. 31","author":"Turner","year":"1997","journal-title":"In Journal of Logic Programming"},{"key":"10.1016\/S1571-0661(04)00137-9_NEWBIB18","series-title":"Action languages and domain modeling Doctoral Dissertation","author":"Watson","year":"1999"},{"key":"10.1016\/S1571-0661(04)00137-9_NEWBIB19","doi-asserted-by":"crossref","unstructured":"Watson R. An application of action theory to the space shuttle. In G. Gupta, editor, Lecture Notes in Computer Science - Proc. of Practical Aspects of Declarative Languages '99, volume 1551, pp. 290\u2013304, 199.","DOI":"10.1007\/3-540-49201-1_20"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104001379?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104001379?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,3,30]],"date-time":"2020-03-30T12:30:58Z","timestamp":1585571458000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104001379"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"references-count":19,"alternative-id":["S1571066104001379"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)00137-9","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[1999]]}}}