{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,25]],"date-time":"2023-10-25T02:56:22Z","timestamp":1698202582155},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1988,11,1]],"date-time":"1988-11-01T00:00:00Z","timestamp":594345600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Philos Logic"],"published-print":{"date-parts":[[1988,11]]},"DOI":"10.1007\/bf00297513","type":"journal-article","created":{"date-parts":[[2004,10,6]],"date-time":"2004-10-06T07:42:28Z","timestamp":1097048548000},"page":"443-474","source":"Crossref","is-referenced-by-count":4,"title":["Efficient reasoning about rich temporal domains"],"prefix":"10.1007","volume":"17","author":[{"given":"Yoav","family":"Shoham","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","first-page":"293","volume-title":"Logic and Databases","author":"K.L. Clark","year":"1978","unstructured":"K.L. Clark. Negation as failure. In Logic and Databases, pages 293?322, Plenum Press, New York, 1978."},{"key":"CR2","unstructured":"T. Dean. Temporal Imagery: An Approach to Reasoning about Time for Planning and Problem Solving. Ph.D. thesis, Yale University, Computer Science Department, 1986."},{"key":"CR3","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0004-3702(79)90008-0","volume":"12","author":"J. Doyle","year":"1979","unstructured":"J. Doyle. A truth maintenance system. Artificial Intelligence, 12:231?272, 1979.","journal-title":"Artificial Intelligence"},{"key":"CR4","unstructured":"D. W. Etherington. Reasoning with Incomplete Information: Investigations of Non-Monotonic Reasoning. PhD thesis, Computer Science Department, University of British Columbia, 1986."},{"key":"CR5","series-title":"Technical Report RJ 4448 48136","volume-title":"Towards a Theory of Knowledge and Ignorance: Preliminary Report","author":"J. Halpern","year":"1984","unstructured":"J. Halpern and Y. Moses. Towards a Theory of Knowledge and Ignorance: Preliminary Report. Technical Report RJ 4448 48136, IBM Research Laboratory, San Jose, October 1984."},{"key":"CR6","unstructured":"S. Hanks and D. V. McDermott. Temporal Reasoning and Default Logics. Technical Report YALEU\/CSD\/RR 430, Yale University, October 1985."},{"key":"CR7","unstructured":"V. Lifschitz. Computing circumscription. In Proc. 9th IJCAI, August 1985."},{"key":"CR8","unstructured":"V. Lukaszewicz. Considerations on default logic. In Proceedings of the Workshop on Nonmonotonic Reasoning, pages 165?193, AAAI, 1984."},{"key":"CR9","unstructured":"D. A. McAllester. Reasoning Utility Package User's Manual. Technical Report 667, M.I.T. AI Lab Memo, 1982."},{"key":"CR10","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","volume":"13","author":"J. M. McCarthy","year":"1980","unstructured":"J. M. McCarthy, Circumscription?a form of non monotonic reasoning. Artificial Intelligence, 13:27?39, 1980.","journal-title":"Artificial Intelligence"},{"key":"CR11","doi-asserted-by":"crossref","first-page":"431","DOI":"10.1016\/B978-0-934613-03-3.50033-7","volume-title":"Readings in Artificial Intelligence","author":"J. M. McCarthy","year":"1981","unstructured":"J. M. McCarthy and P. J. Hayes. Some philosopical problems from the standpoint of artificial intelligence. In Readings in Artificial Intelligence, pages 431?450, Tioga Publishing Co., Palo Alto, CA, 1981."},{"issue":"3","key":"CR12","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1109\/TPAMI.1983.4767388","volume":"5","author":"D. V. McDermott","year":"1983","unstructured":"D. V. McDermott. Contexts and data dependencies: a synthesis. IEEE Trans. on Pattern Analysis and Machine Intelligence, 5(3):237?246, 1983.","journal-title":"IEEE Trans. on Pattern Analysis and Machine Intelligence"},{"issue":"1","key":"CR13","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1145\/322290.322293","volume":"29","author":"D. V. McDermott","year":"1982","unstructured":"D. V. McDermott. Nonmonotonic logic II: nonmonotonic modal theories. JACM, 29(1):33?57, 1982.","journal-title":"JACM"},{"key":"CR14","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1207\/s15516709cog0602_1","volume":"6","author":"D. V. McDermott","year":"1982","unstructured":"D. V. McDermott. A temporal logic for reasoning about processes and plans. Cognitive Science, 6:101?155, 1982.","journal-title":"Cognitive Science"},{"key":"CR15","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/0004-3702(80)90012-0","volume":"13","author":"D. V. McDermott","year":"1980","unstructured":"D. V. McDermott and J. Doyle. Nonmonotonic Logic I. Artificial Intelligence, 13:41?72, 1980.","journal-title":"Artificial Intelligence"},{"key":"CR16","unstructured":"R. C. Moore. Semantical considerations on nonmonotonic logic. In Proc. 8th IJCAI, Germany, 1983."},{"key":"CR17","unstructured":"Z. W. Pylyshyn, editor. The Robot's Dilemma. Norwood, New Jersey, 1986."},{"key":"CR18","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"R. Reiter. A logic for default reasoning. Artificial Intelligence, 13:81?132, 1980.","journal-title":"Artificial Intelligence"},{"key":"CR19","volume-title":"Reasoning about Change","author":"Y. Shoham","year":"1987","unstructured":"Y. Shoham. Reasoning about Change. MIT Press, Boston, MA, 1987."},{"key":"CR20","doi-asserted-by":"crossref","unstructured":"Y. Shoham and D. McDermott, Problems in temporal reasoning. Artificial Intelligence, to appear, 1988.","DOI":"10.1016\/0004-3702(88)90078-1"}],"container-title":["Journal of Philosophical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00297513.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00297513\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00297513","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,8]],"date-time":"2019-04-08T16:12:57Z","timestamp":1554739977000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00297513"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988,11]]},"references-count":20,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1988,11]]}},"alternative-id":["BF00297513"],"URL":"https:\/\/doi.org\/10.1007\/bf00297513","relation":{},"ISSN":["0022-3611","1573-0433"],"issn-type":[{"value":"0022-3611","type":"print"},{"value":"1573-0433","type":"electronic"}],"subject":[],"published":{"date-parts":[[1988,11]]}}}