18 books like Logic for programming artificial intelligence and reasoning

What to read after Logic for programming artificial intelligence and reasoning — books similar to it, matched on shared themes.

Information and Communication Technologies in Education, Research, and Industrial Applications Vadim Ermolayev · 2013 · 388p · ≈ 12h · Moderate This book constitutes the thoroughly refereed proceedings of the 10th International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications, held in Kherson, Ukraine, in June 2014. The 16 revised full papers presented were carefully reviewed and selected from 66 submissions. The papers are organized in topical sections on framework and tools;… Shares: Logic design, Software engineering, Congresses, Computer science

Programming in Prolog William F. Clocksin · 1981 · ★ 3.6 · 281p · ≈ 9h · Moderate Since the first edition of this book in 1981, Prolog has continued to attract an unexpectedly great deal of interest in the computer science community and has turned out to be a basis for an important new family of programming languages and systems for Artificial Intelligence. In the preceding three editions, the authors have steadily added new material, improved the presentation, and corrected… Shares: Logic design, Computer science, Artificial Intelligence

Trends in Functional Programming Jurriaan Hage · 2013 · 160p · ≈ 5h · Moderate This book constitutes the thoroughly refereed revised selected papers of the 15th International Symposium on Trends in Functional Programming, TFP 2014, held in Soesterberg, The Netherlands, in May 2014. The 8 revised full papers included in this volume were carefully and selected from 22 submissions. TFP is an international forum for researchers with interests in all aspects of functional… Shares: Logic design, Computer science, Artificial Intelligence

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing Roger Lee · 2014 · 260p · ≈ 8h · Moderate This book gathers 14 of the most promising papers presented at the 18th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2017), which was held on June 26–28, 2017 in Kanazawa, Japan. The aim of this conference was to bring together researchers and scientists, businessmen and entrepreneurs, teachers, engineers,… Shares: Software engineering, Artificial Intelligence

Advances in artificial intelligence Canadian Society for Computational Studies of Intelligence. Conference · 1996 · 457p · ≈ 15h · Moderate Followingalongtraditionofexcellence,theseventeentheditionoftheconference of the Canadian Society for the Computational Studies of Intelligence continued the success of its predecessors. This edition re?ected the energy and diversity of the Canadian AI community and the many international partnerships that this community has successfully established. AI 2004 attracted high-quality submissions from… Shares: Congresses, Computer science, Artificial Intelligence

Telematics and Computing Miguel Felix Mata-Rivera · 2018 · 336p · ≈ 11h · Moderate This book constitutes the thoroughly refereed proceedings of the 7th  International Congress on  Telematics and Computing, WITCOM 2018, held in  Mazatlán, Mexico in November 2018.The 23 full papers presented in this volume were carefully reviewed and selected from 57 submissions. They present and organize the knowledge from within the field of telematics and security, data… Shares: Computer science, Artificial Intelligence

Structured Object-Oriented Formal Language and Method Shaoying Liu · 2013 · 219p · ≈ 7h · Moderate This book constitutes the thoroughly refereed workshop proceedings of the 8th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2018, held in Gold Coast, QLD, Australia, in November 2018.The 11 revised full papers included in the volume were carefully reviewed and selected from 21 submissions. They are organized in the following topical sections:… Shares: Software engineering, Computer science, Artificial Intelligence

Proceedings of CiitV. Sivaraj

Proceedings of Ciit V. Sivaraj · 2012 Shares: Software engineering, Computer science, Artificial Intelligence

Information, Communication and Computing Technology Saroj Kaushik · 2017 · 312p · ≈ 10h · Moderate This book constitutes the refereed proceedings of the Second International Conference on Information, Communication and Computing Technology, ICICCT 2017, held in New Delhi, India, in May 2017. The 29 revised full papers and the 5 revised short papers presented in this volume were carefully reviewed and selected from 219 submissions. The papers are organized in topical sections on network… Shares: Software engineering, Artificial Intelligence

Intelligent Robotics and Applications Chun-Yi Su · 2012 · 702p · ≈ 23h · Moderate This book describes a unified framework for networked teleoperation systems involving multiple research fields: networked control systems for linear and nonlinear forms, bilateral teleoperation, trilateral teleoperation, multilateral teleoperation and cooperative teleoperation. It closely examines networked control as a field at the intersection of systems & control and robotics and presents a… Shares: Software engineering, Congresses, Computer science, Artificial Intelligence

Advanced data mining and applications Xue Li · 2003 · 863p · ≈ 28h · Moderate This book constitutes the proceedings of the 15th International Conference on Advanced Data Mining and Applications, ADMA 2019, held in Dalian, China in November 2019.The 39 full papers presented together with 26 short papers and 2 demo papers were carefully reviewed and selected from 170 submissions. The papers were organized in topical sections named: Data Mining Foundations; Classification and… Shares: Software engineering, Congresses, Artificial Intelligence

Language and Automata Theory and Applications Adrian-Horia Dediu · 2012 · 580p · ≈ 19h · Moderate This book constitutes the refereed proceedings of the 7th International Conference on Language and Automata Theory and Applications, LATA 2013, held in Bilbao, Spain in April 2013. The 45 revised full papers presented together with 5 invited talks were carefully reviewed and selected from 97 initial submissions. The volume features contributions from both classical theory fields and application… Shares: Logic design, Computer science, Artificial Intelligence

Computer Vision, Imaging and Computer Graphics - Theory and Applications Sebastiano Battiato · 2014 · 610p · ≈ 20h · Moderate This book constitutes the refereed proceedings of the International Conference, VISIGRAPP 2014, consisting of the Joint Conferences on Computer Vision (VISAPP), the International Conference on Computer Graphics, GRAPP 2014 and the International Conference on Information Visualization, IVAPP 2014, held in Lisbon, Portugal, in January 2014.The 22 revised full papers presented were carefully… Shares: Congresses, Computer science, Artificial Intelligence

Advances in Computing and Data Sciences Mayank Singh · 2017 · 600p · ≈ 20h · Moderate The two-volume proceedings CCIS 1613 + 1614 constitute revised selected papers from the 6th International Conference on Advances in Computing and Data Sciences, ICACDS 2022, which was held in Kurnool, India in April 2022.The total of 69 full papers presented in the proceedings was carefully reviewed and selected from 411 submissions. The papers focus on advances of next generation computing… Shares: Computer science, Artificial Intelligence

Human-Computer Interaction -- INTERACT 2013 Paula Kotzé · 2013 · 813p · ≈ 27h · Moderate The four-volume set LNCS 8117-8120 constitutes the refereed proceedings of the 14th IFIP TC13 International Conference on Human-Computer Interaction, INTERACT 2013, held in Cape Town, South Africa, in September 2013. The 53 papers included in the third volume are organized in topical sections on mobile usage and techniques, mobile UX and privacy concerns, model-based user interface design,… Shares: Software engineering, Computer science, Artificial Intelligence

Computational Intelligence. Theory and Applications Bernd Reusch · 1997 · 714p · ≈ 23h · Moderate This book constitutes the refereed proceedings of the 9th Dortmund Fuzzy Days, held in Dortmund, Germany, 2006. The Fuzzy Days conference has established itself as an international forum for the discussion of new results in the field of Computational Intelligence. All the papers had to undergo a thorough review guaranteeing a solid quality of the programme. The papers are devoted to foundational… Shares: Congresses, Artificial Intelligence

Advances in Information Technology Borworn Papasratorn · 2009 · 208p · ≈ 6h · Moderate This book constitutes the proceedings of the 5th International Conference on Advances in Information Technology, IAIT 2012, held in Bangkok, Thailand, in December 2012. The 18 revised papers presented in this volume were carefully reviewed and selected from 37 submissions. They deal with all areas related to applied information technology, such as e-service; information and communication… Shares: Software engineering, Computer science, Artificial Intelligence

Proceedings of the 2012 International Conference on Information Technology and Software Engineering Wei Lu · 2012 · 1008p · ≈ 33h · Moderate Proceedings of the 2012 International Conference on Information Technology and Software Engineering presents selected articles from this major event, which was held in Beijing, December 8-10, 2012. This book presents the latest research trends, methods and experimental results in the fields of information technology and software engineering, covering various state-of-the-art research theories and… Shares: Software engineering, Computer science, Artificial Intelligence

About the book Logic for programming artificial intelligence and reasoning →