Jessica Brown

Red Hat Linux System Administration Handbook /* Scoped styles for the book post */ #book-post { padding: 20px; } #book-post .post-container { padding: 20px; border-radius: 8px; max-width: 800px; box-shadow: 0 2px 5px rgba(0,0,0,0.1); } #book-post .post-header { margin-bottom: 20px; } #book-post .post-header h1 { margin: 0; font-size: 2em; } #book-post .post-header h2 { margin: 0; font-size: 1.2em; } #book-post .book-details { width: 100%; border-collapse: collapse; margin-bottom: 20px; } #book-post .book-details th, #book-post .book-details td { border: 1px solid oklch(0.351 0.0176 260); padding: 8px; text-align: left; } #book-post .book-cover { max-width: 200px; border-radius: 8px; margin: 0 auto; padding-left: 15px; float: right; } #book-post .description { line-height: 1.6; } #book-post .info-link { display: block; margin-top: 20px; } Red Hat Linux System Administration Handbook by Mark F. Komarinski, Cary Collett Publisher Prentice Hall Professional Published Date 2000 Page Count 405 Categories Computers / Operating Systems / UNIX, Computers / Operating Systems / Linux Language EN Average Rating N/A (based on N/A ratings) Maturity Rating No Mature Content Detected ISBN 0130253952 Millions of companies are turning to Linux as a cost-effective, rock-solid solution for internal networks and Internet connectivity. This book systematically teaches system administrators the real-world Red Hat Linux 6.0 skills they need to succeed. Both novice and experienced system administrators can use this book to master Linux networking, file service, E-mail, security, backups, print sharing, Web, FTP, NetNews, and much more. They'll find practical guidance on configuring hardware and peripherals, tuning Linux performance, even enhancing productivity with scripts. This edition contains brand-new chapters on installation, the PAM RedHat Security Model, the RedHat package manager, and the latest 2.2 kernel enhancements. It also covers configuring and managing Linux systems with GNOME, Red Hat's default graphical user interface. More Information

Introduction to Linux (Third Edition) /* Scoped styles for the book post */ #book-post { padding: 20px; } #book-post .post-container { padding: 20px; border-radius: 8px; max-width: 800px; box-shadow: 0 2px 5px rgba(0,0,0,0.1); } #book-post .post-header { margin-bottom: 20px; } #book-post .post-header h1 { margin: 0; font-size: 2em; } #book-post .post-header h2 { margin: 0; font-size: 1.2em; } #book-post .book-details { width: 100%; border-collapse: collapse; margin-bottom: 20px; } #book-post .book-details th, #book-post .book-details td { border: 1px solid oklch(0.351 0.0176 260); padding: 8px; text-align: left; } #book-post .book-cover { max-width: 200px; border-radius: 8px; margin: 0 auto; padding-left: 15px; float: right; } #book-post .description { line-height: 1.6; } #book-post .info-link { display: block; margin-top: 20px; } Introduction to Linux (Third Edition) by Machtelt Garrels Publisher Fultus Corporation Published Date 2010-05 Page Count 296 Categories Computers / General, Computers / Operating Systems / General, Computers / Operating Systems / Linux Language EN Average Rating 5 (based on 1 ratings) Maturity Rating No Mature Content Detected ISBN 159682199X Whether you're just starting out with Linux or looking to hone your existing skills, this book will provide you with the knowledge you need. For new users, it is an exploration tour and getting started guide, with exercises at the end of each chapter. Advanced trainees can consider it a desktop reference, a collection of the base knowledge needed to tackle system and network administration. To help you work more effectively with Linux, this book contains hundreds of real life examples derived from the author's experience as a Linux system and network administrator, trainer and consultant. These examples will help you to get a better understanding of the Linux system and feel encouraged to try out things on your own. More Information

Ubuntu Pocket Guide And Reference /* Scoped styles for the book post */ #book-post { padding: 20px; } #book-post .post-container { padding: 20px; border-radius: 8px; max-width: 800px; box-shadow: 0 2px 5px rgba(0,0,0,0.1); } #book-post .post-header { margin-bottom: 20px; } #book-post .post-header h1 { margin: 0; font-size: 2em; } #book-post .post-header h2 { margin: 0; font-size: 1.2em; } #book-post .book-details { width: 100%; border-collapse: collapse; margin-bottom: 20px; } #book-post .book-details th, #book-post .book-details td { border: 1px solid oklch(0.351 0.0176 260); padding: 8px; text-align: left; } #book-post .book-cover { max-width: 200px; border-radius: 8px; margin: 0 auto; padding-left: 15px; float: right; } #book-post .description { line-height: 1.6; } #book-post .info-link { display: block; margin-top: 20px; } Ubuntu Pocket Guide And Reference A Concise Companion For Day-To-Day Ubuntu Use by Keir Thomas Publisher CreateSpace Independent Publishing Platform Published Date 2009-01-19 Page Count 166 Categories Computers / Operating Systems / Linux Language EN Average Rating N/A (based on N/A ratings) Maturity Rating No Mature Content Detected ISBN 1440478295 "A great resource covering Ubuntu from A to Z without all the extra fluff" -- Ryan Troy, administrator, Ubuntuforums.org. Read by over 500,000 people, Ubuntu Pocket Guide and Reference is the world's most popular Ubuntu book. Written by award-winning expert Keir Thomas, it will quickly transform you into a power user. In its clear and concise pages, you'll learn step-by-step about installation, the Ubuntu desktop, the tricks and techniques of efficient day-to-day usage, the command-line, software management, and, finally, system security. Appendixes provide a glossary of terms, and a guide to technical documentation. More Information

Isabelle/HOL /* Scoped styles for the book post */ #book-post { padding: 20px; } #book-post .post-container { padding: 20px; border-radius: 8px; max-width: 800px; box-shadow: 0 2px 5px rgba(0,0,0,0.1); } #book-post .post-header { margin-bottom: 20px; } #book-post .post-header h1 { margin: 0; font-size: 2em; } #book-post .post-header h2 { margin: 0; font-size: 1.2em; } #book-post .book-details { width: 100%; border-collapse: collapse; margin-bottom: 20px; } #book-post .book-details th, #book-post .book-details td { border: 1px solid oklch(0.351 0.0176 260); padding: 8px; text-align: left; } #book-post .book-cover { max-width: 200px; border-radius: 8px; margin: 0 auto; padding-left: 15px; float: right; } #book-post .description { line-height: 1.6; } #book-post .info-link { display: block; margin-top: 20px; } Isabelle/HOL A Proof Assistant for Higher-Order Logic by Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel Publisher Springer Science & Business Media Published Date 2002-04-03 Page Count 226 Categories Mathematics / Logic, Philosophy / Logic, Computers / Computer Science, Computers / Intelligence (AI) & Semantics, Computers / Programming / General, Computers / Programming Languages / General, Mathematics / Discrete Mathematics, Computers / Information Technology Language EN Average Rating N/A (based on N/A ratings) Maturity Rating No Mature Content Detected ISBN 3540433767 This volume is a self-contained introduction to interactive proof in high- order logic (HOL), using the proof assistant Isabelle 2002. Compared with existing Isabelle documentation, it provides a direct route into higher-order logic, which most people prefer these days. It bypasses ?rst-order logic and minimizes discussion of meta-theory. It is written for potential users rather than for our colleagues in the research world. Another departure from previous documentation is that we describe Markus Wenzel’s proof script notation instead of ML tactic scripts. The l- ter make it easier to introduce new tactics on the ?y, but hardly anybody does that. Wenzel’s dedicated syntax is elegant, replacing for example eight simpli?cation tactics with a single method, namely simp, with associated - tions. The book has three parts. – The ?rst part, Elementary Techniques, shows how to model functional programs in higher-order logic. Early examples involve lists and the natural numbers. Most proofs are two steps long, consisting of induction on a chosen variable followed by the auto tactic. But even this elementary part covers such advanced topics as nested and mutual recursion. – The second part, Logic and Sets, presents a collection of lower-level tactics that you can use to apply rules selectively. It also describes I- belle/HOL’s treatment of sets, functions, and relations and explains how to de?ne sets inductively. One of the examples concerns the theory of model checking, and another is drawn from a classic textbook on formal languages. More Information

Springer Handbook of Model-Based Science /* Scoped styles for the book post */ #book-post { padding: 20px; } #book-post .post-container { padding: 20px; border-radius: 8px; max-width: 800px; box-shadow: 0 2px 5px rgba(0,0,0,0.1); } #book-post .post-header { margin-bottom: 20px; } #book-post .post-header h1 { margin: 0; font-size: 2em; } #book-post .post-header h2 { margin: 0; font-size: 1.2em; } #book-post .book-details { width: 100%; border-collapse: collapse; margin-bottom: 20px; } #book-post .book-details th, #book-post .book-details td { border: 1px solid oklch(0.351 0.0176 260); padding: 8px; text-align: left; } #book-post .book-cover { max-width: 200px; border-radius: 8px; margin: 0 auto; padding-left: 15px; float: right; } #book-post .description { line-height: 1.6; } #book-post .info-link { display: block; margin-top: 20px; } Springer Handbook of Model-Based Science by Lorenzo Magnani, Tommaso Bertolotti Publisher Springer Published Date 2017-05-22 Page Count 1180 Categories Technology & Engineering / Engineering (General), Science / Philosophy & Social Aspects, Mathematics / Logic, Science / Physics / General, Psychology / Cognitive Psychology & Cognition, Computers / Artificial Intelligence / General, Technology & Engineering / General, Mathematics / History & Philosophy, Science / History Language EN Average Rating N/A (based on N/A ratings) Maturity Rating No Mature Content Detected ISBN 3319305263 This handbook offers the first comprehensive reference guide to the interdisciplinary field of model-based reasoning. It highlights the role of models as mediators between theory and experimentation, and as educational devices, as well as their relevance in testing hypotheses and explanatory functions. The Springer Handbook merges philosophical, cognitive and epistemological perspectives on models with the more practical needs related to the application of this tool across various disciplines and practices. The result is a unique, reliable source of information that guides readers toward an understanding of different aspects of model-based science, such as the theoretical and cognitive nature of models, as well as their practical and logical aspects. The inferential role of models in hypothetical reasoning, abduction and creativity once they are constructed, adopted, and manipulated for different scientific and technological purposes is also discussed. Written by a group of internationally renowned experts in philosophy, the history of science, general epistemology, mathematics, cognitive and computer science, physics and life sciences, as well as engineering, architecture, and economics, this Handbook uses numerous diagrams, schemes and other visual representations to promote a better understanding of the concepts. This also makes it highly accessible to an audience of scholars and students with different scientific backgrounds. All in all, the Springer Handbook of Model-Based Science represents the definitive application-oriented reference guide to the interdisciplinary field of model-based reasoning. More Information

Progress in Artificial Intelligence /* Scoped styles for the book post */ #book-post { padding: 20px; } #book-post .post-container { padding: 20px; border-radius: 8px; max-width: 800px; box-shadow: 0 2px 5px rgba(0,0,0,0.1); } #book-post .post-header { margin-bottom: 20px; } #book-post .post-header h1 { margin: 0; font-size: 2em; } #book-post .post-header h2 { margin: 0; font-size: 1.2em; } #book-post .book-details { width: 100%; border-collapse: collapse; margin-bottom: 20px; } #book-post .book-details th, #book-post .book-details td { border: 1px solid oklch(0.351 0.0176 260); padding: 8px; text-align: left; } #book-post .book-cover { max-width: 200px; border-radius: 8px; margin: 0 auto; padding-left: 15px; float: right; } #book-post .description { line-height: 1.6; } #book-post .info-link { display: block; margin-top: 20px; } Progress in Artificial Intelligence by Luc Steels, J. A. Campbell Publisher E. Horwood Published Date 1985 Page Count 320 Categories Computers / Artificial Intelligence / General Language EN Average Rating N/A (based on N/A ratings) Maturity Rating No Mature Content Detected ISBN 0470201711 No description available. More Information

Across the Sea of Suns /* Scoped styles for the book post */ #book-post { padding: 20px; } #book-post .post-container { padding: 20px; border-radius: 8px; max-width: 800px; box-shadow: 0 2px 5px rgba(0,0,0,0.1); } #book-post .post-header { margin-bottom: 20px; } #book-post .post-header h1 { margin: 0; font-size: 2em; } #book-post .post-header h2 { margin: 0; font-size: 1.2em; } #book-post .book-details { width: 100%; border-collapse: collapse; margin-bottom: 20px; } #book-post .book-details th, #book-post .book-details td { border: 1px solid oklch(0.351 0.0176 260); padding: 8px; text-align: left; } #book-post .book-cover { max-width: 200px; border-radius: 8px; margin: 0 auto; padding-left: 15px; float: right; } #book-post .description { line-height: 1.6; } #book-post .info-link { display: block; margin-top: 20px; } Across the Sea of Suns by Gregory Benford Publisher Aspect/Warner Books Published Date 2014-07-02 Page Count 263 Categories FICTION Language EN Average Rating N/A (based on N/A ratings) Maturity Rating No Mature Content Detected ISBN 0446591637 Lancer, a spaceship built to specifications found in the computers of an alien derelict, journeys to the star, Ra, from which the Earth has received mysterious radio transmissions in English. More Information

Twenty-First Century Science Fiction /* Scoped styles for the book post */ #book-post { padding: 20px; } #book-post .post-container { padding: 20px; border-radius: 8px; max-width: 800px; box-shadow: 0 2px 5px rgba(0,0,0,0.1); } #book-post .post-header { margin-bottom: 20px; } #book-post .post-header h1 { margin: 0; font-size: 2em; } #book-post .post-header h2 { margin: 0; font-size: 1.2em; } #book-post .book-details { width: 100%; border-collapse: collapse; margin-bottom: 20px; } #book-post .book-details th, #book-post .book-details td { border: 1px solid oklch(0.351 0.0176 260); padding: 8px; text-align: left; } #book-post .book-cover { max-width: 200px; border-radius: 8px; margin: 0 auto; padding-left: 15px; float: right; } #book-post .description { line-height: 1.6; } #book-post .info-link { display: block; margin-top: 20px; } Twenty-First Century Science Fiction by David G. Hartwell, Patrick Nielsen Hayden Publisher Macmillan Published Date 2013-11-05 Page Count 572 Categories Fiction / Science Fiction / General, Fiction / Science Fiction / Collections & Anthologies Language EN Average Rating N/A (based on N/A ratings) Maturity Rating No Mature Content Detected ISBN 0765326000 Twenty-First Century Science Fiction is an enormous anthology of short stories—close to 250,000 words—edited by two of the most prestigious and award-winning editors in the SF field and featuring recent stories from some of science fiction's greatest up-and-coming authors. David Hartwell and Patrick Nielsen Hayden have long been recognized as two of the most skilled and trusted arbiters of the field, but Twenty-First Century Science Fiction presents fans' first opportunities to see what their considerable talents come up with together, and also to get a unique perspective on what's coming next in the science fiction field. The anthology includes authors ranging from bestselling and established favorites to incandescent new talents including Paolo Bacigalupi, Cory Doctorow, Catherynne M. Valente, John Scalzi, Jo Walton, Charles Stross, Elizabeth Bear, and Peter Watts, and the stories selected include winners and nominees of all of the science fiction field's major awards. One of Publishers Weekly's Best Science Fiction Books of 2013 More Information

The Long Utopia /* Scoped styles for the book post */ #book-post { padding: 20px; } #book-post .post-container { padding: 20px; border-radius: 8px; max-width: 800px; box-shadow: 0 2px 5px rgba(0,0,0,0.1); } #book-post .post-header { margin-bottom: 20px; } #book-post .post-header h1 { margin: 0; font-size: 2em; } #book-post .post-header h2 { margin: 0; font-size: 1.2em; } #book-post .book-details { width: 100%; border-collapse: collapse; margin-bottom: 20px; } #book-post .book-details th, #book-post .book-details td { border: 1px solid oklch(0.351 0.0176 260); padding: 8px; text-align: left; } #book-post .book-cover { max-width: 200px; border-radius: 8px; margin: 0 auto; padding-left: 15px; float: right; } #book-post .description { line-height: 1.6; } #book-post .info-link { display: block; margin-top: 20px; } The Long Utopia The Long Earth 4 by Terry Pratchett, Stephen Baxter Publisher National Geographic Books Published Date 2015-07-28 Page Count 0 Categories Fiction / Fantasy / General, Fiction / Fantasy / Epic, Fiction / Science Fiction / General, Fiction / Science Fiction / Action & Adventure Language EN Average Rating N/A (based on N/A ratings) Maturity Rating No Mature Content Detected ISBN 1846574293 2045-2059. After the cataclysmic upheavals of Step Day and the Yellowstone eruption humanity is spreading further into the Long Earth, and society, on a battered Datum Earth and beyond, continues to evolve. Now an elderly and cantankerous AI, Lobsang lives in disguise with Agnes in an exotic, far-distant world. He’s convinced they’re leading a normal life in New Springfield – they even adopt a child – but it seems they have been guided there for a reason. As rumours of strange sightings and hauntings proliferate, it becomes clear that something is very awry with this particular world. Millions of steps away, Joshua is on a personal journey of discovery: learning about the father he never knew and a secret family history. But then he receives a summons from New Springfield. Lobsang now understands the enormity of what’s taking place beneath the surface of his earth – a threat to all the worlds of the Long Earth. To counter this threat will require the combined efforts of humankind, machine and the super-intelligent Next. And some must make the ultimate sacrifice . . . More Information

Abductive Reasoning /* Scoped styles for the book post */ #book-post { padding: 20px; } #book-post .post-container { padding: 20px; border-radius: 8px; max-width: 800px; box-shadow: 0 2px 5px rgba(0,0,0,0.1); } #book-post .post-header { margin-bottom: 20px; } #book-post .post-header h1 { margin: 0; font-size: 2em; } #book-post .post-header h2 { margin: 0; font-size: 1.2em; } #book-post .book-details { width: 100%; border-collapse: collapse; margin-bottom: 20px; } #book-post .book-details th, #book-post .book-details td { border: 1px solid oklch(0.351 0.0176 260); padding: 8px; text-align: left; } #book-post .book-cover { max-width: 200px; border-radius: 8px; margin: 0 auto; padding-left: 15px; float: right; } #book-post .description { line-height: 1.6; } #book-post .info-link { display: block; margin-top: 20px; } Abductive Reasoning Logical Investigations into Discovery and Explanation by Atocha Aliseda Publisher Springer Science & Business Media Published Date 2006-02-16 Page Count 239 Categories Philosophy / Logic, Science / Philosophy & Social Aspects, Philosophy / Epistemology, Computers / Artificial Intelligence / General, Philosophy / Movements / Pragmatism, Philosophy / General, Philosophy / History & Surveys / Modern Language EN Average Rating N/A (based on N/A ratings) Maturity Rating No Mature Content Detected ISBN 1402039077 Abductive Reasoning: Logical Investigations into Discovery and Explanation is a much awaited original contribution to the study of abductive reasoning, providing logical foundations and a rich sample of pertinent applications. Divided into three parts on the conceptual framework, the logical foundations, and the applications, this monograph takes the reader for a comprehensive and erudite tour through the taxonomy of abductive reasoning, via the logical workings of abductive inference ending with applications pertinent to scientific explanation, empirical progress, pragmatism and belief revision. More Information

Natural and Artificial Intelligence /* Scoped styles for the book post */ #book-post { padding: 20px; } #book-post .post-container { padding: 20px; border-radius: 8px; max-width: 800px; box-shadow: 0 2px 5px rgba(0,0,0,0.1); } #book-post .post-header { margin-bottom: 20px; } #book-post .post-header h1 { margin: 0; font-size: 2em; } #book-post .post-header h2 { margin: 0; font-size: 1.2em; } #book-post .book-details { width: 100%; border-collapse: collapse; margin-bottom: 20px; } #book-post .book-details th, #book-post .book-details td { border: 1px solid oklch(0.351 0.0176 260); padding: 8px; text-align: left; } #book-post .book-cover { max-width: 200px; border-radius: 8px; margin: 0 auto; padding-left: 15px; float: right; } #book-post .description { line-height: 1.6; } #book-post .info-link { display: block; margin-top: 20px; } Natural and Artificial Intelligence Introduction to Computational Brain-mind by Juyang Weng Publisher BMI Press Published Date 2012 Page Count 429 Categories Computers / General, Science / General Language EN Average Rating N/A (based on N/A ratings) Maturity Rating No Mature Content Detected ISBN 0985875712 The mind is what the brain does. This book tries to map a mind model to the corresponding brain so as to not only deepen our understanding of both the brain and the mind, but also unveil computational underpinnings. That is why the words ?Brain-Mind? are hyphenated in the title. This volume strives to unify natural intelligence with artificial intelligence. It approaches intelligence through not only what intelligence is but also how intelligence arises.Examples of disciplinary questions related to the material in this book:Biology: How does each autonomous cell interact with the environment to give rise to animal behaviors, and what cellular roles is the genome likely to play?Neuroscience: From an overarching perspective, how does a brain self-wire, perform top-down attention, and develop its functions?Psychology: How does an integrated brain architecture accomplish multiple psychological learning models and develop brain's external behaviors?Computer Science: How does a brain-like network compute, adapt, reason, and generalize, and how is the automaton theory related to the brain-like network?Electrical Engineering: How does a brain-like network perform general-purpose, nonlinear, feedback sensing-and-control, beyond traditional nonlinear control?Mathematics: How does a brain-like network perform general-purpose, nonlinear optimization, and how does a brain realize emergent functionals?Physics: How do meanings arise from physics, and how does a brain-like network treat space and time in a unified way, reminiscent of relativity?Social sciences: How do computational principles of human brains provide insight into possible solutions to a variety of social and political problems?Juyang Weng received his BS degree from Fudan University, and MS and PhD degrees from University of Illinois, Urbana-Champaign, all in Computer Science. He is a professor at the Dept. of Computer Science and Engineering, a faculty member of the Cognitive Science Program and the Neuroscience Program, Michigan State University, East Lansing, Michigan, USA. He is a fellow of IEEE. More Information

Neural Network Architectures for Artificial Intelligence /* Scoped styles for the book post */ #book-post { padding: 20px; } #book-post .post-container { padding: 20px; border-radius: 8px; max-width: 800px; box-shadow: 0 2px 5px rgba(0,0,0,0.1); } #book-post .post-header { margin-bottom: 20px; } #book-post .post-header h1 { margin: 0; font-size: 2em; } #book-post .post-header h2 { margin: 0; font-size: 1.2em; } #book-post .book-details { width: 100%; border-collapse: collapse; margin-bottom: 20px; } #book-post .book-details th, #book-post .book-details td { border: 1px solid oklch(0.351 0.0176 260); padding: 8px; text-align: left; } #book-post .book-cover { max-width: 200px; border-radius: 8px; margin: 0 auto; padding-left: 15px; float: right; } #book-post .description { line-height: 1.6; } #book-post .info-link { display: block; margin-top: 20px; } Neural Network Architectures for Artificial Intelligence by Geoffrey E. Hinton Publisher AAAI Press Published Date 1988-08 Page Count 117 Categories Computers / Artificial Intelligence / General, Computers / Computer Architecture Language EN Average Rating N/A (based on N/A ratings) Maturity Rating No Mature Content Detected ISBN 0929280156 No description available. More Information

Swarm Intelligence /* Scoped styles for the book post */ #book-post { padding: 20px; } #book-post .post-container { padding: 20px; border-radius: 8px; max-width: 800px; box-shadow: 0 2px 5px rgba(0,0,0,0.1); } #book-post .post-header { margin-bottom: 20px; } #book-post .post-header h1 { margin: 0; font-size: 2em; } #book-post .post-header h2 { margin: 0; font-size: 1.2em; } #book-post .book-details { width: 100%; border-collapse: collapse; margin-bottom: 20px; } #book-post .book-details th, #book-post .book-details td { border: 1px solid oklch(0.351 0.0176 260); padding: 8px; text-align: left; } #book-post .book-cover { max-width: 200px; border-radius: 8px; margin: 0 auto; padding-left: 15px; float: right; } #book-post .description { line-height: 1.6; } #book-post .info-link { display: block; margin-top: 20px; } Swarm Intelligence From Natural to Artificial Systems by Eric Bonabeau, Marco Dorigo, Guy Theraulaz Publisher OUP USA Published Date 1999 Page Count 307 Categories Computers / Artificial Intelligence / General, Computers / Computer Science, Computers / Machine Theory, Medical / Neuroscience, Nature / Ecology, Science / Life Sciences / Ecology, Science / Physics / Electricity, Science / Life Sciences / Zoology / Entomology, Science / Physics / General, Science / Life Sciences / Zoology / General, Science / Life Sciences / Neuroscience Language EN Average Rating 4 (based on 3 ratings) Maturity Rating No Mature Content Detected ISBN 0195131592 Social insects--ants, bees, termites, and wasps--can be viewed as powerful problem-solving systems with sophisticated collective intelligence. Composed of simple interacting agents, this intelligence lies in the networks of interactions among individuals and between individuals and the environment. A fascinating subject, social insects are also a powerful metaphor for artificial intelligence, and the problems they solve--finding food, dividing labor among nestmates, building nests, responding to external challenges--have important counterparts in engineering and computer science. This book provides a detailed look at models of social insect behaviour and how to apply these models in the design of complex systems. The book shows how these models replace an emphasis on control, preprogramming, and centralization with designs featuring autonomy, emergence, and distributed functioning. These designs are proving immensely flexible and robust, able to adapt quickly to changing environments and to continue functioning even when individual elements fail. In particular, these designs are an exciting approach to the tremendous growth of complexity in software and information. Swarm Intelligence draws on up-to-date research from biology, neuroscience, artificial intelligence, robotics, operations research, and computer graphics, and each chapter is organized around a particular biological example, which is then used to develop an algorithm, a multiagent system, or a group of robots. The book will be an invaluable resource for a broad range of disciplines. More Information

God in the Machine /* Scoped styles for the book post */ #book-post { padding: 20px; } #book-post .post-container { padding: 20px; border-radius: 8px; max-width: 800px; box-shadow: 0 2px 5px rgba(0,0,0,0.1); } #book-post .post-header { margin-bottom: 20px; } #book-post .post-header h1 { margin: 0; font-size: 2em; } #book-post .post-header h2 { margin: 0; font-size: 1.2em; } #book-post .book-details { width: 100%; border-collapse: collapse; margin-bottom: 20px; } #book-post .book-details th, #book-post .book-details td { border: 1px solid oklch(0.351 0.0176 260); padding: 8px; text-align: left; } #book-post .book-cover { max-width: 200px; border-radius: 8px; margin: 0 auto; padding-left: 15px; float: right; } #book-post .description { line-height: 1.6; } #book-post .info-link { display: block; margin-top: 20px; } God in the Machine What Robots Teach Us about Humanity and God by Anne Foerst Publisher Dutton Published Date 2004 Page Count 212 Categories Computers / Artificial Intelligence / General, Religion / General, Religion / Philosophy, Religion / Religion & Science, Science / Biotechnology, Science / Philosophy & Social Aspects, Social Science / General, Social Science / Anthropology / Cultural & Social, Technology & Engineering / Robotics Language EN Average Rating N/A (based on N/A ratings) Maturity Rating No Mature Content Detected ISBN 0525947663 "A provocative look at the theological implications of artificial intelligence--and the controversial questions raised by robotics about our very definition of humanity--from the founder of MIT s God and Computers Project Get ready to meet two remarkable characters, Cog and Kismet. They both enjoy working with others, they re very attentive, have excellent learning skills, and, according to their colleagues, they re very charming. And they re both robots. From Hollywood to the halls of NASA, robots loom large in the popular imagination. But what feelings do these lifelike machines really provoke in us? In God in the Machine, Dr. Anne Foerst draws on her expertise as both a theologian and computer scientist to address the profound questions that robots such as Cog and Kismet raise for us all: What does it mean to be human? What does it mean to have a soul? And what do robots teach us about our relationship with God? God in the Machine challenges many popular assumptions--about the Bible, about the meaning of community, and especially about the fundamental distinctions between humanity and the artificial beings we create. Dr. Foerst shares intriguing observations about the ways we define human versus person and asks what we must do in order for all humans to be treated as equal persons. Original, controversial, and deeply insightful, God in the Machine illuminates the exciting and little-understood new terrain that lies at the intersection of technology and religion, science and faith"--Publisher description. More Information

Thinking Machines /* Scoped styles for the book post */ #book-post { padding: 20px; } #book-post .post-container { padding: 20px; border-radius: 8px; max-width: 800px; box-shadow: 0 2px 5px rgba(0,0,0,0.1); } #book-post .post-header { margin-bottom: 20px; } #book-post .post-header h1 { margin: 0; font-size: 2em; } #book-post .post-header h2 { margin: 0; font-size: 1.2em; } #book-post .book-details { width: 100%; border-collapse: collapse; margin-bottom: 20px; } #book-post .book-details th, #book-post .book-details td { border: 1px solid oklch(0.351 0.0176 260); padding: 8px; text-align: left; } #book-post .book-cover { max-width: 200px; border-radius: 8px; margin: 0 auto; padding-left: 15px; float: right; } #book-post .description { line-height: 1.6; } #book-post .info-link { display: block; margin-top: 20px; } Thinking Machines The Search for Artificial Intelligence by Igor Aleksander, Piers Burnett Publisher Knopf Published Date 1987 Page Count 208 Categories Computers / Artificial Intelligence / General Language EN Average Rating N/A (based on N/A ratings) Maturity Rating No Mature Content Detected ISBN 0394744594 A clear and clever exposition for the lay reader of a yet unsolved problem: the problem of making a machine that can actually think like a human being. Completely illustrated with brilliant, full-color graphics. More Information

Accelerando /* Scoped styles for the book post */ #book-post { padding: 20px; } #book-post .post-container { padding: 20px; border-radius: 8px; max-width: 800px; box-shadow: 0 2px 5px rgba(0,0,0,0.1); } #book-post .post-header { margin-bottom: 20px; } #book-post .post-header h1 { margin: 0; font-size: 2em; } #book-post .post-header h2 { margin: 0; font-size: 1.2em; } #book-post .book-details { width: 100%; border-collapse: collapse; margin-bottom: 20px; } #book-post .book-details th, #book-post .book-details td { border: 1px solid oklch(0.351 0.0176 260); padding: 8px; text-align: left; } #book-post .book-cover { max-width: 200px; border-radius: 8px; margin: 0 auto; padding-left: 15px; float: right; } #book-post .description { line-height: 1.6; } #book-post .info-link { display: block; margin-top: 20px; } Accelerando by Charles Stross Publisher Ace Books Published Date 2005 Page Count 390 Categories Fiction / Science Fiction / Space Opera Language EN Average Rating N/A (based on N/A ratings) Maturity Rating No Mature Content Detected ISBN 0441012841 Expanding upon his award-winning short story cycle from the pages of Asimov's Science Fiction Magazine, Charles Stross-author of such revolutionary science fiction novels as Singularity Sky and Iron Sunrise-delivers the story fans have been anticipating with Accelerando, a novel destined to change the face of the genre. For three generations, the Macz family has struggled to cope with the rampant technological achievements that have rendered humans near obsolete. And mankind's end encroaches even closer when something starts to dismantle the nine planets of the solar system in an effort to annihilate all biological lifeforms. More Information

Artificial Intelligent Approaches in Petroleum Geosciences /* Scoped styles for the book post */ #book-post { padding: 20px; } #book-post .post-container { padding: 20px; border-radius: 8px; max-width: 800px; box-shadow: 0 2px 5px rgba(0,0,0,0.1); } #book-post .post-header { margin-bottom: 20px; } #book-post .post-header h1 { margin: 0; font-size: 2em; } #book-post .post-header h2 { margin: 0; font-size: 1.2em; } #book-post .book-details { width: 100%; border-collapse: collapse; margin-bottom: 20px; } #book-post .book-details th, #book-post .book-details td { border: 1px solid oklch(0.351 0.0176 260); padding: 8px; text-align: left; } #book-post .book-cover { max-width: 200px; border-radius: 8px; margin: 0 auto; padding-left: 15px; float: right; } #book-post .description { line-height: 1.6; } #book-post .info-link { display: block; margin-top: 20px; } Artificial Intelligent Approaches in Petroleum Geosciences by Constantin Cranganu Publisher Springer Nature Published Date 2024 Page Count 277 Categories Uncategorized Language EN Average Rating N/A (based on N/A ratings) Maturity Rating No Mature Content Detected ISBN 3031527151 Zusammenfassung: This book presents cutting-edge approaches to solving practical problems faced by professionals in the petroleum industry and geosciences. With various state-of-the-art working examples from experienced academics, the book offers an exposure to the latest developments in intelligent methods for oil and gas research, exploration, and production. This second edition is updated with new chapters on machine learning approaches, data-driven modelling techniques, and neural networks. The book delves into machine learning approaches, including evolutionary algorithms, swarm intelligence, fuzzy logic, deep artificial neural networks, KNN, decision tree, random forest, XGBoost, and LightGBM. it also analyzes the strengths and weaknesses of each method and emphasizes essential parameters like robustness, accuracy, speed of convergence, computer time, overlearning, and normalization. Integration, data handling, risk management, and uncertainty management are all crucial issues in petroleum geosciences. The complexities of these problems require a multidisciplinary approach that fuses petroleum engineering, geology, geophysics, and geochemistry. Essentially, this book presents an approach for integrating various disciplines such as data fusion, risk reduction, and uncertainty management. Whether you are a professional or a student, you can greatly benefit from the latest advancements in intelligent methods applied to oil and gas research. This comprehensive and updated book presents cutting-edge approaches and real-world examples that can help you in solving the intricate challenges of the petroleum industry and geosciences More Information

Brain Thief /* Scoped styles for the book post */ #book-post { padding: 20px; } #book-post .post-container { padding: 20px; border-radius: 8px; max-width: 800px; box-shadow: 0 2px 5px rgba(0,0,0,0.1); } #book-post .post-header { margin-bottom: 20px; } #book-post .post-header h1 { margin: 0; font-size: 2em; } #book-post .post-header h2 { margin: 0; font-size: 1.2em; } #book-post .book-details { width: 100%; border-collapse: collapse; margin-bottom: 20px; } #book-post .book-details th, #book-post .book-details td { border: 1px solid oklch(0.351 0.0176 260); padding: 8px; text-align: left; } #book-post .book-cover { max-width: 200px; border-radius: 8px; margin: 0 auto; padding-left: 15px; float: right; } #book-post .description { line-height: 1.6; } #book-post .info-link { display: block; margin-top: 20px; } Brain Thief by Alexander Jablokov Publisher St. Martin's Press Published Date 2012-10-30 Page Count 368 Categories Fiction / General, Fiction / Science Fiction / General, Fiction / Science Fiction / Action & Adventure, Fiction / Science Fiction / Cyberpunk Language EN Average Rating N/A (based on N/A ratings) Maturity Rating No Mature Content Detected ISBN 0765361728 Alexander Jablokov returns to SF with his best book ever. Bernal Haydon-Rumi, executive assistant to a funder of eccentric projects, drops by his boss’s house on the way home from a business trip. By the next morning, he’s been knocked out, his wealthy socialite boss Muriel has stolen a car and vanished, and the AI designed for planetary exploration that she’s been funding turns out to be odder than it should be. In figuring out what’s going on, Bernal has to deal with an anti-AI activist toting a handmade electronic arsenal, a local serial killer, a drug dealer with a business problem, a cryonic therapist stalked by past mistakes—and someone who specifically wants Bernal dead. Brain Thief is a fun, literate speculative fiction adventure, sort of New England cyberpunk noir, set a year or ten from now, somewhere between the Berkshires and Boston, and includes, at no extra charge, a 30-foot-tall fiberglass cowgirl. More Information

Building Expert Systems in Prolog /* Scoped styles for the book post */ #book-post { padding: 20px; } #book-post .post-container { padding: 20px; border-radius: 8px; max-width: 800px; box-shadow: 0 2px 5px rgba(0,0,0,0.1); } #book-post .post-header { margin-bottom: 20px; } #book-post .post-header h1 { margin: 0; font-size: 2em; } #book-post .post-header h2 { margin: 0; font-size: 1.2em; } #book-post .book-details { width: 100%; border-collapse: collapse; margin-bottom: 20px; } #book-post .book-details th, #book-post .book-details td { border: 1px solid oklch(0.351 0.0176 260); padding: 8px; text-align: left; } #book-post .book-cover { max-width: 200px; border-radius: 8px; margin: 0 auto; padding-left: 15px; float: right; } #book-post .description { line-height: 1.6; } #book-post .info-link { display: block; margin-top: 20px; } Building Expert Systems in Prolog by Dennis Merritt Publisher Springer New York Published Date 1989-06-21 Page Count 358 Categories Computers / Artificial Intelligence / General, Computers / Artificial Intelligence / Expert Systems, Computers / Languages / General, Computers / Software Development & Engineering / General Language EN Average Rating N/A (based on N/A ratings) Maturity Rating No Mature Content Detected ISBN 0387970169 When I compare the books on expert systems in my library with the production expert systems I know of, I note that there are few good books on building expert systems in Prolog. Of course, the set of actual production systems is a little small for a valid statistical sample, at least at the time and place of this writing - here in Gennany, and in the first days of 1989. But there are at least some systems I have seen running in real life commercial and industrial environments, and not only at trade shows. I can observe the most impressive one in my immediate neighborhood. It is installed in the Telephone Shop of the Gennan Federal PTT near the Munich National Theater, and helps configure telephone systems and small PBXs for mostly private customers. It has a neat, graphical interface, and constructs and prices an individual telephone installation interactively before the very eyes of the customer. The hidden features of the system are even more impressive. It is part of an expert system network with a distributed knowledge base that will grow to about 150 installations in every Telephone Shop throughout Gennany. Each of them can be updated individually overnight via Teletex to present special offers or to adapt the selection process to the hardware supplies currently available at the local ware houses. More Information

Swarm Intelligence /* Scoped styles for the book post */ #book-post { padding: 20px; } #book-post .post-container { padding: 20px; border-radius: 8px; max-width: 800px; box-shadow: 0 2px 5px rgba(0,0,0,0.1); } #book-post .post-header { margin-bottom: 20px; } #book-post .post-header h1 { margin: 0; font-size: 2em; } #book-post .post-header h2 { margin: 0; font-size: 1.2em; } #book-post .book-details { width: 100%; border-collapse: collapse; margin-bottom: 20px; } #book-post .book-details th, #book-post .book-details td { border: 1px solid oklch(0.351 0.0176 260); padding: 8px; text-align: left; } #book-post .book-cover { max-width: 200px; border-radius: 8px; margin: 0 auto; padding-left: 15px; float: right; } #book-post .description { line-height: 1.6; } #book-post .info-link { display: block; margin-top: 20px; } Swarm Intelligence by James Kennedy, Russell C. Eberhart, Yuhui Shi Publisher Morgan Kaufmann Published Date 2001-03-26 Page Count 512 Categories Computers / Artificial Intelligence / General, Computers / Software Development & Engineering / Computer Graphics, Computers / Artificial Intelligence / Expert Systems, Computers / Programming / Algorithms, Mathematics / Probability & Statistics / Stochastic Processes, Social Science / General, Technology & Engineering / Engineering (General), Technology & Engineering / Systems Engineering Language EN Average Rating 3.5 (based on 6 ratings) Maturity Rating No Mature Content Detected ISBN 1558605959 Traditional methods for creating intelligent computational systems have privileged private "internal" cognitive and computational processes. In contrast, Swarm Intelligence argues that human intelligence derives from the interactions of individuals in a social world and further, that this model of intelligence can be effectively applied to artificially intelligent systems. The authors first present the foundations of this new approach through an extensive review of the critical literature in social psychology, cognitive science, and evolutionary computation. They then show in detail how these theories and models apply to a new computational intelligence methodology-particle swarms-which focuses on adaptation as the key behavior of intelligent systems. Drilling down still further, the authors describe the practical benefits of applying particle swarm optimization to a range of engineering problems. Developed by the authors, this algorithm is an extension of cellular automata and provides a powerful optimization, learning, and problem solving method. This important book presents valuable new insights by exploring the boundaries shared by cognitive science, social psychology, artificial life, artificial intelligence, and evolutionary computation and by applying these insights to the solving of difficult engineering problems. Researchers and graduate students in any of these disciplines will find the material intriguing, provocative, and revealing as will the curious and savvy computing professional. Features Places particle swarms within the larger context of intelligent adaptive behavior and evolutionary computation. Describes recent results of experiments with the particle swarm optimization (PSO) algorithm Includes a basic overview of statistics to ensure readers can properly analyze the results of their own experiments using the algorithm. Support software which can be downloaded from the publishers website, includes a Java PSO applet, C and Visual Basic source code. More Information

Machine Learning /* Scoped styles for the book post */ #book-post { padding: 20px; } #book-post .post-container { padding: 20px; border-radius: 8px; max-width: 800px; box-shadow: 0 2px 5px rgba(0,0,0,0.1); } #book-post .post-header { margin-bottom: 20px; } #book-post .post-header h1 { margin: 0; font-size: 2em; } #book-post .post-header h2 { margin: 0; font-size: 1.2em; } #book-post .book-details { width: 100%; border-collapse: collapse; margin-bottom: 20px; } #book-post .book-details th, #book-post .book-details td { border: 1px solid oklch(0.351 0.0176 260); padding: 8px; text-align: left; } #book-post .book-cover { max-width: 200px; border-radius: 8px; margin: 0 auto; padding-left: 15px; float: right; } #book-post .description { line-height: 1.6; } #book-post .info-link { display: block; margin-top: 20px; } Machine Learning Discriminative and Generative by Tony Jebara Publisher Springer Science & Business Media Published Date 2012-12-06 Page Count 200 Categories Computers / Artificial Intelligence / General, Mathematics / Probability & Statistics / General, Computers / System Administration / Storage & Retrieval, Computers / Artificial Intelligence / Computer Vision & Pattern Recognition, Computers / Information Technology Language EN Average Rating N/A (based on N/A ratings) Maturity Rating No Mature Content Detected ISBN 1441990119 Machine Learning: Discriminative and Generative covers the main contemporary themes and tools in machine learning ranging from Bayesian probabilistic models to discriminative support-vector machines. However, unlike previous books that only discuss these rather different approaches in isolation, it bridges the two schools of thought together within a common framework, elegantly connecting their various theories and making one common big-picture. Also, this bridge brings forth new hybrid discriminative-generative tools that combine the strengths of both camps. This book serves multiple purposes as well. The framework acts as a scientific breakthrough, fusing the areas of generative and discriminative learning and will be of interest to many researchers. However, as a conceptual breakthrough, this common framework unifies many previously unrelated tools and techniques and makes them understandable to a larger portion of the public. This gives the more practical-minded engineer, student and the industrial public an easy-access and more sensible road map into the world of machine learning. Machine Learning: Discriminative and Generative is designed for an audience composed of researchers & practitioners in industry and academia. The book is also suitable as a secondary text for graduate-level students in computer science and engineering. More Information

Artificial Intelligence /* Scoped styles for the book post */ #book-post { padding: 20px; } #book-post .post-container { padding: 20px; border-radius: 8px; max-width: 800px; box-shadow: 0 2px 5px rgba(0,0,0,0.1); } #book-post .post-header { margin-bottom: 20px; } #book-post .post-header h1 { margin: 0; font-size: 2em; } #book-post .post-header h2 { margin: 0; font-size: 1.2em; } #book-post .book-details { width: 100%; border-collapse: collapse; margin-bottom: 20px; } #book-post .book-details th, #book-post .book-details td { border: 1px solid oklch(0.351 0.0176 260); padding: 8px; text-align: left; } #book-post .book-cover { max-width: 200px; border-radius: 8px; margin: 0 auto; padding-left: 15px; float: right; } #book-post .description { line-height: 1.6; } #book-post .info-link { display: block; margin-top: 20px; } Artificial Intelligence A Guide for Thinking Humans by Melanie Mitchell Publisher Penguin Books Published Date 2020 Page Count 419 Categories Computers / Artificial Intelligence / General, Computers / Social Aspects, Science / General, Science / Philosophy & Social Aspects, Social Science / Future Studies, Social Science / Technology Studies, Technology & Engineering / Social Aspects Language EN Average Rating N/A (based on N/A ratings) Maturity Rating No Mature Content Detected ISBN 0241404835 No recent scientific enterprise has been so alluring, terrifying, and filled with extravagant promise and frustrating setbacks as artificial intelligence. How intelligent are the best of today's AI programs? To what extent can we entrust them with decisions that affect our lives? How human-like do we expect them to become, and how soon do we need to worry about them surpassing us in most, if not all, human endeavours? From leading AI researcher and award-winning author Melanie Mitchell comes a knowledgeable and captivating account of modern-day artificial intelligence. Flavoured with personal stories and a twist of humour, Artificial Intelligence illuminates the workings of machines that mimic human learning, perception, language, creativity and common sense. Weaving together advances in AI with cognitive science and philosophy, Mitchell probes the extent to which today's 'smart' machines can actually think or understand, and whether AI requires such elusive human qualities in order to be reliable, trustworthy and beneficial. Artificial Intelligence- A Guide for Thinking Humans provides readers with an accessible, entertaining and clear-eyed view of the AI landscape, what the field has actually accomplished, how much further it has to go and what it means for all of our futures. More Information

Emotion in Video Game Soundtracking /* Scoped styles for the book post */ #book-post { padding: 20px; } #book-post .post-container { padding: 20px; border-radius: 8px; max-width: 800px; box-shadow: 0 2px 5px rgba(0,0,0,0.1); } #book-post .post-header { margin-bottom: 20px; } #book-post .post-header h1 { margin: 0; font-size: 2em; } #book-post .post-header h2 { margin: 0; font-size: 1.2em; } #book-post .book-details { width: 100%; border-collapse: collapse; margin-bottom: 20px; } #book-post .book-details th, #book-post .book-details td { border: 1px solid oklch(0.351 0.0176 260); padding: 8px; text-align: left; } #book-post .book-cover { max-width: 200px; border-radius: 8px; margin: 0 auto; padding-left: 15px; float: right; } #book-post .description { line-height: 1.6; } #book-post .info-link { display: block; margin-top: 20px; } Emotion in Video Game Soundtracking by Duncan Williams, Newton Lee Publisher Springer International Publishing Published Date 2018-02-19 Page Count 167 Categories Computers / Human-Computer Interaction (HCI), Computers / User Interfaces, Computers / Design, Graphics & Media / General, Computers / Programming / Games, Music / General, Mathematics / Applied, Computers / Operating Systems / General, Computers / Design, Graphics & Media / Graphics Tools, Music / Instruction & Study / Theory Language EN Average Rating N/A (based on N/A ratings) Maturity Rating No Mature Content Detected ISBN 3319722719 This book presents an overview of the emerging field of emotion in videogame soundtracking. The emotional impact of music has been well-documented, particularly when used to enhance the impact of a multimodal experience, such as combining images with audio as found in the videogames industry. Soundtracking videogames presents a unique challenge compared to traditional composition (for example film music) in that the narrative of gameplay is non-linear – Player dependent actions can change the narrative and thus the emotional characteristics required in the soundtrack. Historical approaches to emotion measurement, and the musical feature mapping and music selection that might be used in video game soundtracking are outlined, before a series of cutting edge examples are given. These examples include algorithmic composition techniques, automated emotion matching from biosensors, motion capture techniques, emotionally-targeted speech synthesis and signal processing, and automated repurposing of existing music (for example from a players own library). The book concludes with some possibilities for the future. More Information

The Game Maker's Companion /* Scoped styles for the book post */ #book-post { padding: 20px; } #book-post .post-container { padding: 20px; border-radius: 8px; max-width: 800px; box-shadow: 0 2px 5px rgba(0,0,0,0.1); } #book-post .post-header { margin-bottom: 20px; } #book-post .post-header h1 { margin: 0; font-size: 2em; } #book-post .post-header h2 { margin: 0; font-size: 1.2em; } #book-post .book-details { width: 100%; border-collapse: collapse; margin-bottom: 20px; } #book-post .book-details th, #book-post .book-details td { border: 1px solid oklch(0.351 0.0176 260); padding: 8px; text-align: left; } #book-post .book-cover { max-width: 200px; border-radius: 8px; margin: 0 auto; padding-left: 15px; float: right; } #book-post .description { line-height: 1.6; } #book-post .info-link { display: block; margin-top: 20px; } The Game Maker's Companion by Jacob Habgood, Nana Nielsen, Kevin Crossley, Martin Rijks Publisher Apress Published Date 2010-12-31 Page Count 440 Categories Computers / Programming / Games, Computers / Social Aspects / Human-Computer Interaction, Computers / Information Technology, Computers / General Language EN Average Rating N/A (based on N/A ratings) Maturity Rating No Mature Content Detected ISBN 143022827X When I created the first version of Game Maker in 1999, I naturally had no idea that it would achieve its current status of the most-used game-creation package in the world. The program was still rather limited. You could only create very simple games with it and the package was downloaded only a few hundred times per month. A lot has changed over the past ten years. New versions of Game Maker were released that made it possible to create sophisticated stand-alone games. The number of downloads rose to over 150,000 per month, and the company YoYo Games was formed that now develops and distributes the program. The site of YoYo Games (www.yoyogames.com) has already collected close to 100,000 games made with Game Maker and this number is rapidly increasing. But one thing has not changed. Most of the games created with Game Maker are still very simple and do not use many of the advanced features that the program offers. They also often lack sophistication in their gameplay. One of the reasons for this is that there was no text book for the more advanced Game Maker users. That is, until this book came along. A book dedicated to those that have already created their first games and want to learn more. More Information

Programming in Prolog /* Scoped styles for the book post */ #book-post { padding: 20px; } #book-post .post-container { padding: 20px; border-radius: 8px; max-width: 800px; box-shadow: 0 2px 5px rgba(0,0,0,0.1); } #book-post .post-header { margin-bottom: 20px; } #book-post .post-header h1 { margin: 0; font-size: 2em; } #book-post .post-header h2 { margin: 0; font-size: 1.2em; } #book-post .book-details { width: 100%; border-collapse: collapse; margin-bottom: 20px; } #book-post .book-details th, #book-post .book-details td { border: 1px solid oklch(0.351 0.0176 260); padding: 8px; text-align: left; } #book-post .book-cover { max-width: 200px; border-radius: 8px; margin: 0 auto; padding-left: 15px; float: right; } #book-post .description { line-height: 1.6; } #book-post .info-link { display: block; margin-top: 20px; } Programming in Prolog Using the ISO Standard by William F. Clocksin, Christopher S. Mellish Publisher Springer Science & Business Media Published Date 2012-12-06 Page Count 282 Categories Computers / Languages / General, Computers / Artificial Intelligence / General, Computers / Programming / General Language EN Average Rating N/A (based on N/A ratings) Maturity Rating No Mature Content Detected ISBN 3642975968 The continued popularity of Prolog and oflogic programming in general has called for a new edition in which we have corrected a few minor errors found in the previous edition. Since the previous edition of this book, the development of Prolog has proceeded with much vigour and creativity on the part of hundreds of researchers around the world. For example, the International Conference on Logic Programming will meet in 1995 for the twelfth time; the Internet newsgroup comp . 1 ang . pro log exchanges many messages daily; and there are numerous World-Wide Web resources of interest to Prolog users. It is no longer posssible to track the many books on Prolog and implementations of Prolog that are now available. The Prolog idea has been extended to new languages for manipulating sets of constraints, functional expressions, type hierarchies, and object-oriented programs. And yet throughout this time the Edinburgh Prolog syntax and semantics have served as a standard and as a base of stability. In tum, we hope that this book can continue to serve as an introduction to the language and its use. Cambridge, England W. F. C. July 1994 C. S. M. PREFACE TO THE THIRD EDITION We have added new material to Chapter 3 to give an account of up-to-date programming techniques using accumulators and difference structures. Chapter 8 contains some new information on syntax errors. Operator precedences are now compatible with the most widely-used implementations. More Information