{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,20]],"date-time":"2026-09-20T15:20:37Z","timestamp":1789917637854,"version":"4.0.1"},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1985,12,1]],"date-time":"1985-12-01T00:00:00Z","timestamp":502243200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["NGCO"],"published-print":{"date-parts":[[1985,12]]},"DOI":"10.1007\/bf03037081","type":"journal-article","created":{"date-parts":[[2009,4,17]],"date-time":"2009-04-17T02:51:18Z","timestamp":1239936678000},"page":"467-477","source":"Crossref","is-referenced-by-count":17,"title":["Ten requirements for a theory of change"],"prefix":"10.1007","volume":"3","author":[{"given":"Yoav","family":"Shoham","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"issue":"No. 2","key":"BF03037081_CR1","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/0004-3702(84)90008-0","volume":"23","author":"J. F. Allen","year":"1984","unstructured":"Allen, J. F., \u201cTowards a General Theory of Action and Time,\u201dArtificial Intelligence, Vol. 23, No. 2, pp. 123\u2013154, 1984.","journal-title":"Artificial Intelligence"},{"key":"BF03037081_CR2","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","volume":"2","author":"R. Fikes","year":"1971","unstructured":"Fikes, R. and Nilsson, N. J., \u201cSTRIPS: A New Approach to Application of Theorem Proving to Problem Solving,\u201dArtificial Intelligence, 2, pp. 189\u2013208, 1971.","journal-title":"Artificial Intelligence"},{"key":"BF03037081_CR3","doi-asserted-by":"crossref","unstructured":"Forbus, K. D., \u201cQualitative Process Theory,\u201dPh. D. Thesis, Artificial Intelligence Laboratory, M. I. T., 1984.","DOI":"10.21236\/ADA465743"},{"key":"BF03037081_CR4","unstructured":"Halpern, J. Y. and Moses, Y., \u201cA guide to the Modal Logics of Knowledge and Belief: Preliminary Draft,\u201dProceedings IJCAI-85, Los Angeles, pp. 480\u2013490, 1985."},{"key":"BF03037081_CR5","unstructured":"Hayes, P. J., \u201cNaive Physics 1 \u2014 Ontology for Liquids,\u201d inFormal Theories of the Commonsense World (Hobbs, J. R and Moore, R. C., eds.), Ablex, 1984."},{"key":"BF03037081_CR6","doi-asserted-by":"crossref","unstructured":"Manna, Z. and Pnueli, A., \u201cVerification of Concurrent Programs: Temporal Proof Principles,\u201dTechnical Report, Department of Applied Mathematics, Weizmann Institute of Science, September, 1981.","DOI":"10.21236\/ADA116035"},{"key":"BF03037081_CR7","series-title":"Readings in Artificial Intelligence","first-page":"431","volume-title":"Some Philosophical Problems from the Standpoint of Artificial Intelligence","author":"J. M. McCarthy","year":"1981","unstructured":"McCarthy, J. M. and Hayes, P. J., \u201cSome Philosophical Problems from the Standpoint of Artificial Intelligence,\u201dReadings in Artificial Intelligence, Tioga Publishing Co., Palo Alto, CA, pp. 431\u2013450, 1981."},{"key":"BF03037081_CR8","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1207\/s15516709cog0602_1","volume":"6","author":"D. V. McDermott","year":"1982","unstructured":"McDermott, D. V., \u201cA Temporal Logic for Reasoning about Processes and Plans,\u201dCognitive Science, 6, pp. 101\u2013155, 1982.","journal-title":"Cognitive Science"},{"key":"BF03037081_CR9","unstructured":"Shoham, Y. and Dean, T., \u201cTemporal Notation and Causal Terminology,\u201dProceedings Seventh Annual Conference, Cognitive Science Society, 1985."},{"key":"BF03037081_CR10","unstructured":"Shoham, Y., \u201cNaive Kinenatics: One Aspect of Shape,\u201dProceedings IJCAI-85, Los Angeles, 1985."},{"key":"BF03037081_CR11","unstructured":"Shoham, Y., \u201cTime and Causation from the Standpoint of Artificial Intelligence,\u201dPh. D. Thesis, Yale University, Computer Science Department, 1986 (to appear)."},{"key":"BF03037081_CR12","unstructured":"Waldinger, R., \u201cAchieving Several Goals Simultaneously\u201dTechnical Report, 107, AI Center, SRI International, July, 1975."}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037081.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03037081\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037081","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T00:52:29Z","timestamp":1558572749000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03037081"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985,12]]},"references-count":12,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1985,12]]}},"alternative-id":["BF03037081"],"URL":"https:\/\/doi.org\/10.1007\/bf03037081","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"value":"0288-3635","type":"print"},{"value":"1882-7055","type":"electronic"}],"subject":[],"published":{"date-parts":[[1985,12]]}}}