LEADER 03757nam 2200577 450 001 996466117303316 005 20220829180142.0 010 $a3-540-88833-0 024 7 $a10.1007/978-3-540-88833-8 035 $a(CKB)1000000000490415 035 $a(SSID)ssj0000316804 035 $a(PQKBManifestationID)11276951 035 $a(PQKBTitleCode)TC0000316804 035 $a(PQKBWorkID)10275491 035 $a(PQKB)10217961 035 $a(DE-He213)978-3-540-88833-8 035 $a(MiAaPQ)EBC3063597 035 $a(MiAaPQ)EBC6407989 035 $a(PPN)130185949 035 $a(EXLCZ)991000000000490415 100 $a20210330d2008 uy 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 00$aComputational logic in multi-agent systems $e8th international workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007 : revised selected and invited papers /$fFariba Sadri, Ken Satoh (editors) 205 $a1st ed. 2008. 210 1$aBerlin ;$aHeidelberg ;$aNew York :$cSpringer,$d[2008] 210 4$dŠ2008 215 $a1 online resource (X, 299 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v5056 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-88832-2 320 $aIncludes bibliographical references and index. 327 $aInvited Paper -- Plan-Coordination Mechanisms and the Price of Autonomy -- Regular Papers -- Actions with Failures in Interval Temporal Logic -- A Logic for Reasoning about Rational Agents -- Formal Modelling of Emotions in BDI Agents -- ?What I Fail to Do Today, I Have to Do Tomorrow?: A Logical Study of the Propagation of Obligations -- Proof Theory for Distributed Knowledge -- EVOLP: Transformation-Based Semantics -- Language Constructs for Multi-agent Programming -- -Tropos -- A Heuristic Approach to P2P Negotiation -- Towards Context Sensitive Defeasible Rules -- Fuzzy Argumentation for Trust -- Assumption-Based Argumentation for Selection and Composition of Services -- A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems -- Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs -- System Description Paper -- EVOLP: An Implementation. 330 $aThis book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Computational Logic for Multi-Agent Systems, CLIMA VIII, held in Porto, Portugal, in September 2007 - co-located with ICLP 2008, the International Conference on Logic Programming. The 14 revised full technical papers and 1 system description paper presented together with 1 invited paper were carefully selected from 33 submissions and went through at least two rounds of reviewing and improvement. The regular papers address topics such as interdependencies and co-ordination of task-based planning in multi-agent systems, interval temporal logic, game theoretic concepts for reasoning about rational agents, proof theory for multi-agent epistemic logic, transformational semantics for evolving logic programs (EVOLP), programming languages based on BDI models, agent oriented early requirements engineering framework, heuristic algorithms for agent negotiation, as well as argumentation. 410 0$aLecture Notes in Artificial Intelligence ;$v5056 606 $aComputer logic$vCongresses 615 0$aComputer logic 676 $a004.015113 702 $aSadri$b Fariba$f1956- 702 $aSatoh$b Ken$f1959- 712 12$aCLIMA (Conference) 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466117303316 996 $aComputational Logic in Multi-Agent Systems$9772133 997 $aUNISA LEADER 06322nam 22009135 450 001 9910845094503321 005 20251103085924.0 010 $a9783031545344 010 $a3031545346 024 7 $a10.1007/978-3-031-54534-4 035 $a(MiAaPQ)EBC31222011 035 $a(Au-PeEL)EBL31222011 035 $a(DE-He213)978-3-031-54534-4 035 $a(CKB)30995703600041 035 $a(EXLCZ)9930995703600041 100 $a20240319d2024 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aAnalysis of Images, Social Networks and Texts $e11th International Conference, AIST 2023, Yerevan, Armenia, September 28?30, 2023, Revised Selected Papers /$fedited by Dmitry I. Ignatov, Michael Khachay, Andrey Kutuzov, Habet Madoyan, Ilya Makarov, Irina Nikishina, Alexander Panchenko, Maxim Panov, Panos M. Pardalos, Andrey V. Savchenko, Evgenii Tsymbalov, Elena Tutubalina, Sergey Zagoruyko 205 $a1st ed. 2024. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2024. 215 $a1 online resource (376 pages) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v14486 311 08$a9783031545337 311 08$a3031545338 320 $aIncludes bibliographical references and index. 327 $aInvited Paper: Threatening Expression and Target Identi?cation in under-resource languages using NLP Techniques -- Natural Language Processing: Benchmarking Multi-Label Topic Classi?cation in Kyrgyz Language -- Transformers compression: A study of matrix decomposition methods using Fisher information -- Leveraging Lexical Taxonomy Data in Large Language Models for Hyponymy Prediction -- Content selection in abstractive summarization with biased encoder mixtures -- RuCAM: Comparative Argumentative Machine for the Russian Language -- Paraphrasers and Classi?ers: Controllable Text Generation for Text Style Transfer -- Less than Necessary or More than Su?cient: Validating Probing Dataset Size -- Unsupervised Ultra-Fine Entity Typing with Distributionally Induced Word Senses -- Static, dynamic, or contextualized: what is the best approach for discovering semantic shifts in Russian media? -- Controllable Story Generation Based on Perplexity Minimization -- Automatic Detection of Dialectal Features of Pskov Dialects in the Speech of Native Speakers -- Needle in a Haystack: Finding Suitable Idioms Based on Text Descriptions -- Computer Vision: DeepLOC: Deep Learning-based Bone Pathology Localization and Classi?cation in Wrist X-ray Images -- MiVOLO: Multi-input Transformer for Age and Gender Estimation -- Handwritten Text Recognition and Browsing in Archive of Prisoners? Letters from Smolensk Convict Prison -- Greedy Algorithm for Fast Finding Curvilinear Symmetry of Binary Raster Images.-Data Analysis and Machine Learning: Ensemble Clustering with Heterogeneous Transfer Learning -- Detecting design patterns in Android applications with CodeBERT embeddings and CK metrics -- Metamorphic testing for recommender systems -- Application of Dynamic Graph CNN* and FICP for Detection and Research Archaeology Sites -- Network Analysis: Visualization-Driven Graph Sampling Strategy for Exploring Large-Scale Networks -- Limit Distributions of Friendship Index in Scale-Free Networks -- Theoretical Machine Learning and Optimization: The Problem of Finding Several Given Diameter Spanning Trees of Maximum Total Weight in a Complete Graph -- Is Can?eld Right? On the Asymptotic Coe?cients for the Maximum Antichain of Partitions and Related Counting Inequalitie. 330 $aThis book constitutes revised selected papers from the thoroughly refereed proceedings of the 11th International Conference on Analysis of Images, Social Networks and Texts, AIST 2023, held in Yerevan, Armenia, during September 28-30, 2023. The 24 full papers included in this book were carefully reviewed and selected from 93 submissions. They were organized in topical sections as follows: natural language processing; computer vision; data analysis and machine learning; network analysis; and theoretical machine learning and optimization. The book also contains one invited talk in full paper length. . 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v14486 606 $aData mining 606 $aMachine learning 606 $aDatabase management 606 $aNatural language processing (Computer science) 606 $aInformation storage and retrieval systems 606 $aApplication software 606 $aData Mining and Knowledge Discovery 606 $aMachine Learning 606 $aDatabase Management 606 $aNatural Language Processing (NLP) 606 $aInformation Storage and Retrieval 606 $aComputer and Information Systems Applications 606 $aProgramari d'aplicaciķ$2thub 606 $aMineria de dades$2thub 606 $aGestiķ de bases de dades$2thub 606 $aSistemes d'informaciķ$2thub 606 $aAprenentatge automātic$2thub 606 $aTractament del llenguatge natural (Informātica)$2thub 608 $aCongressos$2thub 608 $aLlibres electrōnics$2thub 615 0$aData mining. 615 0$aMachine learning. 615 0$aDatabase management. 615 0$aNatural language processing (Computer science) 615 0$aInformation storage and retrieval systems. 615 0$aApplication software. 615 14$aData Mining and Knowledge Discovery. 615 24$aMachine Learning. 615 24$aDatabase Management. 615 24$aNatural Language Processing (NLP). 615 24$aInformation Storage and Retrieval. 615 24$aComputer and Information Systems Applications. 615 7$aProgramari d'aplicaciķ 615 7$aMineria de dades 615 7$aGestiķ de bases de dades 615 7$aSistemes d'informaciķ 615 7$aAprenentatge automātic 615 7$aTractament del llenguatge natural (Informātica) 676 $a943.005 702 $aIgnatov$b Dmitry I. 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910845094503321 996 $aAnalysis of images, social networks and texts$91907262 997 $aUNINA