LIBROS DEL AUTOR: d m gabbay

7 resultados para LIBROS DEL AUTOR: d m gabbay

  • Intelligent Design versus Evolution
    Shlomo Gabbay M.D.
    Dr. Gabbay is a heart surgeon. He graduated from Tel Aviv. Dr. Gabbay got his training in cardiac surgery at the Albert Einstein College of Medicine in New York (graduated in 1980). His knowledge of science was always of multidisciplinary scope. Dr. Gabbay was always interested not only in biology and medicine but also on social issues. While studying in medical school the scie...
    Disponible

    14,99 €

  • Elementary Logic with Applications
    D M Gabbay / O T Rodrigues
    Elementary Logic with Applications is written for undergraduate logic and logic programming courses. Logic has been applied to a wide variety of subjects such as software engineering and hardware design, to programming and artificial intelligence. In this way, it has served to stimulate the search for clear conceptual foundations. Recently many extensions of classical logic suc...
    Disponible

    23,69 €

  • Neural-Symbolic Cognitive Reasoning
    Artur S. d’Avila Garcez / Dov M. Gabbay / Luís C. Lamb
    Logic and Knowledge Representation.- Artificial Neural Networks.- Neural-Symbolic Learning Systems.- Connectionist Modal Logic.- Connectionist Temporal Reasoning.- Connectionist Intuitionistic Reasoning.- Applications of Connectionist Nonclassical Reasoning.- Fibring Neural Networks.- Relational Learning in Neural Networks.- Argumentation Frameworks as Neural Networks.- Reasoni...
    Disponible

    103,54 €

  • Second Order Quantifier Elimination
    A. Szalas / ASzalas / D. M. Gabbay / DMGabbay / R. Schmidt / RSchmidt
    In recent years there has been an increasing use of logical methods and significant new developments have been spawned in several areas of computer science, ranging from artificial intelligence and software engineering to agent-based systems and the semantic web. In the investigation and application of logical methods there is a tension between:* the need for a representational...
    Disponible

    41,78 €

  • A New Approach to Quantum Logic
    D. Lehmann / D. M. Gabbay / DLehmann / DMGabbay / K. Engesser / KEngesser
    This monograph is an investigation into certain new logical structures implicit in the formalism of quantum mechanics.Its message rests on two pillars. The first pillar is the dynamic view of propositions. Propositions are viewed as acting on states of the world and changing them rather than just being true or false in them. The second pillar is a logical enquiry into the natur...
    Disponible

    38,89 €

  • Logic for Artificial Intelligence and Information Technology
    D. M. Gabbay / DMGabbay
    Logic for Artificial Intelligence and Information Technology is based on student notes used to teach logic to second year undergraduates and Artificial Intelligence to graduate students at the University of London since1984, first at Imperial College and later at King’s College.Logic has been applied to a wide variety of subjects such as theoretical computer science, software ...
    Disponible

    43,98 €

  • Neural-Symbolic Learning Systems
    Artur S. d’Avila Garcez / Dov M. Gabbay / Krysia Broda
    Artificial Intelligence is concerned with producing devices that help or replace human beings in their daily activities. Neural-symbolic learning systems play a central role in this task by combining, and trying to benefit from, the advantages of both the neural and symbolic paradigms of artificial intelligence. This book provides a comprehensive intr...
    Disponible

    195,38 €