{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:06:12Z","timestamp":1725663972149},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540568049"},{"type":"electronic","value":"9783540477501"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56804-2_16","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:39:23Z","timestamp":1330256363000},"page":"162-171","source":"Crossref","is-referenced-by-count":2,"title":["Terminological logic involving time and evolution: A preliminary report"],"prefix":"10.1007","author":[{"given":"Patrick","family":"Lambrix","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ralph","family":"R\u00f6nnquist","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"issue":"11","key":"16_CR1","doi-asserted-by":"crossref","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"J. F. Allen","year":"1983","unstructured":"Allen, J.F.,\u2019 Maintaining Knowledge About Temporal Intervals', in Communications of the ACM, Vol 26(11), pp 832\u2013843, 1983.","journal-title":"Communications of the ACM"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"Borgida, A., Brachman, R.J., McGuinnes, D.L., Resnick,\u2019 CLASSIC: A Structural Data Model for Objects', in Proceedings of the International Conference on Management of Data \u2014 SIGM0D89, pp 59\u201367, 1989.","DOI":"10.1145\/67544.66932"},{"issue":"2","key":"16_CR3","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1207\/s15516709cog0902_1","volume":"9","author":"R. J. Brachman","year":"1985","unstructured":"Brachman, R.J., Schmolze, J.G.,\u2019 An Overview of the KL-ONE Knowledge Representation System', in Cognitive Science, 9(2), pp 171\u2013216, 1985.","journal-title":"Cognitive Science"},{"key":"16_CR4","unstructured":"Brachman, R.J., Pigman Gilbert, V., Levesque, H.J.,\u2019 An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts in KRYPTON', in Proceedings of the International Joint Conference on Artificial Intelligence-IJCAI85, pp 532\u2013539, 1985."},{"key":"16_CR5","unstructured":"Devanbu, P.T., Litman, D.J.,\u2019 Plan-Based Terminological Reasoning', in Proceedings of the Conference on Representation of Knowledge-KR91, pp 128\u2013138, 1991."},{"key":"16_CR6","doi-asserted-by":"crossref","first-page":"461","DOI":"10.1002\/int.4550060503","volume":"6","author":"J. A. G. G. M. M. Koomen","year":"1991","unstructured":"Koomen, J.A.G.M.,\u2019 Reasoning about Recurrence', in International Journal of Intelligent Systems, Vol 6, pp 461\u2013496, 1991.","journal-title":"International Journal of Intelligent Systems"},{"key":"16_CR7","volume-title":"Technical Report ISI\/RS-87-1988","author":"R. MacGregor","year":"1987","unstructured":"MacGregor, R., Bates, R.,\u2019 The LOOM Representation Language', Technical Report ISI\/RS-87-1988, University of Southern California, Information Science Institute, Marina del Rey, CA, 1987."},{"key":"16_CR8","unstructured":"Nebel, B., Reasoning and Revision in Hybrid Representation Systems, Lecture Notes in Artificial Intelligence, 422, 1990."},{"key":"16_CR9","unstructured":"Patel-Schneider, P., 'small Can Be Beautiful in Knowledge Representation', in Proceedings of the IEEE Workshop on Principles of Knowledge-Based Systems, pp 11\u201316, 1984."},{"key":"16_CR10","unstructured":"Patel-Schneider, P.,\u2019 Adding Number Restrictions to a Four-Valued Terminological Logic', in Proceedings of the National Conference on Artificial Intelligence \u2014 AAAI88, pp 485\u2013490, 1988."},{"key":"16_CR11","unstructured":"R\u00f6nnquist, R.,\u2019 A Logic for Propagation Based Characterisation of Process Behaviour', in Proceedings of the International Symposium on Methodologies for Intelligent Systems \u2014 ISMIS90, pp 297\u2013304, 1990."},{"key":"16_CR12","unstructured":"R\u00f6nnquist, R., Theory and Practice of Tense-bound Object References, Ph.D. thesis, nr 270, Dpt. of Computer Science, Link\u00f6ping University, 1992."},{"key":"16_CR13","unstructured":"Schmiedel, A.,\u2019 A Temporal Terminological Logic', in Proceedings of the National Conference on Artificial Intelligence-AAAI90, pp 640\u2013645, 1990."},{"issue":"1","key":"16_CR14","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/0004-3702(87)90052-X","volume":"33","author":"Y. Shoham","year":"1987","unstructured":"Shoham, Y.,\u2019 Temporal Logics in AI: Semantical and Ontological Considerations', in Artificial Intelligence, Vol 33(1), pp 89\u2013104, 1987.","journal-title":"Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Methodologies for Intelligent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56804-2_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:06:02Z","timestamp":1605647162000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56804-2_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540568049","9783540477501"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-56804-2_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}