{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:45:38Z","timestamp":1725543938496},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540339960"},{"type":"electronic","value":"9783540339977"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11750734_16","type":"book-chapter","created":{"date-parts":[[2006,4,11]],"date-time":"2006-04-11T07:09:15Z","timestamp":1144739355000},"page":"284-302","source":"Crossref","is-referenced-by-count":7,"title":["Contextual Terminologies"],"prefix":"10.1007","author":[{"given":"Davide","family":"Grossi","sequence":"first","affiliation":[]},{"given":"Frank","family":"Dignum","sequence":"additional","affiliation":[]},{"given":"John-Jules Ch.","family":"Meyer","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"3","key":"16_CR1","first-page":"55","volume":"17","author":"V. Akman","year":"1996","unstructured":"Akman, V., Surav, M.: Steps toward formalizing context. AI Magazine\u00a017(3), 55\u201372 (1996)","journal-title":"AI Magazine"},{"key":"16_CR2","volume-title":"Normative Systems","author":"C.E. Alchourr\u00f3n","year":"1986","unstructured":"Alchourr\u00f3n, C.E., Bulygin, E.: Normative Systems. Springer, Wien (1986)"},{"key":"16_CR3","volume-title":"The Description Logic Handbook","author":"F. Baader","year":"2002","unstructured":"Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F.: The Description Logic Handbook. Cambridge University Press, Cambridge (2002)"},{"issue":"3","key":"16_CR4","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1080\/09528130050111446","volume":"12","author":"M. Benerecetti","year":"2000","unstructured":"Benerecetti, M., Bouquet, P., Ghidini, C.: Contextual reasoning distilled. Journal of Experimental and Theoretical Artificial Intelligence (JETAI)\u00a012(3), 279\u2013305 (2000)","journal-title":"Journal of Experimental and Theoretical Artificial Intelligence (JETAI)"},{"key":"16_CR5","first-page":"316","volume-title":"KR 1996: Principles of Knowledge Representation and Reasoning","author":"G. Giacomo De","year":"1996","unstructured":"De Giacomo, G., Lenzerini, M.: TBox and ABox reasoning in expressive description logics. In: Carlucci Aiello, L., Doyle, J., Shapiro, S. (eds.) KR 1996: Principles of Knowledge Representation and Reasoning, pp. 316\u2013327. Morgan Kaufmann, San Francisco (1996)"},{"key":"16_CR6","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/3-540-44682-6_6","volume-title":"Agent Mediated Electronic Commerce, The European AgentLink Perspective","author":"F. Dignum","year":"2001","unstructured":"Dignum, F.: Agents, markets, institutions, and protocols. In: Agent Mediated Electronic Commerce, The European AgentLink Perspective, pp. 98\u2013114. Springer, Heidelberg (2001)"},{"key":"16_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1007\/b94813","volume-title":"Regulated Agent-Based Social Systems","author":"F. Dignum","year":"2004","unstructured":"Dignum, F.: Abstract norms and electronic institutions. In: Lindemann, G., Moldt, D., Paolucci, M. (eds.) RASTA 2002. LNCS, vol.\u00a02934, pp. 93\u2013104. Springer, Heidelberg (2004)"},{"issue":"2","key":"16_CR8","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1016\/S0004-3702(01)00064-9","volume":"127","author":"C. Ghidini","year":"2001","unstructured":"Ghidini, C., Giunchiglia, F.: Local models semantics, or contextual reasoning = locality + compatibility. Artificial Intelligence\u00a0127(2), 221\u2013259 (2001)","journal-title":"Artificial Intelligence"},{"key":"16_CR9","unstructured":"Ghidini, C., Giunchiglia, F.: A semantics for abstraction. In: L\u00b4opez de M\u00b4antaras, R., Saitta, L. (eds.) Proceedings of ECAI 2004, including PAIS 2004, pp. 343\u2013347 (2004)"},{"key":"16_CR10","unstructured":"Grossi, D., Aldewereld, H., V\u00b4azquez-Salceda, J., Dignum, F.: Ontological aspects of the implementation of norms in agent-based electronic institutions. In: Proceedings of NorMAS 2005, Symposium on normative multi-agent systems, Hatfield, England, pp. 104\u2013116. AISB (April 2005)"},{"key":"16_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1007\/978-3-540-30960-4_2","volume-title":"Formal Approaches to Agent-Based Systems","author":"D. Grossi","year":"2004","unstructured":"Grossi, D., Dignum, F.: From abstract to concrete norms in agent institutions. In: Hinchey, M.G., Rash, J.L., Truszkowski, W.F., Rouff, C.A. (eds.) FAABS 2004. LNCS, vol.\u00a03228, pp. 12\u201329. Springer, Heidelberg (2004)"},{"key":"16_CR12","unstructured":"Grossi, D., Dignum, F., Meyer, J.-J.C.: Context in categorization. In: Proceedings of CRR 2005, International Workshop on Context Representation and Reasoning, Paris. CEUR Workshop Proceedings, vol.\u00a0136 (July 2005)"},{"key":"16_CR13","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/11533092_3","volume-title":"Computational Logic in Multi-Agent Systems","author":"D. Grossi","year":"2005","unstructured":"Grossi, D., Dignum, F., Meyer, J.-J.C.: Contextual taxonomies. In: Leite, J., Torroni, P. (eds.) CLIMA 2004. LNCS (LNAI), vol.\u00a03487, pp. 33\u201351. Springer, Heidelberg (2005)"},{"key":"16_CR14","first-page":"1","volume-title":"Proceedings of the Tenth International Conference on Artificial Intelligence and Law (ICAIL 2005)","author":"D. Grossi","year":"2005","unstructured":"Grossi, D., Meyer, J.-J.C., Dignum, F.: Modal logic investigations in the semantics of counts-as. In: Proceedings of the Tenth International Conference on Artificial Intelligence and Law (ICAIL 2005), pp. 1\u20139. ACM, New York (2005)"},{"key":"16_CR15","unstructured":"Jones, A.J.I., Sergot, M.: On the characterization of law and computer systems. Deontic Logic in Computer Science, 275\u2013307 (1993)"},{"key":"16_CR16","doi-asserted-by":"publisher","first-page":"891","DOI":"10.2307\/2372123","volume":"73","author":"B. J\u00f3nsson","year":"1951","unstructured":"J\u00f3nsson, B., Tarski, A.: Boolean algebras with operators: Part I. American Journal of Mathematics\u00a073, 891\u2013939 (1951)","journal-title":"American Journal of Mathematics"},{"key":"16_CR17","first-page":"555","volume-title":"Proceedings of the Fifth National Conference on Artificial Intelligence","author":"J. McCarthy","year":"1986","unstructured":"McCarthy, J.: Notes on formalizing contexts. In: Kehler, T., Rosenschein, S. (eds.) Proceedings of the Fifth National Conference on Artificial Intelligence, Los Altos, California, pp. 555\u2013560. Morgan Kaufmann, San Francisco (1986)"},{"key":"16_CR18","unstructured":"Schild, K.: A correspondence theory for terminological logics: preliminary report. In: Proceedings of IJCAI 1991, 12th International Joint Conference on Artificial Intelligence, Sidney, AU, pp. 466\u2013471 (1991)"},{"key":"16_CR19","volume-title":"The Construction of Social Reality","author":"J. Searle","year":"1995","unstructured":"Searle, J.: The Construction of Social Reality. Free Press, New York (1995)"},{"key":"16_CR20","first-page":"393","volume-title":"Varieties of context","author":"Y. Shoham","year":"1991","unstructured":"Shoham, Y.: Varieties of context, pp. 393\u2013407. Academic Press Professional, Inc., London (1991)"},{"key":"16_CR21","doi-asserted-by":"crossref","unstructured":"V\u00e1zquez-Salceda, J.: The role of Norms and Electronic Institutions in Multi-Agent Systems. Birkhuser Verlag AG (2004)","DOI":"10.1007\/978-3-0348-7955-2"},{"key":"16_CR22","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"584","DOI":"10.1007\/3-540-45023-8_56","volume-title":"Multi-Agent Systems and Applications III","author":"J. V\u00e1zquez-Salceda","year":"2003","unstructured":"V\u00e1zquez-Salceda, J., Dignum, F.: Modelling electronic organizations. In: Ma\u0159\u00edk, V., M\u00fcller, J.P., P\u011bchou\u010dek, M. (eds.) CEEMAS 2003. LNCS (LNAI), vol.\u00a02691, pp. 584\u2013593. Springer, Heidelberg (2003)"}],"container-title":["Lecture Notes in Computer Science","Computational Logic in Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11750734_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T02:57:20Z","timestamp":1619492240000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11750734_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540339960","9783540339977"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/11750734_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}