{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,2,13]],"date-time":"2024-02-13T09:10:06Z","timestamp":1707815406799},"reference-count":45,"publisher":"Informa UK Limited","issue":"1-2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[2004,1]]},"DOI":"10.3166\/jancl.14.209-233","type":"journal-article","created":{"date-parts":[[2007,4,12]],"date-time":"2007-04-12T08:54:28Z","timestamp":1176368068000},"page":"209-233","source":"Crossref","is-referenced-by-count":3,"title":["A Correspondence between Temporal Description Logics"],"prefix":"10.1080","volume":"14","author":[{"given":"Alessandro","family":"Artale","sequence":"first","affiliation":[{"name":"a Faculty of Computer Science , Free University of Bozen-Bolzano (Italy)"}]},{"given":"Carsten","family":"Lutz","sequence":"additional","affiliation":[{"name":"b Institute of Theoretical Computer Science , TU Dresden (Germany)"}]}],"member":"301","published-online":{"date-parts":[[2012,4,13]]},"reference":[{"issue":"11","key":"CIT0001","doi-asserted-by":"crossref","DOI":"10.1145\/182.358434","volume":"26","author":"ALLEN J.","year":"1983","journal-title":"Communications of the ACM"},{"key":"CIT0002","volume-title":"Reasoning about Plans","author":"ALLEN J. F.","year":"1991"},{"issue":"5","key":"CIT0003","doi-asserted-by":"crossref","DOI":"10.1093\/logcom\/4.5.531","volume":"4","author":"ALLEN J. F.","year":"1994","journal-title":"Journal of Logic and Computation"},{"key":"CIT0004","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/B978-1-4832-1452-8.50098-1","volume-title":"Proc. of the 4th International Conference on Principles of Knowledge Representation and Reasoning \u2013 KR94","author":"ARTALE A.","year":"1994"},{"key":"CIT0005","doi-asserted-by":"crossref","first-page":"463","DOI":"10.1613\/jair.516","volume":"9","author":"ARTALE A.","year":"1998","journal-title":"Journal of Artificial Intelligence Research (JAIR)"},{"issue":"9","key":"CIT0006","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1017\/S0890060499132050","volume":"13","author":"ARTALE A.","year":"1999","journal-title":"Artificial Intelligence in Engineering, Design, Analysis and Manifacturing"},{"key":"CIT0007","volume-title":"Proceedings of the International Conference on Conceptual Modeling (ER'99), vol. 1728 of Lecture Notes in Computer Science","author":"ARTALE A."},{"issue":"1","key":"CIT0008","first-page":"171","volume":"30","author":"ARTALE A.","year":"2001","journal-title":"Annals on Mathematics and Artificial Intelligence (AMAI)"},{"key":"CIT0009","first-page":"98","volume-title":"Proceedings of the 8th Joint European Conference on Logics in Artificial Intelligence (JELIA-02), vol. 2424 of LNAI","author":"ARTALE A."},{"key":"CIT0010","first-page":"368","volume-title":"Logics for Emerging Applications of Databases","author":"ARTALE A.","year":"2003"},{"key":"CIT0011","first-page":"1","volume-title":"Proceedings of the International Conference on Automated Reasoning with Tableaux and Related Methods (Tableaux 2000), vol. 1847 of Lecture Notes in Artificial Intelligence","author":"BAADER F."},{"key":"CIT0012","volume-title":"The Description Logic Handbook: Theory, implementation and applications","author":"BAADER F.","year":"2003"},{"key":"CIT0013","volume-title":"The Description Logic Handbook: Theory, implementation and applications","author":"BAADER F.","year":"2003"},{"key":"CIT0014","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1093\/oso\/9780198537915.003.0005","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming","volume":"4","author":"VAN BENTHEM J.","year":"1995"},{"key":"CIT0015","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0169-023X(96)00036-5","volume":"22","author":"BETTINI C.","year":"1997","journal-title":"Data & Knowledge Engineering"},{"key":"CIT0016","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-5643-5","volume-title":"Logics for Databases and Information Systems","author":"CHOMICKI J.","year":"1998"},{"key":"CIT0017","volume-title":"Logic for Emerging Application of Databases","author":"CHOMICKI J.","year":"2003"},{"key":"CIT0018","first-page":"995","volume-title":"Handbook of Theoretical Computer Science","author":"EMERSON A.","year":"1990"},{"key":"CIT0019","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0013976"},{"key":"CIT0020","volume-title":"Many- Dimensional Modal Logics: Theory and Applications","author":"GABBAY D. M.","year":"2003"},{"key":"CIT0021","volume-title":"Handbook of Time and Temporal Reasoning in Artificial Intelligence","author":"GABBAY D."},{"issue":"9","key":"CIT0022","volume":"9","author":"GORANKO V.","year":"2003","journal-title":"Journal of Universal Computer Science"},{"key":"CIT0023","first-page":"1","volume-title":"Proc. of the ESSLLI Workshop on Interval Temporal Logics and Duration Calculi","author":"GORANKO V."},{"key":"CIT0024","first-page":"701","volume-title":"Proceedings of the First International Joint Conference on Automated Reasoning (IJCAR'01)","author":"HAARSLEV V."},{"key":"CIT0025","doi-asserted-by":"publisher","DOI":"10.1145\/115234.115351"},{"key":"CIT0026","volume-title":"Subsumption Algorithms for Concept Languages","author":"HOLLUNDER B.","year":"1990"},{"issue":"3","key":"CIT0027","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1093\/jigpal\/8.3.239","volume":"8","author":"HORROCKS I.","year":"2000","journal-title":"Logic Journal of the IGPL"},{"key":"CIT0028","volume-title":"A Concept Language with Role-Forming Predicate Restrictions","author":"LUTZ C.","year":"1997"},{"key":"CIT0029","first-page":"181","volume-title":"Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR'99)","author":"LUTZ C."},{"key":"CIT0030","first-page":"121","volume-title":"Proceedings of the First International Joint Conference on Automated Reasoning (IJCAR'01)","author":"LUTZ C."},{"key":"CIT0031","first-page":"191","volume-title":"Proc. of the 8th International Conference on Principles of Knowledge Representation and Reasoning \u2013 KR2002","author":"LUTZ C."},{"key":"CIT0032","volume-title":"The Complexity of Reasoning with Concrete Domains","author":"LUTZ C.","year":"2002"},{"issue":"5","key":"CIT0033","doi-asserted-by":"crossref","first-page":"535","DOI":"10.1093\/jigpal\/10.5.535","volume":"10","author":"LUTZ C.","year":"2002","journal-title":"Logic Journal of the IGPL"},{"key":"CIT0034","first-page":"265","volume-title":"Advances in Modal Logics Volume 4","author":"LUTZ C.","year":"2003"},{"key":"CIT0035","author":"LUTZ C.","journal-title":"Artificial Intelligence"},{"key":"CIT0036","doi-asserted-by":"publisher","DOI":"10.1145\/200836.200848"},{"key":"CIT0037","first-page":"9","volume-title":"Proceedings of the International Workshop on Description Logics (DL'99)","author":"PATEL-SCHNEIDER P."},{"key":"CIT0038","doi-asserted-by":"crossref","first-page":"510","DOI":"10.1007\/BFb0027047","volume-title":"Current Trends in Concurrency, vol. 224 of Lecture Notes in Computer Science","author":"PNUELI A.","year":"1986"},{"key":"CIT0039","first-page":"640","volume-title":"Proceedings of the 8th National Conference on Artificial Intelligence (AAAI'90)","author":"SCHMIEDEL A."},{"key":"CIT0040","first-page":"105","volume-title":"Progress in Artificial Intelligence \u2013 6th Portuguese Conference on Artificial Intelligence, EPIA'93, vol. 727 of Lecture Notes in Artificial Intelligence","author":"SCHILD K. D."},{"issue":"5","key":"CIT0041","doi-asserted-by":"crossref","DOI":"10.1093\/logcom\/12.5.809","volume":"12","author":"STURM H.","year":"2001","journal-title":"Journal of Logic and Computation"},{"key":"CIT0042","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093635589"},{"key":"CIT0043","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1016\/B978-1-4832-1447-4.50034-1","volume-title":"Readings in Qualitative Reasoning about Physical Systems","author":"VILAIN M.","year":"1990"},{"key":"CIT0044","first-page":"512","volume-title":"Proc. of the 6th International Conference on Principles of Knowledge Representation and Reasoning \u2013 KR98","author":"WOLTER F."},{"key":"CIT0045","first-page":"379","volume-title":"Frontiers of Combining Systems","author":"WOLTER F.","year":"1999"}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.3166\/jancl.14.209-233","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,13]],"date-time":"2024-02-13T08:47:39Z","timestamp":1707814059000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.3166\/jancl.14.209-233"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,1]]},"references-count":45,"journal-issue":{"issue":"1-2","published-online":{"date-parts":[[2012,4,13]]},"published-print":{"date-parts":[[2004,1]]}},"alternative-id":["10.3166\/jancl.14.209-233"],"URL":"https:\/\/doi.org\/10.3166\/jancl.14.209-233","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"value":"1166-3081","type":"print"},{"value":"1958-5780","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004,1]]}}}