LIBROS DEL AUTOR: dov m gabbay

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

  • A New Perspective on Nonmonotonic Logics
    Dov M. Gabbay / Dov MGabbay / 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

    132,15 €

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

  • Synthesis of Concepts in the Talmud
    Dov M. Gabbay / Dov MGabbay / Israel Belfer / Michael Abraham
    This book returns to the discussion in volume 1 on analogy and induction,and analyses their substance. The first part distinguishes between twokinds of logic: One kind based on union of the common features, and theother kind based on synthesis of different features. In the second part ofthe book we propose a formal scheme for synthesis of concepts. The thirdpart analyses variou...
    Disponible

    43,12 €

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

  • FUNCTION INTERPRETAT OF LOGICAL DEDUCT..
    AL RUY J G B DE QUEIROZ ET / Anjolina G. De Oliveira / Anjolina GDe Oliveira / Dov M. Gabbay / Dov MGabbay / RUY J G B DE QUEIROZ ET AL / Ruy J. G. B. de Queiroz / Ruy JGBde Queiroz
    ...
    Disponible

    116,18 €

  • Conditionals and Modularity in General Logics
    Dov M. Gabbay / Karl Schlechta
    Introduction; Basic Definitions; Towards a Uniform Picture of Conditionals; Monotone and Antitone Semantic and Syntactic Interpolation; Laws About Size and Interpolation in Nonmonotonic Logics; Neighbourhood Semantics; Conclusion and Outlook; References; Index ...
    Disponible

    194,27 €

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

  • The Textual Inference Rules Klal Uprat. How the Talmud Defines Sets
    Dov M. Gabbay / Dov MGabbay / Gabriel Hazut / Michael Abraham
    We analyse the Klal uPrat family of textual rules in the Talmud. We view them as common-sense practical rules for defining sets. Such methods do not exist in general common-sense logical systems, and they complement the existing common-sense (non-monotonic) deductive logics. ...
    Disponible

    36,50 €

  • Proof Theory for Fuzzy Logics
    Dov M. Gabbay / George Metcalfe / Nicola Olivetti
    Fuzzy logics are many-valued logics that are well suited to reasoning in the context of vagueness. They provide the basis for the wider field of Fuzzy Logic, encompassing diverse areas such as fuzzy control, fuzzy databases, and fuzzy mathematics. This book provides an accessible and up-to-date introduction to this fast-growing and increasingly popular area. It focuses in parti...
    Disponible

    157,18 €

  • Neural-Symbolic Cognitive Reasoning
    Artur S. D’Avila Garcez / Dov M. Gabbay / Luís C. Lamb
    Humans are often extraordinary at performing practical reasoning. There are cases where the human computer, slow as it is, is faster than any artificial intelligence system. Are we faster because of the way we perceive knowledge as opposed to the way we represent it? The authors address this question by presenting neural network models that integrat...
    Disponible

    108,34 €

  • 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

    204,78 €

  • Interpolation and Definability
    Dov M. Gabbay / Larisa Maksimova
    ...
    Disponible

    316,31 €

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

  • Handbook of Logic in Computer Science
    Dov M. Gabbay / Samson Abramsky / T. S. Maibaum
    ...
    Disponible

    825,67 €

  • 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

    132,60 €

  • Labelled Deduction
    Dov M. Gabbay / Marcello D’Agostino
    Labelled deduction is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a semantic proof-theoretical nature. Labelled deduction systems often possess attractive properties, such as modularity in the way that families of re...
    Disponible

    132,60 €

  • Temporal Logic
    Dov M. Gabbay / M. Finger / M. Reynolds
    ...
    Disponible

    381,20 €

  • Fibring Logics
    Dov M. Gabbay
    ...
    Disponible

    205,71 €

  • Labelled Deductive Systems
    Dov M. Gabbay
    ...
    Disponible

    146,52 €

  • Handbook of Logic in Computer Science
    Dov M. Gabbay / Samson Abramsky / T. S. Maibaum
    ...
    Disponible

    668,79 €

  • Handbook of Logic in Artificial Intelligence and Logic Programming
    Christopher J. Hogger / Dov M. Gabbay / J. A. Robinson
    ...
    Disponible

    669,36 €

  • Handbook of Logic in Artificial Intelligence and Logic Programming
    Christopher J. Hogger / Dov M. Gabbay / J. A. Robinson
    ...
    Disponible

    734,58 €

  • Semantical Investigations in Heyting’s Intuitionistic Logic
    Dov M. Gabbay
    From the point of view of non-classical logics, Heyting’s implication is the smallest implication for which the deduction theorem holds. This book studies properties of logical systems having some of the classical connectives and implication in the neighbourhood of Heyt­ ing’s implication. I have not included anything on entailment, al­ though it belo...
    Disponible

    206,26 €

  • Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and Linguistics
    Dov M. Gabbay
    This book is intended to serve as an advanced text and reference work on modal logic, a subject of growing importance which has applications to philosophy and linguistics. Although it is based mainly on research which I carried out during the years 1969-1973, it also includes some related results obtained by other workers in the field (see the refer­ ...
    Disponible

    206,38 €