{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:24:59Z","timestamp":1761611099272,"version":"3.40.5"},"reference-count":81,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2002,3,1]],"date-time":"2002-03-01T00:00:00Z","timestamp":1014940800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2002,3,1]],"date-time":"2002-03-01T00:00:00Z","timestamp":1014940800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artificial Intelligence Review"],"published-print":{"date-parts":[[2002,3]]},"DOI":"10.1023\/a:1015057926707","type":"journal-article","created":{"date-parts":[[2002,12,28]],"date-time":"2002-12-28T22:07:59Z","timestamp":1041113279000},"page":"1-20","source":"Crossref","is-referenced-by-count":30,"title":["Combinations of Modal Logics"],"prefix":"10.1007","volume":"17","author":[{"given":"Brandon","family":"Bennett","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Clare","family":"Dixon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Fisher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ullrich","family":"Hustadt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enrico","family":"Franconi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ian","family":"Horrocks","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maarten","family":"de Rijke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"350238_CR1","first-page":"23","volume-title":"Proceedings of the International Workshop on Description Logics (DL'99)","author":"M. Aiello","year":"1999","unstructured":"Aiello, M., C. Areces & M. de Rijke (1999). Spatial Reasoning for Image Retrieval. In Proceedings of the International Workshop on Description Logics (DL'99). Sweden: Link\u00f6pings Universitet, 23\u201327."},{"key":"350238_CR2","doi-asserted-by":"crossref","unstructured":"Areces, C., H. de Nivelle & M. de Rijke (1999). Prefixed Resolution: A Resolution Method forModal and Description Logics. In Proceedings of the 16th International Conference on Automated Deduction (CADE-16), volume 1632 in Lecture Notes in Artificial Intelligence. Springer, 187\u2013201.","DOI":"10.1007\/3-540-48660-7_13"},{"key":"350238_CR3","unstructured":"Areces, C. and M. de Rijke (2000). Description and\/or Hybrid Logics. In Proceedings of AiML-2000 Workshop, 1-14."},{"key":"350238_CR4","doi-asserted-by":"crossref","first-page":"463","DOI":"10.1613\/jair.516","volume":"9","author":"A. Artale","year":"1998","unstructured":"Artale, A. and E. Franconi (1998). A Temporal Description Logic for Reasoning about Actions and Plans. Journal of Artificial Intelligence Research\n9: 463\u2013506.","journal-title":"Journal of Artificial Intelligence Research"},{"issue":"13","key":"350238_CR5","first-page":"105","volume":"2","author":"A. Artale","year":"1999","unstructured":"Artale, A. and E. Franconi (1999). Representing a Robotic Domain using Temporal Description Logics. Journal of Artificial Intelligence for Engineering Design, Analysis and Manufacturing (AIEDAM)\n2(13): 105\u2013117.","journal-title":"Journal of Artificial Intelligence for Engineering Design, Analysis and Manufacturing (AIEDAM)"},{"key":"350238_CR6","doi-asserted-by":"crossref","unstructured":"Artale, A. and E. Franconi (1999). Temporal Entity-Relationship Modeling with Description Logics. In Proceedings of the 18th International Conference on Conceptual Modeling (ER'99), volume 1728 in Lecture Notes in Computer Science. Springer, 81\u201395.","DOI":"10.1007\/3-540-47866-3_6"},{"key":"350238_CR7","unstructured":"Artale, A. and E. Franconi (to appear). A Survey of Temporal Extensions of Description Logics. Annals of Mathematics and Artificial Intelligence (AMAI). Kluwer Academic Publishers."},{"key":"350238_CR8","unstructured":"Artale, A. and E. Franconi (forthcoming). Temporal Description Logics. In Handbook of Time and Temporal Reasoning in Artificial Intelligence."},{"issue":"3","key":"350238_CR9","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1093\/logcom\/2.3.247","volume":"2","author":"Y. Auffray","year":"1992","unstructured":"Auffray, Y. and P. Enjalbert (1992). Modal Theorem Proving: An Equational Viewpoint. Journal of Logic and Computation, 2(3): 247\u2013297.","journal-title":"Journal of Logic and Computation"},{"key":"350238_CR10","unstructured":"Bachmair, L. and H. Ganzinger (to appear). A Theory of Resolution. In J.A. Robinson and A. Voronkov (eds.), Handbook of Automated Reasoning. MIT Press."},{"key":"350238_CR11","unstructured":"Baker, P. G., A. Brass, S. Bechhofer, C. Goble, N. Paton and R. Stevens (1998). Tambis: Transparent Access to Multiple Bioinformatics Information Sources: An Overview. In Proceedings of the 6th International Conference on Intelligent Systems for Molecular Biology (ISMB'98)."},{"key":"350238_CR12","doi-asserted-by":"crossref","unstructured":"Beckert, B. and D. Gabbay (1998). Fibring Semantic Tableaux. In Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX'98), volume 1397 in Lecture Notes in Artificial Intelligence, Springer, 77\u201392.","DOI":"10.1007\/3-540-69778-0_15"},{"issue":"1","key":"350238_CR13","first-page":"23","volume":"4","author":"B. Bennett","year":"1996","unstructured":"Bennett, B. (1996). Modal logics for qualitative spatial reasoning. Bulletin of the Interest Group in Pure and Applied Logic (IGPL)\n4(1): 23\u201345. ftp:\/\/ftp.mpi-sb.mpg.de\/pub\/ igpl\/Journal\/V4-1\/index.html.","journal-title":"Bulletin of the Interest Group in Pure and Applied Logic (IGPL)"},{"key":"350238_CR14","unstructured":"Bennett, B. (1997). Logical Representations for Automated Reasoning about Spatial Relationships. PhD thesis, School of Computer Studies, The University of Leeds. Abstract and postscript at http:\/\/www.scs.leeds.ac.uk\/brandon\/thesis.html."},{"key":"350238_CR15","doi-asserted-by":"crossref","unstructured":"Blackburn, P., M. de Rijke and Y. Venema (2001). Modal Logic. Cambridge University Press (See http:\/\/www.mlbook.org.)","DOI":"10.1017\/CBO9781107050884"},{"key":"350238_CR16","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1080\/095281399146625","volume":"11","author":"A. Bolotov","year":"1999","unstructured":"Bolotov, A. and M. Fisher (1999). A Resolution Method for CTL Branching-Time Temporal Logic. Journal of Theoretical and Experimental Artificial Intelligence\n11: 77\u201393.","journal-title":"Journal of Theoretical and Experimental Artificial Intelligence"},{"key":"350238_CR17","doi-asserted-by":"crossref","unstructured":"Calvanese, D., G. De Giacomo and M. Lenzerini (1998). On the decidability of query containment under constraints. In Proceedings of the 17th ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems (PODS-98). ACM Press, 149-158.","DOI":"10.1145\/275487.275504"},{"key":"350238_CR18","unstructured":"Calvanese, D., G. De Giacomo, M. Lenzerini, D. Nardi and R. Rosati (1998). Description Logic Framework for Information Integration. In Proceedings of the 6th International Conference on the Principles of Knowledge Representation and Reasoning (KR-98). Morgan Kaufmann, 2-13."},{"key":"350238_CR19","doi-asserted-by":"crossref","unstructured":"Chellas, B. (1980). Modal Logic: An Introduction. Cambridge University Press.","DOI":"10.1017\/CBO9780511621192"},{"key":"350238_CR20","doi-asserted-by":"crossref","unstructured":"De Giacomo, G. and F. Massacci (1996). Tableaux and Algorithms for Propositional Dynamic Logic with Converse. In Proceedings of the 13th International Conference on Automated Deduction (CADE-13), volume 1104 in Lecture Notes in Artificial Intelligence, Springer, 613\u2013628.","DOI":"10.1007\/3-540-61511-3_117"},{"key":"350238_CR21","unstructured":"Dixon, C. and M. Fisher (2000). Clausal Resolution for Logics of Time and Knowledge with Synchrony and Perfect Recall. In Proceedings of ICTL 2000. Leipzig, Germany, October 2000."},{"issue":"3","key":"350238_CR22","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1093\/logcom\/8.3.345","volume":"8","author":"C. Dixon","year":"1998","unstructured":"Dixon, C., M. Fisher and M. Wooldridge (1998). Resolution for Temporal Logics of Knowledge. Journal of Logic and Computation\n8(3): 345\u2013372.","journal-title":"Journal of Logic and Computation"},{"key":"350238_CR23","doi-asserted-by":"crossref","unstructured":"Dixon, C. (1996). Search Strategies for Resolution in Temporal Logics. In Proceedings of the 13th International Conference on Automated Deduction (CADE-13), volume 1104 of Lecture Notes in Artificial Intelligence. Springer, 672\u2013687.","DOI":"10.1007\/3-540-61511-3_121"},{"key":"350238_CR24","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1023\/A:1018942108420","volume":"22","author":"C. Dixon","year":"1998","unstructured":"Dixon, C. (1998). Temporal Resolution using a Breadth-First Search Algorithm. Annals of Mathematics and Artificial Intelligence\n22: 87\u2013115.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"350238_CR25","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1080\/095281399146634","volume":"11","author":"C. Dixon","year":"1999","unstructured":"Dixon, C. (1999). Removing Irrelevant Information in Temporal Resolution Proofs. Journal of Experimental and Theoretical Artificial Intelligence\n11: 95\u2013121.","journal-title":"Journal of Experimental and Theoretical Artificial Intelligence"},{"key":"350238_CR26","unstructured":"Fari\u00f1as del Cerro, L. and A. Herzig (1988). Quantified modal logic and unification theory. Technical Report LSI 293, University Paul Sabatier."},{"key":"350238_CR27","unstructured":"Ferm\u00fcller, C., A. Leitsch, U. Hustadt and T. Tammet (to appear). Resolution decision procedures. In J. A. Robinson and A. Voronkov (eds.), Handbook of Automated Reasoning. MIT Press."},{"key":"350238_CR28","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1007\/BF00156915","volume":"1","author":"M. Finger","year":"1992","unstructured":"Finger, M. and D. M. Gabbay (1992). Adding a Temporal Dimension to a Logic System. Journal of Logic, Language, and Information\n1: 203\u2013234.","journal-title":"Journal of Logic, Language, and Information"},{"key":"350238_CR29","doi-asserted-by":"crossref","unstructured":"Fisher, M., C. Dixon and M. Peim (2001). Clausal Temporal Resolution. ACM Transactions on Computational Logic\n2(1).","DOI":"10.1145\/371282.371311"},{"key":"350238_CR30","unstructured":"Fisher, M. (1991). A Resolution Method for Temporal Logic. In Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI'91). Morgan Kaufman, 99-104."},{"issue":"4","key":"350238_CR31","doi-asserted-by":"crossref","first-page":"429","DOI":"10.1093\/logcom\/7.4.429","volume":"7","author":"M. Fisher","year":"1997","unstructured":"Fisher, M. (1997). A Normal Form for Temporal Logic and its Application in Theorem-Proving and Execution. Journal of Logic and Computation\n7(4): 429\u2013456.","journal-title":"Journal of Logic and Computation"},{"key":"350238_CR32","unstructured":"Fisher, M. (1997). Implementing BDI-like Systems by Direct Execution. In Proceedings of the 15th International joint Conference on Artificial Intelligence (IJCAI'97). Morgan Kaufmann, 316-321."},{"key":"350238_CR33","unstructured":"Fisher, M. and C. Ghidini (1999). Programming Resource-Bounded Deliberative Agents. In Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAI'99). Morgan Kaufmann, 200-205."},{"key":"350238_CR34","doi-asserted-by":"crossref","unstructured":"Fagin, R., J. Halpern, Y.Moses andM. Vardi (1996). Reasoning About Knowledge.MIT Press.","DOI":"10.7551\/mitpress\/5803.001.0001"},{"key":"350238_CR35","doi-asserted-by":"crossref","unstructured":"Gabbay, D. M. (1999). Fibring Logics, Oxford Logic Guides 38. Oxford University Press.","DOI":"10.1093\/oso\/9780198503811.001.0001"},{"key":"350238_CR36","unstructured":"Ganzinger, H., U. Hustadt, C. Meyer and R. A. Schmidt (to appear). A Resolution-Based Decision Procedure for Extensions Of K4. In Advances in Modal Logic 2. CSLI Publications."},{"key":"350238_CR37","doi-asserted-by":"crossref","unstructured":"Ganzinger, H., C. Meyer and M. Veanes (1999). The Two-Variable Guarded Fragment with Transitive Relations. In Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science (LICS'99). IEEE Computer Society Press, 24-34.","DOI":"10.1109\/LICS.1999.782582"},{"key":"350238_CR38","doi-asserted-by":"crossref","unstructured":"Halpern, J. Y. and M. Y. Vardi (1986). The Complexity of Reasoning about Knowledge and Time: Extended Abstract. In Proceedings of the 18th Annual ACM Symposium on Theory of Computing. ACM Press, 304-315.","DOI":"10.1145\/12130.12161"},{"key":"350238_CR39","doi-asserted-by":"crossref","unstructured":"Halpern, J. Y. and M. Y. Vardi (1988). Reasoning about Knowledge and Time in Asynchronous Systems. In Proceedings of the Twentieth Annual ACM Symposium on Theory of Computing. ACM Press, 53-65.","DOI":"10.1145\/62212.62218"},{"key":"350238_CR40","doi-asserted-by":"crossref","unstructured":"Halpern, J. Y. and M. Y. Vardi (1988). The Complexity of Reasoning about Knowledge and Time: Synchronous Systems. Technical Report RJ 6097, IBM Almaden Research Center.","DOI":"10.1145\/62212.62218"},{"key":"350238_CR41","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1016\/0022-0000(89)90039-1","volume":"38","author":"J. Y. Halpern","year":"1989","unstructured":"Halpern, J. Y. and M. Y. Vardi (1989). The Complexity of Reasoning about Knowledge and Time. I Lower Bounds. Journal of Computer and System Sciences\n38: 195\u2013237.","journal-title":"Journal of Computer and System Sciences"},{"key":"350238_CR42","unstructured":"Halpern, J. Y., R. van der Meyden and M. Vardi (submitted). Complete axiomatizations for reasoning about knowledge and time."},{"issue":"4","key":"350238_CR43","doi-asserted-by":"crossref","first-page":"935","DOI":"10.1145\/115234.115351","volume":"38","author":"J. Y. Halpern","year":"1991","unstructured":"Halpern, J. Y. and Y. Shoham (1991). A Propositional Modal Logic of Time Intervals. Journal of ACM\n38(4): 935\u2013962.","journal-title":"Journal of ACM"},{"key":"350238_CR44","doi-asserted-by":"crossref","unstructured":"Hemaspaandra, E. (1994). Complexity Transfer for Modal Logic. In Proceedings of the 9th Annual IEEE Symposium on Logic in Computer Science (LICS'94). IEEE Computer Society Press, 164-175.","DOI":"10.1109\/LICS.1994.316074"},{"key":"350238_CR45","doi-asserted-by":"crossref","unstructured":"Horrocks, I. (1998). The FaCT system. In Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX'98), volume 1397 in Lecture Notes in Artificial Intelligence. Springer, 307\u2013312.","DOI":"10.1007\/3-540-69778-0_30"},{"key":"350238_CR46","unstructured":"Horrocks, I. (1998). Using an Expressive Description Logic: Fact or Fiction? In Proceedings of the 6th International Conference on Principles of Knowledge Representation and Reasoning (KR'98). Morgan Kaufmann, 636-647."},{"key":"350238_CR47","first-page":"133","volume-title":"Proceedings of International Description Logics Workshop (DL'99)","author":"I. Horrocks","year":"1999","unstructured":"Horrocks, I. (1999). FaCT and iFaCT. In, P. Lambrix, A. Borgida, M. Lenzerini, R. M\u00f6ller and P. Patel-Schneider (eds.), Proceedings of International Description Logics Workshop (DL'99). Link\u00f6pings Universitet, Sweden, July 1999, 133\u2013135. (See http:\/\/sunsite.informatik.rwth-aachen.de\/Publications\/CEUR-WS\/Vol-22\/)"},{"issue":"3","key":"350238_CR48","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1093\/logcom\/9.3.385","volume":"9","author":"I. Horrocks","year":"1999","unstructured":"Horrocks, I. and U. Sattler (1999). A Description Logic with Transitive and Inverse Roles and Role Hierarchies. Journal of Logic and Computation\n9(3): 385\u2013410.","journal-title":"Journal of Logic and Computation"},{"key":"350238_CR49","doi-asserted-by":"crossref","unstructured":"Hustadt, U., C. Dixon, R. A. Schmidt and M. Fisher (2000). Normal Forms and Proofs in Combined Modal and Temporal Logics. In Proceedings of the Third International Workshop on Frontiers of Combining Systems (FroCoS'2000), volume 1794 in Lecture Notes in Artificial Intelligence. Springer, 73\u201387.","DOI":"10.1007\/10720084_6"},{"key":"350238_CR50","doi-asserted-by":"crossref","unstructured":"Hustadt, U. and R. A. Schmidt (2000). Issues of Decidability for Description Logics in the Framework of Resolution. In Automated Deduction in Classical and Non-Classical Logics: Selected Papers, volume 1761 in Lecture Notes in Artificial Intelligence. Springer.","DOI":"10.1007\/3-540-46508-1_13"},{"key":"350238_CR51","unstructured":"Hustadt, U. and R. A. Schmidt (2000). Using Resolution for Testing Modal Satisfiability and Building Models. To appear in the SAT 2000 Special Issue of Journal of Automated Reasoning."},{"key":"350238_CR52","volume-title":"Resolution-Based Decision Procedures for Subclasses of First-Order Logic","author":"U. Hustadt","year":"1999","unstructured":"Hustadt, U. (1999). Resolution-Based Decision Procedures for Subclasses of First-Order Logic. PhD thesis, Universit\u00e4t des Saarlandes, Saarbr\u00fccken, Germany."},{"key":"350238_CR53","doi-asserted-by":"crossref","unstructured":"Hustadt, U. and R. A. Schmidt (1999). Maslov's Class K Revisited. In Proceedings of the 16th International Conference on Automated Deduction (CADE-16), volume 1632 in Lecture Notes in Artificial Intelligence. Springer, 172\u2013186.","DOI":"10.1007\/3-540-48660-7_12"},{"key":"350238_CR54","unstructured":"Hustadt, U. and R. A. Schmidt (1999). On the Relation of Resolution and Tableaux Proof Systems for Description Logics. In Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAI'99). Morgan Kaufmann, 110-115."},{"key":"350238_CR55","unstructured":"Kurtonina, N. and M. de Rijke (in preparation). Hybrid Logics and Linguistic Inference."},{"issue":"1","key":"350238_CR56","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1093\/logcom\/5.1.93","volume":"5","author":"M. Kracht","year":"1995","unstructured":"Kracht, M. (1995). Highway to the Danger Zone. Journal of Logic and Computation\n5(1): 93\u2013109.","journal-title":"Journal of Logic and Computation"},{"key":"350238_CR57","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1023\/A:1004900300438","volume":"59","author":"M. Kracht","year":"1997","unstructured":"Kracht, M. and F. Wolter (1997). Simulation and Transfer Results in Modal Logic. Studia Logica\n59: 149\u2013177.","journal-title":"Studia Logica"},{"key":"350238_CR58","doi-asserted-by":"crossref","unstructured":"van Linder, B., W. van der Hoek and J. J. Ch. Meyer (1996). Formalising Motivational Attitudes of Agents: On Preferences, Goals and Commitments. In Intelligent Agents II, volume 1037 in Lecture Notes in Artificial Intelligence. Springer, 17\u201332.","DOI":"10.1007\/3540608052_56"},{"key":"350238_CR59","doi-asserted-by":"crossref","unstructured":"Mints, G. (1990). Gentzen-Type Systems and Resolution Rules, Part I: Propositional Logic. In Proceedings of the International Conference on Computer Logic, volume 417 in Lecture Notes in Computer Science. Springer, 198\u2013231.","DOI":"10.1007\/3-540-52335-9_55"},{"key":"350238_CR60","unstructured":"Moore, R. C. (1990). A Formal Theory of Knowledge and Action. In Readings in Planning. Morgan-Kaufmann."},{"key":"350238_CR61","volume-title":"A Resolution-Based Calculus For Temporal Logics","author":"A. Nonnengart","year":"1995","unstructured":"Nonnengart, A. (1995). A Resolution-Based Calculus For Temporal Logics. PhD thesis, Universit\u00e4t des Saarlandes, Saarbr\u00fccken, Germany."},{"issue":"5","key":"350238_CR62","doi-asserted-by":"crossref","first-page":"691","DOI":"10.1093\/logcom\/1.5.691","volume":"1","author":"H. J. Ohlbach","year":"1991","unstructured":"Ohlbach, H. J. (1991). Semantics-Based Translation Methods for Modal Logics. Journal of Logic and Computation\n1(5): 691\u2013746.","journal-title":"Journal of Logic and Computation"},{"key":"350238_CR63","unstructured":"Ohlbach, H. J., A. Nonnengart, M. de Rijke and D. M. Gabbay (to appear). Encoding two-valued non-classical logics in classical logic. In J. A. Robinson and A. Voronkov (eds.), Handbook of Automated Reasoning. MIT Press."},{"issue":"5","key":"350238_CR64","doi-asserted-by":"crossref","first-page":"581","DOI":"10.1093\/logcom\/7.5.581","volume":"7","author":"H. J. Ohlbach","year":"1997","unstructured":"Ohlbach, H. J. and R. A. Schmidt (1997). Functional Translation and Second-Order Frame Properties of Modal Logics. Journal of Logic and Computation\n7(5): 581\u2013603.","journal-title":"Journal of Logic and Computation"},{"key":"350238_CR65","unstructured":"Patel-Schneider, P. F. (1998). DLP system Description. In Collected Papers from the International Description Logics Workshop (DL'98). CEUR, 87-89."},{"key":"350238_CR66","unstructured":"Rao, A. S. and M. P. Georgeff (1991). Modeling Agents within a BDI-Architecture. In Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning. Morgan Kaufmann, 473-484."},{"key":"350238_CR67","doi-asserted-by":"crossref","unstructured":"Rao, A. S. (1996). Decision Procedures for Propositional Linear-Time Belief-Desire-Intention Logics. In Intelligent Agents II, volume 1037 in Lecture Notes in Artificial Intelligence. Springer, 33\u201348.","DOI":"10.1007\/3540608052_57"},{"key":"350238_CR68","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1016\/S0933-3657(96)00369-7","volume":"9","author":"A. Rector","year":"1997","unstructured":"Rector, A., S. Bechhofer, C. A. Goble, I. Horrocks, W. A. Nowlan and W. D. Solomon (1997). The GRAIL Concept Modelling Language forMedical Terminology. Artificial Intelligence in Medicine\n9: 139\u2013171.","journal-title":"Artificial Intelligence in Medicine"},{"key":"350238_CR69","unstructured":"Renz, J. and B. Nebel (1997). On the Complexity of Qualitative Spatial Reasoning: AMaximal Tractable Fragment of the Region Connection Calculus. In Proceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI'97). Morgan Kaufmann, 522-527."},{"key":"350238_CR70","doi-asserted-by":"crossref","unstructured":"Sattler, U. (1996). A Concept Language Extended with Different Kinds of Transitive Roles. In 20. Deutsche Jahrestagung f\u00fcr K\u00fcnstliche Intelligenz, volume 1137 in Lecture Notes in Artificial Intelligence. Springer, 333\u2013345.","DOI":"10.1007\/3-540-61708-6_74"},{"key":"350238_CR71","unstructured":"Schild, K. (1991). A Correspondence Theory for Terminological Logics. In Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI'91). Morgan Kaufmann, 466-471."},{"key":"350238_CR72","volume-title":"Optimised Modal Translation and Resolution","author":"R. A. Schmidt","year":"1997","unstructured":"Schmidt, R. A. (1997). Optimised Modal Translation and Resolution. PhD thesis, Universit\u00e4t des Saarlandes, Saarbr\u00fccken, Germany."},{"issue":"4","key":"350238_CR73","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1023\/A:1006043519663","volume":"22","author":"R. A. Schmidt","year":"1999","unstructured":"Schmidt, R. A. (1999). Decidability by Resolution for Propositional Modal Logics. Journal of Automated Reasoning\n22(4): 379\u2013396.","journal-title":"Journal of Automated Reasoning"},{"key":"350238_CR74","doi-asserted-by":"crossref","unstructured":"Schild, K. D. (1993). Combining Terminological Logics with Tense Logic. In Proceedings of the 6th Portuguese Conference on Artificial Intelligence (EPIA'93). Springer, 105-120.","DOI":"10.1007\/3-540-57287-2_41"},{"key":"350238_CR75","volume-title":"Modal Correspondence Theory","author":"J. van Benthem","year":"1976","unstructured":"van Benthem, J. (1976). Modal Correspondence Theory. PhD Thesis, Mathematisch Instituut & Instituut voor Grondslagenonderzoek, University of Amsterdam, The Netherlands."},{"key":"350238_CR76","series-title":"Technical Report UU-CS-1997-06","volume-title":"An Integrated Modal Approach to Rational Agents","author":"W. van der Hoek","year":"1997","unstructured":"van der Hoek, W., B. van Linder and J.J. Ch. Meyer (1997). An Integrated Modal Approach to Rational Agents. Technical Report UU-CS-1997-06, Department of Computer Science, Utrecht University, The Netherlands."},{"key":"350238_CR77","doi-asserted-by":"crossref","unstructured":"Wolter, F. and M. Zakharyaschev. Modal Description Logic: Modalizing Roless. Fundamenta Informaticae\n39: 411-438.","DOI":"10.3233\/FI-1999-39405"},{"key":"350238_CR78","unstructured":"Wolter, F. and M. Zakharyaschev (2000). Temporalizing Description Logics. In Proceedings of the Second International Workshop on Frontiers of Combining Systems (FroCoS'98). Research Studies Press, 391-401."},{"key":"350238_CR79","unstructured":"Wolter, F., M. Zakharyaschev and M. Mosurovic (2001). Temporal Description Logics: a Point-based Approach. In Italian Association for Artificial Intelligence \"AI*IA\" Notizie\" journal."},{"issue":"3","key":"350238_CR80","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1080\/11663081.1998.10510944","volume":"8","author":"M. Wooldridge","year":"1998","unstructured":"Wooldridge, M., C. Dixon, and M. Fisher (1998). A Tableau-Based Proof Method for Temporal Logics of Knowledge and Belief. Journal of Applied Non-Classical Logics\n8(3): 225\u2013258.","journal-title":"Journal of Applied Non-Classical Logics"},{"issue":"2","key":"350238_CR81","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1017\/S0269888900008122","volume":"10","author":"M. Wooldridge","year":"1995","unstructured":"Wooldridge, M. and N. R. Jennings (1995). Intelligent Agents: Theory and Practice. The Knowledge Engineering Review\n10(2): 115\u2013152.","journal-title":"The Knowledge Engineering Review"}],"container-title":["Artificial Intelligence Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1015057926707.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1015057926707\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1015057926707.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T04:44:32Z","timestamp":1747543472000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1015057926707"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,3]]},"references-count":81,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2002,3]]}},"alternative-id":["350238"],"URL":"https:\/\/doi.org\/10.1023\/a:1015057926707","relation":{},"ISSN":["0269-2821","1573-7462"],"issn-type":[{"type":"print","value":"0269-2821"},{"type":"electronic","value":"1573-7462"}],"subject":[],"published":{"date-parts":[[2002,3]]}}}