The Leading eBooks Store Online

3,667,858 members ⚫ 1,180,414 ebooks

New to eBooks.com?

Learn more
Browse our categories
  • Bestsellers - This Week
  • Foreign Language Study
  • Pets
  • Bestsellers - Last 6 months
  • Games
  • Philosophy
  • Archaeology
  • Gardening
  • Photography
  • Architecture
  • Graphic Books
  • Poetry
  • Art
  • Health & Fitness
  • Political Science
  • Biography & Autobiography
  • History
  • Psychology & Psychiatry
  • Body Mind & Spirit
  • House & Home
  • Reference
  • Business & Economics
  • Humor
  • Religion
  • Children's & Young Adult Fiction
  • Juvenile Nonfiction
  • Romance
  • Computers
  • Language Arts & Disciplines
  • Science
  • Crafts & Hobbies
  • Law
  • Science Fiction
  • Current Events
  • Literary Collections
  • Self-Help
  • Drama
  • Literary Criticism
  • Sex
  • Education
  • Literary Fiction
  • Social Science
  • The Environment
  • Mathematics
  • Sports & Recreation
  • Family & Relationships
  • Media
  • Study Aids
  • Fantasy
  • Medical
  • Technology
  • Fiction
  • Music
  • Transportation
  • Folklore & Mythology
  • Nature
  • Travel
  • Food and Wine
  • Performing Arts
  • True Crime
  • Foreign Language Books
Logic programming

Most popular at the top

  • Evolving Knowledge Basesby J.A. Leite

    IOS Press 2003; US$ 73.00

    An Evolving Knowledge Base (EKB) is capable of self evolution by means of its internally specified behaviour. In this thesis the author incrementally specifies, semantically characterizes and illustrates with examples, the concepts and tools necessary to the development of EKBs. more...

  • An Inductive Logic Programming Approach to Statistical Relational Learningby K. Kersting

    IOS Press 2006; US$ 131.00

    Talks about Logic Programming, Uncertainty Reasoning and Machine Learning. This book includes definitions that circumscribe the area formed by extending Inductive Logic Programming to cases annotated with probability values. It investigates the approach of Learning from proofs and the issue of upgrading Fisher Kernels to Relational Fisher Kernels. more...

  • The Clausal Theory of Typesby D. A. Wolfram

    Cambridge University Press 1993; US$ 32.00 US$ 26.24

    In this book is presented the theoretical foundation of a higher-order logic programming language with equality, based on the clausal theory of types. more...

  • Quantitative Logic and Soft Computingby Bing-Yuan Cao; Shuili Chen; Guojun Wang; Sicong Guo

    Springer Berlin Heidelberg 2010; US$ 515.56

    Admittedly, the notion ?intelligence or intelligent computing? has been around us for several decades, implicitly indicating any non-conventional methods of solving complex system problems such as expert systems and intelligent control techniques that mimic human skill and replace human operators for automation. Various kinds of intelligent methods... more...

  • Logic And Declarative Languageby M. Downward

    Taylor and Francis 2004; US$ 62.95

    Logic has acquired a reputation for difficulty, perhaps because many of the approaches adopted have been more suitable for mathematicians than computer scientists. This book shows that the subject is not inherently difficult and that the connections between logic and declarative language are straightforward. Many exercises have been included in the... more...

  • Visual Basic Design Patternsby Mark Grand; Brad Merrill

    Wiley 2005; US$ 45.00 US$ 31.50

    Design Patterns are a type of pattern used in the initial design phase of an object-oriented development project Documents 46 Visual Basic .NET design patterns, including 20 that have never before been published Features case studies that demonstrate how to use design patterns effectively in the real world-and even explains where not to use... more...

  • Principles of Logic and Logic Programmingby G. Metakides; A. Nerode

    Elsevier Science 1996; US$ 225.00

    Logic's basic elements are unfolded in this book. The relation of and the transition from Logic to Logic Programming are analysed. With the use and the development of computers in the beginning of the 1950's, it soon became clear that computers could be used, not only for arithmetical computation, but also for symbolic computation. Hence, the first... more...

  • Mathematical Programmingby S. M. Sinha

    Elsevier Science 2005; US$ 78.95

    Mathematical Programming, a branch of Operations Research, is perhaps the most efficient technique in making optimal decisions. It has a very wide application in the analysis of management problems, in business and industry, in economic studies, in military problems and in many other fields of our present day activities. In this keen competetive world,... more...

  • Non-Deterministic Concurrent Logic Programming in Pandoraby R. Bahgat

    World Scientific Publishing Company 1993; US$ 79.00 US$ 64.78

    This monograph is the first comprehensive study of the design, application, and implementation of Pandora, a new parallel logic programming language. Pandora combines stream and-parallelism with don't-know non-determinism in a unified and efficient manner. As a result, it provides a programming paradigm of non-deterministic concurrent communicating... more...

  • Mathematical Aspects of Logic Programming Semanticsby Pascal Hitzler; Anthony Seda

    CRC Press 2016; US$ 109.95

    Covering the authors? own state-of-the-art research results, Mathematical Aspects of Logic Programming Semantics presents a rigorous, modern account of the mathematical methods and tools required for the semantic analysis of logic programs. It significantly extends the tools and methods from traditional order theory to include nonconventional methods... more...