LEADER 01192nam0-22003131i-450- 001 990001726610403321 005 20060929111808.0 035 $a000172661 035 $aFED01000172661 035 $a(Aleph)000172661FED01 035 $a000172661 100 $a20030910d1964----km-y0itay50------ba 101 0 $aita 102 $aIT 105 $a--------101yy 200 1 $aAtti del convegno sui problemi e le prospettive di sviluppo della zootecnia nel Molise$eCampobasso, 21 giugno 1964$fCamera di commercio industria e agricoltura di Campobasso 210 $aCampobasso$cCamera di commercio industria e agricoltura di Campobasso$d1964 215 $a191 p.$d24 cm 610 0 $aZootecnica 676 $a636 710 12$aConvegno sui problemi e le prospettive di sviluppo della zootecnia nel Molise$f<1964 ;$eCampobasso>$0355380 712 02$aCamera di commercio, industria, artigianato e agricoltura di Campobasso 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990001726610403321 952 $a60 636 B 16$b39800$fFAGBC 959 $aFAGBC 996 $aAtti del Convegno sui problemi e le prospettive di sviluppo della zootecnia nel Molise$9101832 997 $aUNINA LEADER 06532nam 22008055 450 001 9910755072803321 005 20250630101745.0 010 $a9789819972241 010 $a9819972248 024 7 $a10.1007/978-981-99-7224-1 035 $a(MiAaPQ)EBC30830870 035 $a(Au-PeEL)EBL30830870 035 $a(DE-He213)978-981-99-7224-1 035 $a(PPN)272915173 035 $a(CKB)28572831100041 035 $a(OCoLC)1407314165 035 $a(EXLCZ)9928572831100041 100 $a20231027d2023 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aKnowledge Graph and Semantic Computing: Knowledge Graph Empowers Artificial General Intelligence $e8th China Conference, CCKS 2023, Shenyang, China, August 24?27, 2023, Revised Selected Papers /$fedited by Haofen Wang, Xianpei Han, Ming Liu, Gong Cheng, Yongbin Liu, Ningyu Zhang 205 $a1st ed. 2023. 210 1$aSingapore :$cSpringer Nature Singapore :$cImprint: Springer,$d2023. 215 $a1 online resource (371 pages) 225 1 $aCommunications in Computer and Information Science,$x1865-0937 ;$v1923 311 08$aPrint version: Wang, Haofen Knowledge Graph and Semantic Computing: Knowledge Graph Empowers Artificial General Intelligence Singapore : Springer Singapore Pte. Limited,c2023 9789819972234 327 $aKnowledge Representation and Knowledge Graph Reasoning -- Dynamic Weighted Neural Bellman-Ford Network for Knowledge Graph Reasoning -- CausE: Towards Causal Knowledge Graph Embedding -- Exploring the Logical Expressiveness of Graph Neural Networks by establishing a connection with C2 -- Research on Joint Representation Learning Methods for Entity Neighborhood Information and Description Information -- Knowledge Acquisition and Knowledge Base Construction -- Harvesting Event Schemas from Large Language Models -- NTDA: Noise-Tolerant Data Augmentation for Document-Level Event Argument Extraction -- Event-Centric Opinion Mining via In-Context Learning with ChatGPT -- Relation repository based adaptive clustering for Open Relation Extraction -- Knowledge Integration and Knowledge Graph Management -- LNFGP: Local Node Fusion-based Graph Partition By Greedy Clustering -- Natural Language Understanding and Semantic Computing -- Multi-Perspective Frame Element Representation for Machine Reading Comprehension -- A Generalized Strategy of Chinese Grammatical Error Diagnosis based on Task Decomposition and Transformation -- Conversational Search based on Utterance-Mask-Passage Post-training -- Knowledge Graph Applications -- Financial Fraud Detection based on Deep Learning: towards Large-scale Pre-Training Transformer Models -- GERNS: A Graph Embedding with Repeat-free Neighborhood Structure for Subgraph Matching Optimization -- Feature Enhanced Structured Reasoning for Question Answering -- Knowledge Graph Open Resources -- Conditional Knowledge Graph: Design, Dataset and a Preliminary Model -- ODKG: An Official Document Knowledge Graph for the Effective Management -- CCD-ASQP: A Chinese Cross-domain Aspect Sentiment Quadruple Prediction Dataset -- CCD-ASQP: A Chinese Cross-domain Aspect Sentiment Quadruple Prediction Dataset -- MoralEssential Elements: MEE - A Dataset for Moral Judgement -- Evaluations -- Improving Adaptive Knowledge Graph Construction via Large Language Models with Multiple Views -- Single Source Path-based Graph Neural Network for Inductive Knowledge Graph Reasoning -- A Graph Learning Based Method for Inductive Knowledge Graph Relation Prediction -- LLM-Based Sparql Generation with selected Schema from Large scale Knowledge Base -- Robust NL-to-Cypher Translation for KBQA: Harnessing Large Language Model with Chain of Prompts -- In-Context Learning for Knowledge Base Question Answering for Unmanned Systems based on Large Language Models -- A Military Domain Knowledge-based Question Answering Method Based on Large Language Model Enhancement -- Advanced PromptCBLUE Performance: A Novel Approach Leveraging Large Language Models. 330 $aThis book constitutes the refereed proceedings of the 8th China Conference on Knowledge Graph and Semantic Computing: Knowledge Graph Empowers Artificial General Intelligence, CCKS 2023, held in Shenyang, China, during August 24?27, 2023. The 28 full papers included in this book were carefully reviewed and selected from 106 submissions. They were organized in topical sections as follows: knowledge representation and knowledge graph reasoning; knowledge acquisition and knowledge base construction; knowledge integration and knowledge graph management; natural language understanding and semantic computing; knowledge graph applications; knowledge graph open resources; and evaluations. 410 0$aCommunications in Computer and Information Science,$x1865-0937 ;$v1923 606 $aArtificial intelligence 606 $aApplication software 606 $aInformation storage and retrieval systems 606 $aDatabase management 606 $aData mining 606 $aInformation technology$xManagement 606 $aArtificial Intelligence 606 $aComputer and Information Systems Applications 606 $aInformation Storage and Retrieval 606 $aDatabase Management 606 $aData Mining and Knowledge Discovery 606 $aComputer Application in Administrative Data Processing 615 0$aArtificial intelligence. 615 0$aApplication software. 615 0$aInformation storage and retrieval systems. 615 0$aDatabase management. 615 0$aData mining. 615 0$aInformation technology$xManagement. 615 14$aArtificial Intelligence. 615 24$aComputer and Information Systems Applications. 615 24$aInformation Storage and Retrieval. 615 24$aDatabase Management. 615 24$aData Mining and Knowledge Discovery. 615 24$aComputer Application in Administrative Data Processing. 676 $a006.3 700 $aWang$b Haofen$01434694 701 $aHan$b Xianpei$01429391 701 $aLiu$b Ming$01063141 701 $aCheng$b Gong$01434695 701 $aLiu$b Yongbin$01434696 701 $aZhang$b Ningyu$01434697 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910755072803321 996 $aKnowledge Graph and Semantic Computing: Knowledge Graph Empowers Artificial General Intelligence$93590101 997 $aUNINA LEADER 04055nam 22007335 450 001 9910447246503321 005 20251225183434.0 010 $a3-030-65474-5 024 7 $a10.1007/978-3-030-65474-0 035 $a(CKB)4100000011716983 035 $a(DE-He213)978-3-030-65474-0 035 $a(MiAaPQ)EBC6455452 035 $a(PPN)253252881 035 $a(EXLCZ)994100000011716983 100 $a20210112d2020 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aStatic Analysis $e27th International Symposium, SAS 2020, Virtual Event, November 18?20, 2020, Proceedings /$fedited by David Pichardie, Mihaela Sighireanu 205 $a1st ed. 2020. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2020. 215 $a1 online resource (XIV, 381 p. 98 illus., 46 illus. in color.) 225 1 $aProgramming and Software Engineering,$x2945-9168 ;$v12389 300 $aIncludes index. 311 08$a3-030-65473-7 327 $aPolynomial Invariants for Affine Programs -- Cost Analysis of Smart Contracts via Parametric Resource Analysis -- Memory-Efficient Fixpoint Computation -- Abstract Neural Networks -- Termination of Polynomial Loops -- Stratified Guarded First-order Transition Systems -- Predicate Abstraction and CEGAR for nuHFL(Z) Validity Checking -- Counterexample- and Simulation-Guided Floating-Point Loop Invariant Synthesis -- Harming Dynamic Analysis -- Simple and Efficient Computation of Minimal Weak Control Closure -- A Library Modeling Language for the Static Analysis of C Programs -- Interprocedural Shape Analysis Using Separation Logic-Based Transformer Summaries -- Probabilistic Lipschitz Analysis of Neural Networks -- On Multi-Language Abstraction: Towards a Static Analysis of Multi-Language Programs -- Exact and Linear-Time Gas-Cost Analysis -- Farkas-Based Tree Interpolation. 330 $aThis book constitutes the refereed proceedings of the 27th International Symposium on Static Analysis, SAS 2020, held in Chicago, IL, USA, in November 2020. The 14 regular papers presented in this book together with 2 invited talks and 1 extended abstract, were carefully reviewed and selected from 34 submissions. The papers cover topics such as abstract domains; abstract interpretation; automated deduction; data flow analysis; debugging; deductive methods; emerging applications; model-checking; program transformations; predicate abstraction; security analysis; tool environments and architectures; and type checking. Due to the Corona pandemic this event was held virtually. 410 0$aProgramming and Software Engineering,$x2945-9168 ;$v12389 606 $aComputer science 606 $aSoftware engineering 606 $aArtificial intelligence 606 $aComputers, Special purpose 606 $aComputer networks 606 $aComputer systems 606 $aComputer Science Logic and Foundations of Programming 606 $aSoftware Engineering 606 $aArtificial Intelligence 606 $aSpecial Purpose and Application-Based Systems 606 $aComputer Communication Networks 606 $aComputer System Implementation 615 0$aComputer science. 615 0$aSoftware engineering. 615 0$aArtificial intelligence. 615 0$aComputers, Special purpose. 615 0$aComputer networks. 615 0$aComputer systems. 615 14$aComputer Science Logic and Foundations of Programming. 615 24$aSoftware Engineering. 615 24$aArtificial Intelligence. 615 24$aSpecial Purpose and Application-Based Systems. 615 24$aComputer Communication Networks. 615 24$aComputer System Implementation. 676 $a005.1 702 $aPichardie$b David 702 $aSighireanu$b Mihaela 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910447246503321 996 $aStatic Analysis$92995248 997 $aUNINA