18 books like Programming in Prolog

What to read after Programming in Prolog — books similar to it, matched on shared themes.

Cover of Trends in Functional Programming

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: Data structures, Logic design, Computer science, Artificial Intelligence

Cover of Logic for programming artificial intelligence and reasoning

Logic for programming artificial intelligence and reasoning Moshe Y. Vardi · 2003 · 437p · ≈ 14h · Moderate ThisvolumecontainsthepaperspresentedattheTenthInternationalConference on Logic for Programming, Arti?cial Intelligence, and Reasoning (LPAR 2003), heldonSeptember22–26,2003,inAlmaty,Kazakhstan,togetherwiththeFourth International Workshop on Implementation of Logics. There were 65 submissions, of which 8 belonged to the special submission category of experimental papers, intended to describe… Shares: Logic design, 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

Cover of Mobile Web and Intelligent Information Systems

Mobile Web and Intelligent Information Systems Muhammad Younas · 2015 · 227p · ≈ 7h · Moderate This book constitutes the refereed proceedings of the 17th International Conference on Mobile Web and Intelligent Information Systems, MobiWIS 2021, held as a virtual event, in August 2021.The 15 full papers presented in this book were carefully reviewed and selected from 40 submissions. The papers of MobiWIS 2021 deal focus on topics such as security and privacy; web and mobile applications;… Shares: Data structures, Artificial Intelligence

Cover of Digital Forensics and Watermarking

Digital Forensics and Watermarking Yun Qing Shi · 2012 · 441p · ≈ 14h · Moderate This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Digital-Forensics and Watermarking, IWDW 2013, held in Auckland, New Zealand, during October 2013. The 24 full and 13 poster papers, presented together with 2 abstracts, were carefully reviewed and selected from 55 submissions. The papers are organized in topical sections on steganography and… Shares: Data structures, Computer science, Artificial Intelligence

Cover of Language and Automata Theory and Applications

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

Cover of Information and Communication Technologies in Education, Research, and Industrial Applications

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, Computer science, Artificial Intelligence

Cover of Advances in Computing and Data Sciences

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

Cover of Computational Science and Technology

Computational Science and Technology Rayner Alfred · 2018 · 749p · ≈ 24h · Moderate This book gathers the proceedings of the Fourth International Conference on Computational Science and Technology 2017 (ICCST2017), held in Kuala Lumpur, Malaysia, on 29–30 November 2017. These proceedings offer practitioners and researchers the opportunity to present exciting advances in computational techniques and solutions in this area. They also identify emerging issues, help to shape future… Shares: Computer science, Artificial Intelligence

Cover of Advances in 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: Computer science, Artificial Intelligence

Cover of Introduction to artificial intelligence

Introduction to artificial intelligence Wolfgang Ertel · 2008 · 334p · ≈ 11h · Moderate This accessible and engaging textbook presents a concise introduction to the exciting field of artificial intelligence (AI). The broad-ranging discussion covers the key subdisciplines within the field, describing practical algorithms and concrete applications in the areas of agents, logic, search, reasoning under uncertainty, machine learning, neural networks, and reinforcement learning. Fully… Shares: Computer science, Artificial Intelligence

Cover of Structured Object-Oriented Formal Language and Method

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: Computer science, Artificial Intelligence

Proceedings of CiitV. Sivaraj

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

Knowledge and Systems Sciences Jian Chen · 2016 · 288p · ≈ 9h · Moderate This book constitutes the refereed proceedings of the 17th International Symposium, KSS 2016, held in Kobe, Japan, in November 2016.The 21 revised full papers presented were carefully reviewed and selected from 48 submissions. The papers cover topics such as: Algorithms for Big Data; Big Data and education; Big Data and healthcare; Big Data and tourism; Big Data and… Shares: Computer science, Artificial Intelligence

Cover of Engineering Psychology and Cognitive Ergonomics

Engineering Psychology and Cognitive Ergonomics Don Harris · 2007 · 526p · ≈ 17h · Moderate This book constitutes the proceedings of the 16th International Conference on Engineering Psychology and Cognitive Ergonomics, EPCE 2019, held as part of the 21st International Conference, HCI International 2019, which took place in Orlando, FL, USA, in July 2019.The total of 1274 papers and 209 posters included in the 35 HCII 2019 proceedings volumes was carefully reviewed and selected from… Shares: Computer science, Artificial Intelligence

Cover of Advances in Knowledge Discovery and Data Mining

Advances in Knowledge Discovery and Data Mining Dinh Phung · 2014 · 624p · ≈ 20h · Moderate This three-volume set, LNAI 10937, 10938, and 10939, constitutes the thoroughly refereed proceedings of the 22nd Pacific-Asia Conference on Advances in Knowledge Discovery and Data Mining, PAKDD 2018, held in Melbourne, VIC, Australia, in June 2018. The 164 full papers were carefully reviewed and selected from 592 submissions. The volumes present papers focusing on new ideas, original research… Shares: Computer science, Artificial Intelligence

Computer Vision -- ECCV 2014 David Fleet · 2014 · 881p · ≈ 29h · Moderate Shares: Computer science, Artificial Intelligence

Cover of Agents and Artificial Intelligence

Agents and Artificial Intelligence Joaquim Filipe · 2010 · 389p · ≈ 12h · Moderate This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Conference on Agents and Artificial Intelligence, ICAART 2012, held in Vilamoura, Portugal, in February 2012. The 28 revised full papers presented together with one invited paper were carefully reviewed and selected from 292 submissions. The papers are organized in two topical sections on artificial… Shares: Computer science, Artificial Intelligence

About the book Programming in Prolog →