{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T11:11:39Z","timestamp":1726053099447},"publisher-location":"Cham","reference-count":9,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030322571"},{"type":"electronic","value":"9783030322588"}],"license":[{"start":{"date-parts":[[2019,10,2]],"date-time":"2019-10-02T00:00:00Z","timestamp":1569974400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-32258-8_20","type":"book-chapter","created":{"date-parts":[[2019,10,1]],"date-time":"2019-10-01T09:31:35Z","timestamp":1569922295000},"page":"177-182","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Distributed Construction of a Level Class Description in the Framework of Logic-Predicate Approach to AI Problems"],"prefix":"10.1007","author":[{"given":"Tatiana M.","family":"Kosovskaya","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,10,2]]},"reference":[{"key":"20_CR1","volume-title":"Computers and Intractability: A Guide to the Theory of NP-Completeness","author":"MR Garey","year":"1979","unstructured":"Garey, M.R., Johnson, D.S.: Computers and Intractability: A Guide to the Theory of NP-Completeness. Freeman, New York (1979)"},{"key":"20_CR2","first-page":"82","volume":"4","author":"TM Kosovskaya","year":"2007","unstructured":"Kosovskaya, T.M.: Proofs of the number of steps bounds for solving some pattern recognition problems with logical description. Vestn. St. Petersburg Univ.: Math. 4, 82\u201390 (2007). (in Russian)","journal-title":"Vestn. St. Petersburg Univ.: Math."},{"issue":"1","key":"20_CR3","first-page":"64","volume":"10","author":"TM Kosovskaya","year":"2008","unstructured":"Kosovskaya, T.M.: Level descriptions of classes for decreasing of step number of solving of a pattern recognition problem described by predicate calculus formulas. Vestn. St. Petersburg Univ.: Seria 10(1), 64\u201372 (2008). (in Russian)","journal-title":"Vestn. St. Petersburg Univ.: Seria"},{"key":"20_CR4","first-page":"58","volume":"14","author":"TM Kosovskaya","year":"2010","unstructured":"Kosovskaya, T.M.: Some artificial intelligence problems permitting formalization by means of predicate calculus language and upper bounds of their solution steps. SPIIRAS Proc. 14, 58\u201375 (2010). (in Russian)","journal-title":"SPIIRAS Proc."},{"issue":"34","key":"20_CR5","doi-asserted-by":"publisher","first-page":"204","DOI":"10.15622\/sp.34.10","volume":"3","author":"TM Kosovskaya","year":"2010","unstructured":"Kosovskaya, T.M.: An approach to the construction of a level description of classes by means of a predicate calculus language. SPIIRAS Proc. 3(34), 204\u2013217 (2010). (in Russian)","journal-title":"SPIIRAS Proc."},{"key":"20_CR6","volume-title":"Intelligent System","author":"Tatiana Kosovskaya","year":"2018","unstructured":"Kosovskaya, T.: Predicate calculus as a tool for AI problems solution: algorithms and their complexity. In: Wongchoosuk, C. (ed.) Chapter 3 in: Intelligent System. Open access peer-reviewed Edited volume, pp. 1\u201320. Kasetsart University (2018). https:\/\/www.intechopen.com\/books\/intelligent-system\/predicate-calculus-as-a-tool-for-ai-problems-solution-algorithms-and-their-complexity . Accessed 29 Aug 2018"},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"Kosovskaya, T.M., Kosovskii, N.N.: Polynomial equivalence of the problems \u201cpredicate formulas isomorphism and graph isomorphism\u201d. Vestn. St. Petersburg Univ.: Math (2019, be printed). (in Russian)","DOI":"10.21638\/11701\/spbu01.2019.308"},{"key":"20_CR8","unstructured":"Kosovskaya, T.M., Petrov, D.A.: Extraction of a maximal common sub-formula of predicate formulas for the solving of some artificial intelligence problems. Vestnik of Saint-Petersburg University. Series 10. Applied mathematics. Computer science. Control processes, issue 3, pp. 250\u2013263 (2017). (in Russian)"},{"key":"20_CR9","volume-title":"Artificial Intelligence: A Modern Approach","author":"S Russell","year":"2009","unstructured":"Russell, S., Norvig, P.: Artificial Intelligence: A Modern Approach, 3rd edn. Prentice Hall Press, Upper Saddle River (2009)","edition":"3"}],"container-title":["Studies in Computational Intelligence","Intelligent Distributed Computing XIII"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-32258-8_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,1,23]],"date-time":"2021-01-23T22:22:45Z","timestamp":1611440565000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-32258-8_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,10,2]]},"ISBN":["9783030322571","9783030322588"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-32258-8_20","relation":{},"ISSN":["1860-949X","1860-9503"],"issn-type":[{"type":"print","value":"1860-949X"},{"type":"electronic","value":"1860-9503"}],"subject":[],"published":{"date-parts":[[2019,10,2]]},"assertion":[{"value":"2 October 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"IDC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Intelligent and Distributed Computing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Petersburg","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Russia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 October 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 October 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"idc2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/idc2019.ru\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}