{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,10]],"date-time":"2025-01-10T12:10:06Z","timestamp":1736511006109,"version":"3.32.0"},"publisher-location":"Berlin\/Heidelberg","reference-count":48,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540314067"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/3-540-32062-8_22","type":"book-chapter","created":{"date-parts":[[2006,8,9]],"date-time":"2006-08-09T17:54:18Z","timestamp":1155146058000},"page":"431-464","source":"Crossref","is-referenced-by-count":0,"title":["Semantics for Agents"],"prefix":"10.1007","author":[{"given":"Thorsten","family":"Scholz","sequence":"first","affiliation":[]},{"given":"Ingo J.","family":"Timm","sequence":"additional","affiliation":[]},{"given":"Otthein","family":"Herzog","sequence":"additional","affiliation":[]},{"given":"G\u00fcnter","family":"G\u00f6rz","sequence":"additional","affiliation":[]},{"given":"Bernhard","family":"Schiemann","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"22_CR1","volume-title":"A Semantic Web Primer","author":"G. Antoniou","year":"2004","unstructured":"Antoniou, G.; van Harmelen, F.: A Semantic Web Primer. The MIT Press, Cambridge, MA, 2004."},{"key":"22_CR2","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"228","DOI":"10.1007\/978-3-540-32254-2_14","volume-title":"Mechanizing Mathematical Reasoning: Essays in Honor of J\u00f6rg H. Siekmann on the Occasion of his 60th Birthday","author":"F. Baader","year":"2005","unstructured":"Baader, F.; Horrocks, I.; Sattler, U.: Description Logics as Ontology Languages for the Semantic Web. In: Hutter, D.; Stephan, W. (Eds.): Mechanizing Mathematical Reasoning: Essays in Honor of J\u00f6rg H. Siekmann on the Occasion of his 60th Birthday. Lecture Notes in Artificial Intelligence, vol. 2605. Springer-Verlag, Berlin, 2005, pp. 228\u2013248."},{"unstructured":"Baader, F.; Calvanese, D.; McGuiness, D.; Nardi, D.; Patel-Schneider, P. (Eds.): The Description Logic Handbook. Theory, Implementations and Applications. Cambridge University Press, Cambridge, 2003.","key":"22_CR3"},{"unstructured":"Bechhofer, S.; van Harmelen, F.; Hendler, J.; Horrocks, I.; Mc-Guinness, D. L.; Patel-Schneider, P.F. Lynn Andrea Stein [...]: OWL Web Ontology Language Reference. W3C Recommendation, 2004-02-10. http:\/\/www.w3.org\/TR\/2004\/REC-owl-ref-20040210\/.","key":"22_CR4"},{"unstructured":"Bockting, S.: A Semantic Translation Service using Ontologies. 2005.","key":"22_CR5"},{"key":"22_CR6","volume-title":"Intentions, Plans and Practical Reasoning","author":"M. E. Bratman","year":"1987","unstructured":"Bratman, M. E.: Intentions, Plans and Practical Reasoning. Harvard University Press, Cambridge, Massachusetts, 1987."},{"key":"22_CR7","volume-title":"CSLI Lecture Notes","author":"G. Brewka","year":"1997","unstructured":"Brewka, G.; Dix, J.; Konolige, K.: Nonmonotonic Reasoning. An Overview. In: CSLI Lecture Notes, vol. 73. CSLI Publications, Stanford, CA, 1997."},{"unstructured":"Castelfranchi, C.; Johnson, W. L. (Eds.): Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems (AAMAS 2002) \u2014 Part 1. Bologna, Italy, July 15\u201319, 2002.","key":"22_CR8"},{"unstructured":"Chalupsky, H: OntoMorph: A Translation System for Symbolic Knowledge. In: Principles of Knowledge Representation and Reasoning. 2000, pp. 471\u2013482","key":"22_CR9"},{"key":"22_CR10","first-page":"541","volume-title":"Proceedings of the 15th European Conference on Artificial Intelligence (ECAI2002)","author":"S. Chopera","year":"2002","unstructured":"Chopera, S.; Ghose, A.; Meyer, T.: Iterated Revision and the Axiom of Recovery: A Unified Treatment via Epistemic States. In: Harmelen, F. van (Ed.): Proceedings of the 15th European Conference on Artificial Intelligence (ECAI2002). Lyon, France, July 2002. IOS Press, Amsterdam, the Netherlands, 2002, pp. 541\u2013545."},{"key":"22_CR11","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/S0364-0213(79)80006-3","volume":"3","author":"P. R. Cohen","year":"1979","unstructured":"Cohen, P. R.; Perrault, C. R.: Elements of a plan based theory of speech acts. In: Cognitive Science 3(1979), pp. 177\u2013212.","journal-title":"Cognitive Science"},{"issue":"1","key":"22_CR12","first-page":"19","volume":"1","author":"P. E. Dunne","year":"2003","unstructured":"Dunne, P. E.; Laurence, M.; Wooldridge, M.: Complexity Results for Agent Design Problems. In: Annals of Mathematics, Computing & Teleinformatics 1(2003)1, pp. 19\u201336.","journal-title":"Annals of Mathematics, Computing & Teleinformatics"},{"unstructured":"FIPA 97 Part 2 Version 2.0: Agent Communication Language. Document Nr. OC00003A, 2001. http:\/\/www.fipa.org\/specs\/fipa00003\/.","key":"22_CR13"},{"doi-asserted-by":"crossref","unstructured":"Fisher, M.; Ghidini, C.: The ABC of Rational Agent Modelling. In: Castelfranchi, C.; Johnson, W. L. (Eds.): Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems (AAMAS 2002) \u2014 Part 1. Bologna, Italy, July 15\u201319, 2002, pp. 849\u2013856.","key":"22_CR14","DOI":"10.1145\/544862.544943"},{"key":"22_CR15","doi-asserted-by":"crossref","first-page":"166","DOI":"10.1007\/3-540-45810-7_18","volume-title":"Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web","author":"A. Gangemi","year":"2002","unstructured":"Gangemi, A. et al: Sweetening Ontologies with DOLCE. In: Knowledge Engineering and Knowledge Management. Ontologies and the Semantic Web. 13th International Conference, EKAW 2002, Siguenza, Spain, October 1\u20134, 2002. Springer-Verlag, Berlin, 2002, pp. 166\u2013181."},{"key":"22_CR16","volume-title":"Logical Foundations of Artificial Intelligence","author":"M. R. Genesereth","year":"1987","unstructured":"Genesereth, M. R.; Nilsson, N.: Logical Foundations of Artificial Intelligence. Morgan Kaufmann Publishers, San Mateo, CA, 1987."},{"key":"22_CR17","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1007\/978-3-540-24750-0_8","volume-title":"Handbook on Ontologies","author":"N. Guarino","year":"2004","unstructured":"Guarino, N.; Welty, C.: An Overview of OntoClean. In: Staab, S.; Studer, R. (Eds.): Handbook on Ontologies. Springer-Verlag, Berlin, 2004, pp. 151\u2013159."},{"key":"22_CR18","series-title":"Lecture Notes in Computer Science","volume-title":"Proceedings of the International Joint Conference on Automated Reasoning, IJCAR\u20322001","author":"V. Haarslev","year":"2001","unstructured":"Haarslev, V.; M\u00f6ller, R: RACER system description. In: Proceedings of the International Joint Conference on Automated Reasoning, IJCAR\u20322001, Siena, Italy, Lecture Notes in Computer Science, June 18\u201323, 2001. Springer-Verlag, Berlin, 2001."},{"volume-title":"Proceedings of the 15th European Conference on Artificial Intelligence (ECAI2002)","year":"2002","unstructured":"Harmelen, F. van (Ed.): Proceedings of the 15th European Conference on Artificial Intelligence (ECAI2002). Lyon, France, July 2002. IOS Press, Amsterdam, the Netherlands, 2002.","key":"22_CR19"},{"key":"22_CR20","first-page":"448","volume-title":"Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence IJCAI-05","author":"I. Horrocks","year":"2005","unstructured":"Horrocks, I.; Sattler, U.: A Tableaux Decision Procedure for SHOIQ. In: Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence IJCAI-05, Edinburgh, UK. Morgan Kaufmann, San Francisco, 2005, pp. 448\u2013453."},{"issue":"1\u20132","key":"22_CR21","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/B:AGNT.0000019688.11109.19","volume":"9","author":"M. d\u2019Inverno","year":"2004","unstructured":"d\u2019Inverno, M.; Luck, M.; Georgeff, M.; Kinny, D.; Wooldridge, M.: The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System. Autonomous Agents and Multi-Agent Systems 9(2004)1\u20132, pp. 5\u201353.","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"issue":"1","key":"22_CR22","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/BF03251465","volume":"44","author":"S. Kirn","year":"2002","unstructured":"Kirn, S.: Kooperierende intelligente Softwareagenten. In: Wirtschaftsinformatik 44(2002)1, pp. 53\u201363.","journal-title":"Wirtschaftsinformatik"},{"key":"22_CR23","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-60211-5","volume-title":"Logical Foundations for Cognitive Agents","author":"H. J. Levesque","year":"1999","unstructured":"Levesque, H. J.; Pirri, F.: Logical Foundations for Cognitive Agents. Springer, Berlin, 1999."},{"key":"22_CR24","volume-title":"Dialogische Logik","author":"P. Lorenzen","year":"1978","unstructured":"Lorenzen, P.; Lorenz, K.: Dialogische Logik. Wissenschaftliche Buchgesellschaft, Wiesbaden, 1978."},{"key":"22_CR25","first-page":"553","volume-title":"Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence (AAAI\/IAAI)","author":"R. Mateescu","year":"2002","unstructured":"Mateescu, R.; Dechter, R.; Kask, K.: Tree Approximation for Belief Updating. In: Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence (AAAI\/IAAI), Edmonton, Alberta, Canada, July 28\u2013August 1, 2002. AAAI Press, Menlo Park, CA, 2002, pp. 553\u2013559."},{"key":"22_CR26","first-page":"242","volume":"44","author":"J.-J. C. Meyer","year":"1991","unstructured":"Meyer, J.-J. C.; Hoek, W. van d.; Vreeswijk, G. A. W.: Epistemic Logic for Computer Science: A Tutorial (Part One). In: Bulletin of the European Association for Theoretical Computer Science 44(1991), pp. 242\u2013270.","journal-title":"Bulletin of the European Association for Theoretical Computer Science"},{"unstructured":"Nide, N.; Takata, S.: Deduction Systems for BDI Logics Using Sequent Calculus. In: Castelfranchi, C.; Johnson, W. L. (Eds.): Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems (AAMAS 2002) \u2014 Part 1. Bologna, Italy, July 15\u201319, 2002, pp. 928\u2013935.","key":"22_CR27"},{"unstructured":"Noy, N F.; Musen, M. A.: Anchor-PROMPT: Using Non-Local Context for Semantic Matching. 2000.","key":"22_CR28"},{"key":"22_CR29","volume-title":"Temporal Logic. From ancient Ideas to Artificial Intelligence","author":"P. Oehrstroem","year":"1995","unstructured":"Oehrstroem, P.; Hasle, P.: Temporal Logic. From ancient Ideas to Artificial Intelligence. Kluwer Academic Publishers, Dordrecht, 1995."},{"key":"22_CR30","first-page":"473","volume-title":"Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning (KR & R-91)","author":"A. S. Rao","year":"1991","unstructured":"Rao, A. S.; Georgeff, M. P.: Modelling Rational Agents in a BDI-Achitecture. In: Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning (KR & R-91). Morgan Kaufmann Publishers, San Mateo, CA, 1991, pp. 473\u2013484."},{"key":"22_CR31","first-page":"312","volume-title":"Proceedings of the First International Conference on Multiagent Systems","author":"A. S. Rao","year":"1995","unstructured":"Rao, A. S.; Georgeff, M. P.: BDI-Agents: From Theory to Practice. In: Proceedings of the First International Conference on Multiagent Systems. AAAI Press, San Francisco, CA, 1995, pp. 312\u2013319."},{"issue":"3","key":"22_CR32","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1093\/logcom\/8.3.293","volume":"8","author":"A. Rao","year":"1998","unstructured":"Rao, A.; Georgeff, M.: Decision procedures for BDI logics. In: Journal of Logic and Computation 8(1998)3, pp. 293\u2013342.","journal-title":"Journal of Logic and Computation"},{"key":"22_CR33","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/4074.001.0001","volume-title":"Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems","author":"R. Reiter","year":"2001","unstructured":"Reiter, R.: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. The MIT Press, Cambridge, MA, 2001."},{"issue":"1\u20132","key":"22_CR34","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0004-3702(94)00007-N","volume":"73","author":"Y. Shoham","year":"1995","unstructured":"Shoham, Y.; Tennenholtz, M.: On Social Laws for Artificial Agent Societies: Off-Line Design. In: Artificial Intelligence 73(1995)1\u20132, pp. 231\u2013252.","journal-title":"Artificial Intelligence"},{"key":"22_CR35","volume-title":"Multiagent Systems \u2014 A Modern Approach to Distributed Artificial Intelligence","author":"M. P. Singh","year":"1999","unstructured":"Singh, M. P.; Rao, A. S.; Georgeff, M. P.: Formal Methods in DAI: Logic-Based Representation and Reasoning. In: Weiss, G. (Ed.): Multiagent Systems \u2014 A Modern Approach to Distributed Artificial Intelligence. MIT Press, Cambridge, Massachusetts, 1999."},{"unstructured":"Stuckenschmidt, H.; Timm, I. J.: Adapting Communication Vocabularies Using Shared Ontologies. In: Cranefield, S. (Ed.): Proceedings of the Second International Workshop on Ontologies in Agent Systems. Workshop at 1st International Conference on Autonomous Agents and Multi-Agent Systems. Bologna, Italy, July 15\u201319, 2002, pp. 6\u201312.","key":"22_CR36"},{"key":"22_CR37","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1007\/978-3-540-24750-0_17","volume-title":"Handbook on Ontologies","author":"K. Sycara","year":"2004","unstructured":"Sycara, K.; Paolucci, M.: Ontologies in Agent Architectures. In: Staab, S.; Studer, R. (Eds.): Handbook on Ontologies. Springer-Verlag, Berlin, 2004, pp. 343\u2013363."},{"unstructured":"Timm, I. J.: Enterprise Agents Solving Problems: The cobac-Approach. In: Bauknecht, K.; Brauer, W.; Mueck, Th. (Eds.): Informatik 2001-Tagungsband der GI\/OCG Jahrestagung, September 25\u201328, 2001. Universit\u00e4t Wien, 2001, pp. 952\u2013958.","key":"22_CR38"},{"key":"22_CR39","volume-title":"Dynamisches Konfliktmanagement als Verhaltenssteuerung Intelligenter Agenten","author":"I. J. Timm","year":"2004","unstructured":"Timm, I. J.: Dynamisches Konfliktmanagement als Verhaltenssteuerung Intelligenter Agenten. DISKI 283, infix, K\u00f6ln, 2004."},{"key":"22_CR40","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1093\/jigpal\/11.2.133","volume":"11","author":"W. Hoek van der","year":"2003","unstructured":"van der Hoek, W.; Wooldridge, M.: Towards a Logic of Rational Agency. In: International Logic Journal of the IGPL 11(2003)2, pp. 133\u2013157.","journal-title":"International Logic Journal of the IGPL"},{"volume-title":"Multiagent Systems \u2014 A Modern Approach to Distributed Artificial Intelligence","year":"1999","unstructured":"Weiss, G. (Ed.): Multiagent Systems \u2014 A Modern Approach to Distributed Artificial Intelligence. MIT Press, Cambridge, Massachusetts, 1999.","key":"22_CR41"},{"key":"22_CR42","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5804.001.0001","volume-title":"Reasoning about Rational Agents","author":"M. J. Wooldridge","year":"2000","unstructured":"Wooldridge, M. J.: Reasoning about Rational Agents. The MIT Press, Cambridge, Massachusetts, 2000."},{"doi-asserted-by":"crossref","unstructured":"Wooldridge, M.: Computationally Grounded Theories of Agency. In: Durfee, E. (Ed.): Proceedings of the Fourth International Conference on Multi-Agent Systems (ICMAS 2000). IEEE Press, July 2000.","key":"22_CR43","DOI":"10.1109\/ICMAS.2000.858426"},{"key":"22_CR44","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1017\/S0269888900008122","volume":"10","author":"M. Wooldridge","year":"1995","unstructured":"Wooldridge, M.; Jennings, N. R.: Intelligent Agents: Theory and Practice. In: The Knowledge Engineering Review 10(1995)2, pp. 115\u2013152.","journal-title":"The Knowledge Engineering Review"},{"doi-asserted-by":"crossref","unstructured":"Wooldridge, M.; Lomuscio, A.: A Logic of Visibility, Perception, and Knowledge: Completeness and Correspondence Results. In: Proceedings of the Third International Conference on Pure and Applied Practical Reasoning (FAPR-2000). London, UK, September 2000.","key":"22_CR45","DOI":"10.1007\/10719619_1"},{"key":"22_CR46","volume-title":"Proceedings of the Seventh European Workshop on Logics in Artificial Intelligence (JELIAI-2000)","author":"M. Wooldridge","year":"2000","unstructured":"Wooldridge, M.; Lomuscio, A.: Multi-Agent VSK Logic. In: Proceedings of the Seventh European Workshop on Logics in Artificial Intelligence (JELIAI-2000). Springer-Verlag, Berlin, 2000."},{"doi-asserted-by":"crossref","unstructured":"Wooldridge, M.; Lomuscio, A.: Reasoning about Visibility, Perception, and Knowledge. In: Jennings, N. R.; Lesperance, Y. (Eds.): Intelligent Agents. VI Springer-Verlag Lecture Notes in AI Volume, March 2000.","key":"22_CR47","DOI":"10.1007\/10719619_1"},{"key":"22_CR48","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1093\/jigpal\/9.2.273","volume":"9","author":"M. Wooldridge","year":"2001","unstructured":"Wooldridge, M.; Lomuscio, A: A Computationally Grounded Logic of Visibility, Perception, and Knowledge. In: Logic Journal of the IGPL 9(2001)2, pp. 273\u2013288.","journal-title":"Logic Journal of the IGPL"}],"container-title":["International Handbooks on Information Systems","Multiagent Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-32062-8_22.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,10]],"date-time":"2025-01-10T11:28:47Z","timestamp":1736508527000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-32062-8_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540314067"],"references-count":48,"URL":"https:\/\/doi.org\/10.1007\/3-540-32062-8_22","relation":{},"subject":[]}}