{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T14:18:48Z","timestamp":1648995528096},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1995,3,1]],"date-time":"1995-03-01T00:00:00Z","timestamp":794016000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[1995,3]]},"DOI":"10.1007\/bf01530894","type":"journal-article","created":{"date-parts":[[2005,4,19]],"date-time":"2005-04-19T03:06:32Z","timestamp":1113879992000},"page":"75-98","source":"Crossref","is-referenced-by-count":2,"title":["Applying the persistent set approach in temporal reasoning"],"prefix":"10.1007","volume":"14","author":[{"given":"Yan","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Norman Y.","family":"Foo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","unstructured":"A.B. Baker and M.L. Ginsberg, Temporal projection and explanation,Proc. 11th Int. Joint Conf. on Artificial Intelligence (1989) pp. 906?911."},{"key":"CR2","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1016\/0004-3702(91)90004-4","volume":"49","author":"A.B. Baker","year":"1991","unstructured":"A.B. Baker, Nonmonotonic reasoning in the framework of situation calculus, Artificial Intelligence 49(1991)5?23.","journal-title":"Artificial Intelligence"},{"key":"CR3","doi-asserted-by":"crossref","unstructured":"M. Gelfond and V. Lifschitz, What are the limitations of the situation calculus?, in:Automated Reasoning, ed. R.S. Boyer (Kluwer, 1991) pp. 167?179.","DOI":"10.1007\/978-94-011-3488-0_8"},{"key":"CR4","doi-asserted-by":"crossref","unstructured":"M.P. Georgeff, Actions, processes, and causality,Proc. 1986 Workshop on Reasoning About Actions and Plans, ed. A.L. Lansky (Kaufmann, 1988).","DOI":"10.1016\/B978-0-934613-67-5.50009-5"},{"key":"CR5","doi-asserted-by":"crossref","unstructured":"M.L. Ginsberg and D.E. Smith, Reasoning about action. I: A possible worlds approach,Proc. 1987 Workshop on the Frame Problem in Artificial Intelligence, ed. F.M. Brown (Kaufmann, 1987).","DOI":"10.1016\/B978-0-934613-32-3.50020-4"},{"key":"CR6","unstructured":"S. Hanks and D. McDermott, Default reasoning, nonmonotonic logics, and the frame problem,Proc. 5th National Conf. on Artificial Intelligence (1986) pp. 328?333."},{"key":"CR7","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1016\/0004-3702(87)90043-9","volume":"33","author":"S. Hanks","year":"1987","unstructured":"S. Hanks and D. McDermott, Nonmonotonic logic and temporal projection, Artificial Intelligence 33(1987)379?412.","journal-title":"Artificial Intelligence"},{"key":"CR8","unstructured":"B.A. Haugh, Simple causal minimizations for temporal persistence and projection,Proc. 6th National Conf. on Artificial Intelligence (1987) pp. 218?223."},{"key":"CR9","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0004-3702(91)90069-V","volume":"52","author":"H. Katsuno","year":"1991","unstructured":"H. Katsuno and A.O. Mendelzon, Propositional knowledge base revision and minimal change, Artificial Intelligence 52(1991)263?294.","journal-title":"Artificial Intelligence"},{"key":"CR10","unstructured":"A. Krautz, The logic of persistence,Proc. 5th National Conf. on Artificial Intelligence (1986) pp. 401?405."},{"key":"CR11","doi-asserted-by":"crossref","unstructured":"V. Lifschitz, Formal theories of action,Proc. 1987 Workshop on the Frame Problem, ed. F.M. Brown (Kaufmann, 1987) pp. 35?57.","DOI":"10.1016\/B978-0-934613-32-3.50009-5"},{"key":"CR12","volume-title":"Readings in Nonmonotonic Reasoning","author":"V. Lifschitz","year":"1987","unstructured":"V. Lifschitz, Pointwise circumscription, in:Readings in Nonmonotonic Reasoning, ed. M.L. Ginsberg (Kaufmann, Los Altos, CA, 1987)."},{"key":"CR13","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1016\/0004-3702(90)90021-Q","volume":"46","author":"V. Lifschitz","year":"1990","unstructured":"V. Lifschitz, Frames in the space of situations, Artificial Intelligence 46(1990)365?376.","journal-title":"Artificial Intelligence"},{"key":"CR14","unstructured":"F. Lin and Y. Shoham, Provably correct theories of action (preliminary report),Proc. 9th National Conf. on Artificial Intelligence (1991) pp. 349?354."},{"key":"CR15","unstructured":"F. Lin and Y. Shoham, Concurrent actions in the situation calculus,Proc. 10th National Conf. on Artificial Intelligence (1992) pp. 590?595."},{"key":"CR16","unstructured":"J. McCarthy and P.J. Hayes, Some philosophical problems from the standpoint of artificial intelligence, in:Machine Intelligence 4, eds. B. Meltxer and D. Mitchie (Edinburgh University Press, 1969) pp. 463?502."},{"key":"CR17","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1016\/0004-3702(93)90164-7","volume":"59","author":"J. McCarthy","year":"1993","unstructured":"J. McCarthy, History of circumscription, Artificial Intelligence 59(1993)23?26.","journal-title":"Artificial Intelligence"},{"key":"CR18","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1145\/322186.322189","volume":"27","author":"R. Reiter","year":"1980","unstructured":"R. Reiter, Equality and domain closure in first-order databases, J. Assoc. Comp. Machinery 27(1980)235?247.","journal-title":"J. Assoc. Comp. Machinery"},{"key":"CR19","unstructured":"Y. Shoham, Chronological ignorance,Proc. 5th National Conf. on Artificial Intelligence (1986) pp. 389?393."},{"key":"CR20","volume-title":"Reasoning about Change","author":"Y. Shoham","year":"1988","unstructured":"Y. Shoham,Reasoning about Change (MIT Press, Cambridge, MA, 1988)."},{"key":"CR21","unstructured":"M. Winslett, Reasoning about action using a possible models approach,Proc. 6th National Conf. on Artificial Intelligence (1988) pp. 89?93."},{"key":"CR22","unstructured":"Y. Zhang and N.Y. Foo, Reasoning about persistence: A theory of actions,Proc. 13th Int. Joint Conf. on Artificial Intelligence, Chembary, France, 1993 (Kaufmann, 1993) pp. 718?723."},{"key":"CR23","volume-title":"Updating knowledge bases using a persistent set approach","author":"Y. Zhang","year":"1994","unstructured":"Y. Zhang and N.Y. Foo, Updating knowledge bases using a persistent set approach,Proc. 6th Int. Conf. on Artificial Intelligence: Methodology, Systems, Applications (World Sientific, Singapore, 1994)."},{"key":"CR24","unstructured":"Y. Zhang, Reasoning about persistence: A unified principle for state change, Ph.D. Thesis (1994)."}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01530894\/fulltext.html","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01530894.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01530894\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01530894","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,7]],"date-time":"2020-04-07T00:04:04Z","timestamp":1586217844000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01530894"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,3]]},"references-count":24,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1995,3]]}},"alternative-id":["BF01530894"],"URL":"https:\/\/doi.org\/10.1007\/bf01530894","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,3]]}}}