{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,3,12]],"date-time":"2024-03-12T22:40:30Z","timestamp":1710283230223},"reference-count":41,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2003,9,1]],"date-time":"2003-09-01T00:00:00Z","timestamp":1062374400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["New Gener Comput"],"published-print":{"date-parts":[[2003,9]]},"DOI":"10.1007\/bf03037474","type":"journal-article","created":{"date-parts":[[2009,4,24]],"date-time":"2009-04-24T03:04:57Z","timestamp":1240542297000},"page":"209-246","source":"Crossref","is-referenced-by-count":8,"title":["A general framework for reasoning about change"],"prefix":"10.1007","volume":"21","author":[{"given":"Juan Carlos","family":"Augusto","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"11","key":"BF03037474_CR1","doi-asserted-by":"crossref","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"J. Allen","year":"1983","unstructured":"Allen J., \u201cMaintaining Knowledge about Temporal Intervals,\u201dCACM 26, 11, pp. 832\u2013843, 1983.","journal-title":"CACM"},{"key":"BF03037474_CR2","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/0004-3702(84)90008-0","volume":"23","author":"J. Allen","year":"1984","unstructured":"Allen, J., \u201cTowards a General Theory of Action and Time,\u201dArtificial Intelligence 23, pp. 123\u2013154, 1984.","journal-title":"Artificial Intelligence"},{"key":"BF03037474_CR3","doi-asserted-by":"crossref","unstructured":"Allen J., \u201cTemporal Reasoning and Planning,\u201d inReasoning About Plans, (Allen, J., Kautz, H., Pelavin, R. and Tenenberg, J. eds.), Morgan Kaufmann, pp. 1\u201368, 1991.","DOI":"10.1016\/B978-1-55860-137-6.50007-8"},{"key":"BF03037474_CR4","doi-asserted-by":"crossref","unstructured":"Allen, J., \u201cPlanning as Temporal Reasoning,\u201d inProc. of KR `91, pp. 3\u201314, 1991.","DOI":"10.1016\/B978-1-55860-137-6.50007-8"},{"key":"BF03037474_CR5","doi-asserted-by":"crossref","first-page":"531","DOI":"10.1093\/logcom\/4.5.531","volume":"4","author":"J. Allen","year":"1994","unstructured":"Allen J. and Ferguson G., \u201cActions and Events in Interval Temporal Logic,\u201dJournal of Logic and Computation 4, pp. 531\u2013579, 1994.","journal-title":"Journal of Logic and Computation"},{"key":"BF03037474_CR6","unstructured":"Allen, J. and Hayes, P., \u201cA Common-sense Theory of Time,\u201d inProc. of IJCAI, 1, pp. 528\u2013531, 1985."},{"key":"BF03037474_CR7","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1111\/j.1467-8640.1989.tb00329.x","volume":"5","author":"J. Allen","year":"1989","unstructured":"Allen J. and Hayes, P., \u201cMoments and Points,\u201dComputational Intelligence 5, pp. 225\u2013238, 1989.","journal-title":"Computational Intelligence"},{"key":"BF03037474_CR8","volume-title":"Razonamiento Rebatible Temporal","author":"J. Augusto","year":"1998","unstructured":"Augusto J.,Razonamiento Rebatible Temporal, Ph.D. Thesis, Dep. de Cs. de la Computaci\u00f3n, Universidad Nacional del Sur, Bah\u00eda Blanca, Argentina, 1998."},{"key":"BF03037474_CR9","unstructured":"Augusto J., \u201cA Temporal Argumentative System Based on Instants and Intervals,\u201d InProc. of the IV Dutch-German Workshop on NonMonotonic Reasoning Techniques and their Applications (DGNMR\u201999), pp. 203\u2013214, Institute of Logic, Language and Computation, University of Amsterdam, March 25\u201327, 1999."},{"key":"BF03037474_CR10","doi-asserted-by":"crossref","unstructured":"Augusto J., \u201cThe Logical Approach to Temporal Reasoning,\u201d inArtificial Intelligence Review 16, 4, December, pp. 301\u2013333. Kluwer Academic Publishers, 2001.","DOI":"10.1023\/A:1012551818243"},{"key":"BF03037474_CR11","first-page":"237","volume-title":"AI Communications, 12, 4","author":"J. Augusto","year":"1999","unstructured":"Augusto J. and Simari G., \u201cA Temporal Argumentative System,\u201d inAI Communications, 12, 4, pp. 237\u2013257, IOS Press, Amsterdam, 1999."},{"key":"BF03037474_CR12","doi-asserted-by":"crossref","unstructured":"Augusto J. and Simari G., \u201cTemporal Defeasible Reasoning,\u201d inKnowledge and Information Systems 3, 3, pp. 287\u2013318. Springer Verlag, 2001.","DOI":"10.1007\/PL00011670"},{"issue":"3","key":"BF03037474_CR13","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1305\/ndjfl\/1093635505","volume":"31","author":"A. Bochman","year":"1990","unstructured":"Bochman A., \u201cConcerted Instant-interval Temporal Semantics I: Temporal Ontologies,\u201dNotre Dame Journal of Formal Logic 31, 3, pp. 403\u2013414, 1990.","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"4","key":"BF03037474_CR14","doi-asserted-by":"crossref","first-page":"581","DOI":"10.1305\/ndjfl\/1093635593","volume":"31","author":"A. Bochman","year":"1990","unstructured":"Bochman A., \u201cConcerted Instant-interval Temporal Semantics II: Temporal Valuations and Logics of Change,\u201dNotre Dame Journal of Formal Logic 31, 4, pp. 581\u2013601, 1990.","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"BF03037474_CR15","doi-asserted-by":"crossref","unstructured":"Chomicki, J., \u201cEfficient Checking of Temporal Integrity Constraints Using Bounded History Enconding,\u201dACM Transactions on Database Systems, June 1995, pp. 149\u2013186, 1995.","DOI":"10.1145\/210197.210200"},{"key":"BF03037474_CR16","volume-title":"Essays on Actions and Events","author":"D. Davidson","year":"1980","unstructured":"Davidson, D.,Essays on Actions and Events, Clarendon Press, Oxford, 1980"},{"key":"BF03037474_CR17","volume-title":"Logic for Computer Science (Foundations of Automatic Theorem Proving)","author":"J. Gallier","year":"1987","unstructured":"Gallier, J.,Logic for Computer Science (Foundations of Automatic Theorem Proving), Harper and Row Publishers, New York, 1987"},{"key":"BF03037474_CR18","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1016\/0004-3702(90)90053-3","volume":"42","author":"A. Galton","year":"1990","unstructured":"Galton, A., \u201cA Critical Examination of Allen\u2019s Theory of Action and Time,\u201dArtificial Intelligence 42, pp. 159\u2013188, 1990.","journal-title":"Artificial Intelligence"},{"key":"BF03037474_CR19","doi-asserted-by":"crossref","unstructured":"Galton A., \u201cTime and Change,\u201d inHanbook of Logic in Artificial Intelligence and Logic Programming, 4 (Epistemic and Temporal Reasoning), (Gabbay, D., Hogger, C. and Robinson, J. eds.), Clarendon Press, pp. 175\u2013240, 1995.","DOI":"10.1093\/oso\/9780198537915.003.0004"},{"issue":"2","key":"BF03037474_CR20","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1093\/logcom\/6.2.271","volume":"6","author":"A. Galton","year":"1996","unstructured":"Galton A., \u201cAn Investigation of \u2018Non-intermingling\u2019 Principles in Temporal Logic,\u201dJournal of Logic and Computation 6, 2, pp. 271\u2013294, 1996.","journal-title":"Journal of Logic and Computation"},{"key":"BF03037474_CR21","unstructured":"Hardman L. and Bulterman D., \u201cDocument Model Issues for Hypermedia,\u201d inThe Handbook of Multimedia Information Management, (Grosky, W., Jain, R. and Mehrotra, R. eds.), Prentice Hall, pp. 39\u201368, 1997."},{"key":"BF03037474_CR22","unstructured":"Constance Heitmeyer and Dino Mandrioli,Formal Methods for Real-Time Computing, John Wiley & Sons Ltd, 1996."},{"key":"BF03037474_CR23","doi-asserted-by":"crossref","unstructured":"Kamp H., \u201cEvents, Instants and Temporal Reference,\u201d inSemantics from Different Points of View, (Baurle et al. ed.), Springer Verlag, pp. 376\u2013417, 1979.","DOI":"10.1007\/978-3-642-67458-7_24"},{"key":"BF03037474_CR24","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R. Kowalski","year":"1986","unstructured":"Kowalski R. and Sergot M., \u201cA Logic-based Calculus of Events,\u201dNew Generation Computing 4, pp. 67\u201395, 1986.","journal-title":"New Generation Computing"},{"issue":"1","key":"BF03037474_CR25","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/S0743-1066(96)00137-9","volume":"31","author":"R. Kowalski","year":"1997","unstructured":"Kowalski R. and Sergot M., \u201cReconciling the Event Calculus with the Situation Calculus,\u201dJournal of Logic Programming 31, 1, pp. 39\u201358, 1997.","journal-title":"Journal of Logic Programming"},{"key":"BF03037474_CR26","unstructured":"Krishna, C. M. and Shin, K. G.,Real-Time Systems, McGraw-Hill, 1997."},{"key":"BF03037474_CR27","unstructured":"Meiri I.,Temporal Reasoning: A Constraint-Based Approach, Ph.D. Thesis, University of California, 1992."},{"key":"BF03037474_CR28","doi-asserted-by":"crossref","unstructured":"Bertrand R., \u201cOn Order in Time,\u201d inProc. of the Cambridge Philosophical Society 32, pp. 216\u2013228, 1936.","DOI":"10.1017\/S0305004100001766"},{"key":"BF03037474_CR29","volume-title":"Features and Fluents","author":"E. Sandewall","year":"1994","unstructured":"Sandewall E.,Features and Fluents, Oxford University Press, Oxford, 1994."},{"issue":"5","key":"BF03037474_CR30","doi-asserted-by":"crossref","first-page":"679","DOI":"10.1093\/logcom\/4.5.679","volume":"4","author":"L. Schubert","year":"1994","unstructured":"Schubert L., \u201cExplanation Closure, Action Closure and the Sandewal Test Suite for Reasoning about Change,\u201dJournal of Computation and Logic 4, 5, pp. 679\u2013700, 1994.","journal-title":"Journal of Computation and Logic"},{"key":"BF03037474_CR31","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1007\/BF00297578","volume":"13","author":"S. Thomason","year":"1984","unstructured":"Thomason S., \u201cOn Constructing Instants form Events,\u201dJournal of Philosophical Logic 13, pp. 85\u201396, 1984.","journal-title":"Journal of Philosophical Logic"},{"key":"BF03037474_CR32","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1007\/BF00296174","volume":"18","author":"S. Thomason","year":"1989","unstructured":"Thomason S., \u201cFree Construction of the Time from Events,\u201dJournal of Philosophical Logic 18, pp. 43\u201367, 1989.","journal-title":"Journal of Philosophical Logic"},{"key":"BF03037474_CR33","doi-asserted-by":"crossref","unstructured":"Snodgrass, R.,The TSQL2 Temporal Query Language, Kluwer Academic Publishers, 1995.","DOI":"10.1007\/978-1-4615-2289-8"},{"key":"BF03037474_CR34","doi-asserted-by":"crossref","unstructured":"Terenziani, P., \u201cIs Point-based Semantics Always Adequate for Temporal Databases?,\u201d7th International Workshop on Temporal Representation and Reasoning (TIME-00), 191\u2013199, 2000.","DOI":"10.1109\/TIME.2000.856601"},{"key":"BF03037474_CR35","volume-title":"Temporal Data Bases (Theory, Design and Implementation)","author":"A. Tansel","year":"1993","unstructured":"Tansel, A., Clifford, J., Gadia, S., Jajodia, S., Segev, A. and Snodgrass, R.,Temporal Data Bases (Theory, Design and Implementation), The Benjamin Cummings Pub. Co., California, 1993."},{"key":"BF03037474_CR36","unstructured":"Toman, D., \u201cPoint-based vs. Interval-based Temporal Query Languages,\u201d inProc. of ACM PODS 1996, pp. 58\u201367, 1996."},{"key":"BF03037474_CR37","unstructured":"J. Ullman,Principles of Database Systems (Second Edition), Computer Science Press, 1982."},{"key":"BF03037474_CR38","doi-asserted-by":"crossref","unstructured":"van Benthem, J.,The Logic of Time (second edition), Reidel, 1991","DOI":"10.1007\/978-94-015-7947-6"},{"key":"BF03037474_CR39","doi-asserted-by":"crossref","unstructured":"van Inwagen P., \u201cSimultaneous Causation,\u201d inTime and Cause, (van Inwagen, P., ed.), D. Reidel Publishing Company, pp. 137\u2013153, 1980.","DOI":"10.1007\/978-94-017-3528-5"},{"key":"BF03037474_CR40","unstructured":"Vila, Ll., \u201cIP: An Instant-Period based Theory of Time,\u201d inProc. of the Workshop on Spatial and Temporal Reasoning, ECAI 94, (Rodriguez, R., ed.), 1994."},{"key":"BF03037474_CR41","first-page":"373","volume-title":"Readings in Qualitative Reasoning About Physical Systems","author":"M. Vilain","year":"1989","unstructured":"Vilain M., Kautz H. and van Beek P., \u201cConstraint Propagation Algorithms for Temporal Reasoning: a Revised Report,\u201d inReadings in Qualitative Reasoning About Physical Systems, pp. 373\u2013381, (Weld, D. and de Kleer, J., eds.), Morgan Kaufmann, San Mateo, California, 1989."}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037474.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03037474\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037474","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,12]],"date-time":"2024-03-12T22:00:57Z","timestamp":1710280857000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03037474"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,9]]},"references-count":41,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2003,9]]}},"alternative-id":["BF03037474"],"URL":"https:\/\/doi.org\/10.1007\/bf03037474","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"value":"0288-3635","type":"print"},{"value":"1882-7055","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003,9]]}}}