LIBROS DEL AUTOR: dov m gabbay

10 resultados para LIBROS DEL AUTOR: dov m gabbay

dov m gabbay Eliminar filtro Quitar filtros
  • A New Perspective on Nonmonotonic Logics
    Dov M. Gabbay / Karl Schlechta
    In this book the authors present new results on interpolation for nonmonotonic logics, abstract (function) independence, the Talmudic Kal Vachomer rule, and an equational solution of contrary-to-duty obligations. The chapter on formal construction is the conceptual core of the book, where the authors combine the ideas of several types of nonmonotonic logics and their analysis o...
    Disponible

    133,52 €

  • Reactive Kripke Semantics
    Dov M. Gabbay
    This text offers an extension to the traditional Kripke semantics for non-classical logics by adding the notion of reactivity. Reactive Kripke models change their accessibility relation as we progress in the evaluation process of formulas in the model. This feature makes the reactive Kripke semantics strictly stronger and more applicable than the traditional one. Here we invest...
    Disponible

    136,81 €

  • Meta-Logical Investigations in Argumentation Networks
    Dov M. Gabbay
    This book regards Dung's abstract argumentation frames as a general network, comparable to other networks such as general logics neural-nets, ecology nets, electrical networks, flow networks and so on. As such the book imports general meta-logical methods and applies them to argumentation and exports ideas from argumentation to general logics and networks. Among the topics disc...
    Disponible

    30,83 €

  • Principles of Talmudic Logic
    Dov M. Gabbay / Dov MGabbay / Michael Abraham / Uri Schild
    This book puts forward new logical systems suitable for modelling Talmudic and Biblical reasoning and argumentation.The Talmud is very logical. It is said that when God gave Moses the Ten Commandments, He also gave him additional laws and rules of logic to enable human beings to derive more laws.Together with colleagues the authors have already written 8 books on the logic of t...
    Disponible

    25,71 €

  • Logical Tools for Handling Change in Agent-Based Systems
    Dov M. Gabbay / Karl Schlechta
    and Motivation.- Basic Definitions and Results.- Abstract Semantics by Size.- Preferential Structures #x2013; Part I.- Preferential Structures #x2013; Part II.- Higher Preferential Structures.- Deontic Logic and Hierarchical Conditionals.- Theory Update and Theory Revision.- An Analysis of Defeasible Inheritance Systems. ...
    Disponible

    243,25 €

  • Goal-Directed Proof Theory
    Dov M. Gabbay / N. Olivetti
    Goal Directed Proof Theory presents a uniform and coherent methodology for automated deduction in non-classical logics, the relevance of which to computer science is now widely acknowledged. The methodology is based on goal-directed provability. It is a generalization of the logic programming style of deduction, and it is particularly favourable f...
    Disponible

    133,97 €

  • Analysis and Synthesis of Logics
    Dov M. Gabbay / Marcelo Coniglio / Walter Carnielli
    Starting with simple examples showing the relevance of cutting and pasting logics, the monograph develops a mathematical theory of combining and decomposing logics, ranging from propositional and first-order based logics to higher-order based logics as well as to non-truth functional logics. The theory covers mechanisms for combining semantic structur...
    Disponible

    267,61 €

  • 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 €

  • Proof Theory for Fuzzy Logics
    Dov M. Gabbay / George Metcalfe / Nicola Olivetti
    The Semantic Basis.- Hilbert Systems.- Gentzen Systems.- Syntactic Eliminations.- Fundamental Logics.- Uniformity and Efficiency.- First-Order Logics.- Further Topics. ...
    Disponible

    183,12 €

  • 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 €