LEADER 02764nam  22006735  450 
001 9910763599003321
005 20231114104822.0
010   $a981-9978-69-6
024 7 $a10.1007/978-981-99-7869-4
035   $a(CKB)28853317600041
035   $a(MiAaPQ)EBC30943621
035   $a(Au-PeEL)EBL30943621
035   $a(DE-He213)978-981-99-7869-4
035   $a(EXLCZ)9928853317600041
100   $a20231114d2023      u|         0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aArtificial Intelligence Logic and Applications $eThe 3rd International Conference, AILA 2023, Changchun, China, August 5?6, 2023, Proceedings /$fedited by Songmao Zhang, Yonggang Zhang
205   $a1st ed. 2023.
210  1$aSingapore :$cSpringer Nature Singapore :$cImprint: Springer,$d2023.
215   $a1 online resource (459 pages)
225 1 $aCommunications in Computer and Information Science,$x1865-0937 ;$v1917
311 08$a9789819978687 
327   $aAI Logic Foundation -- AI Logic Reasoning -- AI Logic Applications.
330   $aThis book constitutes the proceedings of the Third International Conference, AILA 2023, held in Changchun, China, during August 5?6, 2023. The 26 full papers and the 10 short papers included in this volume were carefully reviewed and selected from 56 submissions. This volume aims to provide novel ideas, original research achievements, and practical experiences in a broad range of artificial intelligence logic and applications.
410  0$aCommunications in Computer and Information Science,$x1865-0937 ;$v1917
606   $aMachine theory
606   $aComputer science
606   $aArtificial intelligence
606   $aComputer science$xMathematics
606   $aSoftware engineering
606   $aFormal Languages and Automata Theory
606   $aTheory of Computation
606   $aArtificial Intelligence
606   $aMathematics of Computing
606   $aSoftware Engineering
615  0$aMachine theory.
615  0$aComputer science.
615  0$aArtificial intelligence.
615  0$aComputer science$xMathematics.
615  0$aSoftware engineering.
615 14$aFormal Languages and Automata Theory.
615 24$aTheory of Computation.
615 24$aArtificial Intelligence.
615 24$aMathematics of Computing.
615 24$aSoftware Engineering.
676   $a005.131
700   $aZhang$b Songmao$0555364
701   $aZhang$b Yonggang$01330023
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910763599003321
996   $aArtificial Intelligence Logic and Applications$93601328
997   $aUNINA