{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,2]],"date-time":"2024-01-02T14:46:35Z","timestamp":1704206795131},"reference-count":8,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1999,5,1]],"date-time":"1999-05-01T00:00:00Z","timestamp":925516800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Knowledge and Information Systems"],"published-print":{"date-parts":[[1999,5]]},"DOI":"10.1007\/bf03325100","type":"journal-article","created":{"date-parts":[[2013,7,25]],"date-time":"2013-07-25T22:40:56Z","timestamp":1374792056000},"page":"257-268","source":"Crossref","is-referenced-by-count":2,"title":["IMC: A Method for Interval Calculus in Matrix"],"prefix":"10.1007","volume":"1","author":[{"given":"Shichao","family":"Zhang","sequence":"first","affiliation":[]},{"given":"Chengqi","family":"Zhang","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,7,13]]},"reference":[{"issue":"11","key":"BF03325100_CR1","doi-asserted-by":"crossref","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"J Allen","year":"1983","unstructured":"J. Allen. Maintaining knowledge about temporal intervals, Commun. A CM 26(11), 832\u2013843, 1983.","journal-title":"Commun. A CM"},{"key":"BF03325100_CR2","first-page":"51","volume-title":"Now you may compose temporal logic specifications","author":"H Barringer","year":"1984","unstructured":"H. Barringer, R. Kuiper, A. Pnueli. Now you may compose temporal logic specifications. In: Proc. 16th ACM Symposium on Theory of Computing, ACM, New York, 1984, pp. 51\u201363."},{"key":"BF03325100_CR3","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1016\/0004-3702(94)00021-R","volume":"75","author":"S Kraus","year":"1995","unstructured":"S. Kraus, J. Wilkenfeld, G. Zlotkin. Multiagent negotiation under time constraints, Artificial Intelligence 75, 297\u2013345, 1995.","journal-title":"Artificial Intelligence"},{"key":"BF03325100_CR4","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1207\/s15516709cog0602_1","volume":"6","author":"D McDermott","year":"1982","unstructured":"D. McDermott. A temporal logic for reasoning about processes and plans, Cognitive Science 6, 101\u2013155, 1982.","journal-title":"Cognitive Science"},{"key":"BF03325100_CR5","unstructured":"E. Schwalb, L. Vila. Logic programming with temporal constraints. In: Proc. International Workshop on Temporal Representation and Reasoning, 1996, pp. 51\u201356."},{"issue":"2","key":"BF03325100_CR6","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1145\/22952.22956","volume":"12","author":"R Snodgrass","year":"1987","unstructured":"R. Snodgrass. The temporal query language TQuel, ACM Trans. Database Systems 12(2), 247\u2013298, 1987.","journal-title":"ACM Trans. Database Systems"},{"key":"BF03325100_CR7","first-page":"1031","volume-title":"Proc. IJCAI-85","author":"C Stuart","year":"1985","unstructured":"C. Stuart. An implementation of a multiagent plan synchronizer using a temporal logic theorem prover, Proc. IJCAI-85, 1985, pp. 1031\u20131033."},{"issue":"2","key":"BF03325100_CR8","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1145\/210330.210336","volume":"5","author":"A Tuzhilin","year":"1995","unstructured":"A. Tuzhilin. Extending temporal logic to support high-level simulations, ACM Trans. Modeling and Computer Simulation 5(2), 129\u2013155, 1995.","journal-title":"ACM Trans. Modeling and Computer Simulation"}],"container-title":["Knowledge and Information Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03325100.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03325100\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03325100","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T01:35:44Z","timestamp":1558575344000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03325100"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,5]]},"references-count":8,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1999,5]]}},"alternative-id":["BF03325100"],"URL":"https:\/\/doi.org\/10.1007\/bf03325100","relation":{},"ISSN":["0219-1377","0219-3116"],"issn-type":[{"value":"0219-1377","type":"print"},{"value":"0219-3116","type":"electronic"}],"subject":[],"published":{"date-parts":[[1999,5]]}}}