{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:16:27Z","timestamp":1725560187248},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540284673"},{"type":"electronic","value":"9783540317364"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11545163_14","type":"book-chapter","created":{"date-parts":[[2010,7,19]],"date-time":"2010-07-19T14:16:31Z","timestamp":1279548991000},"page":"138-147","source":"Crossref","is-referenced-by-count":1,"title":["Standard K-Languages as a Powerful and Flexible Tool for Building Contracts and Representing Contents of Arbitrary E-Negotiations"],"prefix":"10.1007","author":[{"given":"Vladimir A.","family":"Fomichov","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1108\/02635570110394644","volume":"101","author":"W. Hasselbring","year":"2001","unstructured":"Hasselbring, W., Weigand, H.: Languages for Electronic Business Communication: State of the Art. Industrial Management and Data Systems\u00a0101, 217\u2013226 (2001)","journal-title":"Industrial Management and Data Systems"},{"key":"14_CR2","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1145\/263479.263480","volume":"15","author":"S.O. Kimbrough","year":"1997","unstructured":"Kimbrough, S.O., Moore, S.A.: On Automated Message Processing in E-Commerce and Work Support Systems: Speech Act Theory and Expressive Felicity. ACM Transactions on Information Theory\u00a015, 321\u2013367 (1997)","journal-title":"ACM Transactions on Information Theory"},{"key":"14_CR3","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/BF00159343","volume":"5","author":"H. Kamp","year":"1996","unstructured":"Kamp, H., Reyle, U.: A Calculus for First Order Discourse Representation Structures. Journal for Logic, Language and Information (JOLLI)\u00a05, 297\u2013348 (1996)","journal-title":"Journal for Logic, Language and Information (JOLLI)"},{"key":"14_CR4","unstructured":"Sowa, J.F.: Knowledge Representation: Logical, Philosophical, and Computational Foundations, 594 p. Brooks\/Cole, Pacific Grove (2000)"},{"key":"14_CR5","unstructured":"Schubert, L.K., Hwang, C.H.: Episodic Logic Meets Little Red Riding Hood: A Comprehensive, Natural Representation for Language Understanding. In: Iwanska, L., Shapiro, S.C. (eds.) Natural Language Processing and Knowledge Representation: Language for Knowledge and Knowledge for Language, pp. 111\u2013174. MIT\/AAAI Press (2000)"},{"key":"14_CR6","first-page":"5","volume":"20","author":"V.A. Fomichov","year":"1996","unstructured":"Fomichov, V.A.: A Mathematical Model for Describing Structured Items of Conceptual Level. Informatica An Intern. J. of Computing and Informatics (Slovenia)\u00a020, 5\u201332 (1996)","journal-title":"Informatica An Intern. J. of Computing and Informatics (Slovenia)"},{"key":"14_CR7","first-page":"16","volume":"10","author":"V.A. Fomichov","year":"2002","unstructured":"Fomichov, V.A.: Mathematical Foundations of Representing Meanings of Texts for the Elaboration of Linguistic Informational Technologies. Part 1. A Model of the System of Primary Units of Conceptual Level. Informational Technologies\u00a010, 16\u201325 (2002) (in Russian)","journal-title":"Informational Technologies"},{"key":"14_CR8","first-page":"34","volume":"11","author":"V.A. Fomichov","year":"2002","unstructured":"Fomichov, V.A.: Mathematical Foundations of Representing Meanings of Texts for the Elaboration of Linguistic Informational Technologies. Part 2. A System of the Rules for Building Semantic Representations of Phrases and Complicated Discourses. Informational Technologies\u00a011, 34\u201345 (2002) (in Russian)","journal-title":"Informational Technologies"},{"key":"14_CR9","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/3-540-36109-X_15","volume-title":"Flexible Query Answering Systems","author":"V.A. Fomichov","year":"2002","unstructured":"Fomichov, V.A.: Theory of K-calculuses as a Powerful and Flexible Mathematical Framework for Building Ontologies and Designing Natural Language Processing Systems. In: Andreasen, T., Motro, A., Christiansen, H., Larsen, H.L. (eds.) FQAS 2002. LNCS (LNAI), vol.\u00a02522, pp. 183\u2013196. Springer, Heidelberg (2002)"},{"key":"14_CR10","unstructured":"Fomichov, V.A.: Theory of Restricted K-calculuses as a Comprehensive Framework for Constructing Agent Communication Languages. In: Fomichov, V.A., Zeleznikar, A.P. (eds.) Special Issue on NLP and Multi-Agent Systems. Informatica. An Intern. J. of Computing and Informatics (Slovenia), vol.\u00a022, pp. 451\u2013463 (1998)"},{"key":"14_CR11","unstructured":"Fomichov, V.A.: An Ontological Mathematical Framework for Electronic Commerce and Semantically-structured Web. In: Zhang, Y., Fomichov, V.A., Zeleznikar, A.P. (eds.) Special Issue on Database, Web, and Cooperative Systems. Informatica (Slovenia), vol.\u00a024, pp. 39\u201349 (2000)"},{"key":"14_CR12","unstructured":"CrossFlow Project. Insurance Requirements. CrossFlow Consortium (1999), \n                    \n                      http:\/\/www.crossflow.org\/public\/pubdel\/D1b.pdf"},{"key":"14_CR13","unstructured":"Xu, L., Jeusfeld, M.A.: A Concept for Monitoring of Electronic Contracts, 19 p. Tilburg University, The Netherlands (2003), \n                    \n                      http:\/\/infolab.uvt.nl\/research\/itrs\/itrs010.pdf"},{"key":"14_CR14","unstructured":"Fomichov, V.A.: K-calculuses and K-languages as Powerful Formal Means to Design Intelligent Systems Processing Medical Texts. Cybernetica (Belgium) XXXVI, 161\u2013182 (1993)"},{"key":"14_CR15","unstructured":"Fomichov, V.A.: Integral Formal Semantics and the Design of Legal Full-Text Databases. Cybernetica (Belgium) XXXVII, 145\u2013177 (1994)"},{"key":"14_CR16","unstructured":"Fomichov, V.A.: The Method of Constructing the Linguistic Processor of the Animation System AVIAROBOT. In: Pohl, J. (ed.) Proceedings of the Focus Symposium on Collaborative Decision-Support Systems; InterSymp-2002, the 14th International Conference on Systems Research, Informatics and Cybernetics, Baden-Baden, Germany. CAD Research Center, Cal Poly, San Luis Obispo, CA, USA, July 29 \u2013 August 3, pp. 91\u2013102 (2002)"}],"container-title":["Lecture Notes in Computer Science","E-Commerce and Web Technologies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11545163_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T02:56:53Z","timestamp":1619492213000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11545163_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540284673","9783540317364"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/11545163_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}