LEADER 04528nam  22008055  450 
001 996211265103316
005 20200705172631.0
010   $a3-319-13770-0
024 7 $a10.1007/978-3-319-13770-4
035   $a(CKB)3710000000325027
035   $a(SSID)ssj0001408179
035   $a(PQKBManifestationID)11900093
035   $a(PQKBTitleCode)TC0001408179
035   $a(PQKBWorkID)11358520
035   $a(PQKB)10729714
035   $a(DE-He213)978-3-319-13770-4
035   $a(MiAaPQ)EBC5586857
035   $a(Au-PeEL)EBL5586857
035   $a(OCoLC)1066193844
035   $a(PPN)183152328
035   $a(EXLCZ)993710000000325027
100   $a20141208d2014      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aArtificial Intelligence and Symbolic Computation$b[electronic resource] $e12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings /$fedited by Gonzalo A. Aranda-Corral, Jacques Calmet, Francisco J. Martín-Mateos
205   $a1st ed. 2014.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2014.
215   $a1 online resource (X, 206 p. 51 illus.)
225 1 $aLecture Notes in Artificial Intelligence ;$v8884
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-319-13769-7 
327   $aBasic concepts of computability and new Turing machines -- Logics including non-classical ones -- Reasoning -- Learning -- Decision support systems.-Machine intelligence and epistemology and philosophy of symbolic mathematical computing.
330   $aThis book constitutes the refereed proceedings of the 12th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2014, held in Seville, Spain, in December 2014. The 15 full papers presented together with 2 invited papers were carefully reviewed and selected from 22 submissions. The goals were on one side to bind mathematical domains such as algebraic topology or algebraic geometry to AI but also to link AI to domains outside pure algorithmic computing. The papers address all current aspects in the area of symbolic computing and AI: basic concepts of computability and new Turing machines; logics including non-classical ones; reasoning; learning; decision support systems; and machine intelligence and epistemology and philosophy of symbolic mathematical computing.
410  0$aLecture Notes in Artificial Intelligence ;$v8884
606   $aComputer science?Mathematics
606   $aArtificial intelligence
606   $aInformation storage and retrieval
606   $aMathematical logic
606   $aApplication software
606   $aSymbolic and Algebraic Manipulation$3https://scigraph.springernature.com/ontologies/product-market-codes/I17052
606   $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000
606   $aMath Applications in Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/I17044
606   $aInformation Storage and Retrieval$3https://scigraph.springernature.com/ontologies/product-market-codes/I18032
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040
615  0$aComputer science?Mathematics.
615  0$aArtificial intelligence.
615  0$aInformation storage and retrieval.
615  0$aMathematical logic.
615  0$aApplication software.
615 14$aSymbolic and Algebraic Manipulation.
615 24$aArtificial Intelligence.
615 24$aMath Applications in Computer Science.
615 24$aInformation Storage and Retrieval.
615 24$aMathematical Logic and Formal Languages.
615 24$aInformation Systems Applications (incl. Internet).
676   $a005.131
702   $aAranda-Corral$b Gonzalo A$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aCalmet$b Jacques$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aMartín-Mateos$b Francisco J$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996211265103316
996   $aArtificial Intelligence and Symbolic Computation$9772740
997   $aUNISA