Ulrich Furbach – författare
Computational Intelligence in Data Science
Third IFIP TC 12 International Conference, ICCIDS 2020, Chennai, India, February 20–22, 2020, Revised Selected Papers
1 124 kr
Skickas inom 10-15 vardagar
1 367 kr
Läs direkt efter köp
The 19 revised full papers and 8 revised short papers presented were carefully reviewed and selected from 94 submissions. The papers are organized in the following topical sections: computational intelligence for text analysis; computational intelligence for image and video analysis; and data science.
Computational Intelligence in Data Science
Third IFIP TC 12 International Conference, ICCIDS 2020, Chennai, India, February 20–22, 2020, Revised Selected Papers
1 124 kr
Skickas inom 10-15 vardagar
566 kr
Läs direkt efter köp
581 kr
Skickas inom 10-15 vardagar
566 kr
Skickas inom 10-15 vardagar
687 kr
Läs direkt efter köp
1 124 kr
Skickas inom 10-15 vardagar
1 408 kr
Läs direkt efter köp
This book constitutes the refereed proceedings of the Third International Joint Conference on Automated Reasoning, IJCAR 2006, held in Seattle, WA, USA in August 2006 as part of the 4th Federated Logic Conference, FLoC 2006. IJCAR 2006 is a merger of CADE, FroCoS, FTP, TABLEAUX, and TPHOLs.
The 41 revised full research papers and 8 revised system descriptions presented together with 3 invited papers and a summary of a systems competition were carefully reviewed and selected from a total of 152 submissions. The papers address the entire spectrum of research in automated reasoning including formalization of mathematics, proof theory, proof search, description logics, interactive proof checking, higher-order logic, combination methods, satisfiability procedures, and rewriting. The papers are organized in topical sections on proofs, search, higher-order logic, proof theory, search, proof checking, combination, decision procedures, CASC-J3, rewriting, and description logic.
Computational Logic - CL 2000
First International Conference London, UK, July 24–28, 2000 Proceedings
718 kr
Läs direkt efter köp
687 kr
Läs direkt efter köp
566 kr
Skickas inom 10-15 vardagar
566 kr
Skickas inom 10-15 vardagar
667 kr
Skickas inom 10-15 vardagar
311 kr
Skickas inom 10-15 vardagar
255 kr
Läs direkt efter köp
412 kr
Skickas inom 10-15 vardagar
397 kr
Läs direkt efter köp
549 kr
Skickas inom 5-8 vardagar
687 kr
Läs direkt efter köp
Digitalization is inexorably conquering our lives - also with artificial intelligence (AI) methods. Search engine operators, social network operators and shipping platform operators know more and more about us, about our buying and living habits. User data has become a valuable commodity. We live and work with computer systems that behave intelligently or are even intelligent. Questions like "Can machines be intelligent?" or "Can they have emotions or a consciousness?" keep popping up.
To enable readers to form their own opinion on these questions, the authors clearly explain individual techniques or methods of AI and relate them to approaches from philosophy, art and neurobiology. Topics such as logical reasoning, knowledge and memory play just as important a role as machine learning and artificial neural networks. In the foreground is the question of what constitutes memory and thinking, what role our emotions play when we as humans move through life, through the world. A book that offers unusual perspectives on artificial intelligence.647 kr
Skickas inom 10-15 vardagar
653 kr
Läs direkt efter köp