TY - BOOK ID - 33059663 TI - Artificial Intelligence and Symbolic Computation : 13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings AU - Fleuriot, Jacques. AU - Wang, Dongming. AU - Calmet, Jacques. PY - 2018 SN - 3319999567 3319999575 PB - Cham : Springer International Publishing : Imprint: Springer, DB - UniCat KW - Artificial intelligence. KW - Computer science. KW - Artificial Intelligence. KW - Math Applications in Computer Science. KW - Mathematical Logic and Formal Languages. KW - Information Systems Applications (incl. Internet). KW - Informatics KW - Science KW - AI (Artificial intelligence) KW - Artificial thinking KW - Electronic brains KW - Intellectronics KW - Intelligence, Artificial KW - Intelligent machines KW - Machine intelligence KW - Thinking, Artificial KW - Bionics KW - Cognitive science KW - Digital computer simulation KW - Electronic data processing KW - Logic machines KW - Machine theory KW - Self-organizing systems KW - Simulation methods KW - Fifth generation computers KW - Neural computers KW - Artificial intelligence KW - Logic, Symbolic and mathematical KW - Automatic theorem proving KW - Computer science—Mathematics. KW - Mathematical logic. KW - Application software. KW - Application computer programs KW - Application computer software KW - Applications software KW - Apps (Computer software) KW - Computer software KW - Algebra of logic KW - Logic, Universal KW - Mathematical logic KW - Symbolic and mathematical logic KW - Symbolic logic KW - Mathematics KW - Algebra, Abstract KW - Metamathematics KW - Set theory KW - Syllogism UR - https://www.unicat.be/uniCat?func=search&query=sysid:33059663 AB - This book constitutes the refereed proceedings of the 13th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2018, held in Suzhou, China, in September 2018. The 13 full papers presented together with 5 short and 2 invited papers were carefully reviewed and selected from 31 submissions. The AISC conference is an important forum when it comes to ensuring that ideas, theoretical insights, methods and results from traditional AI can be discussed and showcased, while fostering new links with other areas of AI such as probabilistic reasoning and deep learning. . ER -