WorldCat Identities

Gabbay, Dov M. 1945-

Overview
Works: 391 works in 1,854 publications in 4 languages and 28,311 library holdings
Genres: Conference papers and proceedings  History  Handbooks and manuals 
Roles: Author, Editor, Honoree, Other, Creator, ed, Contributor
Classifications: QA76.63, 160
Publication Timeline
.
Most widely held works by Dov M Gabbay
Handbook of philosophical logic by Dov M Gabbay( Book )

126 editions published between 1983 and 2014 in English and Undetermined and held by 711 WorldCat member libraries worldwide

The sixth volume of the Handbook of Philosophical Logic, Second Edition contains major contributions on Relevance Logic, Quantum Logics, Combinators, Proofs and Implicational Logics and Paraconsistent Logic. Audience: Students and researchers whose work or interests involve philosophical logic and its applications
Handbook of logic in computer science by Samson Abramsky( Book )

60 editions published between 1992 and 2002 in English and Italian and held by 672 WorldCat member libraries worldwide

Part of a multi-volume work that has been designed to cover all major areas of the application of logic to theoretical computer science, this book explores term rewriting systems, Lambda calculi with types, elements of algorithmic proof, theorem provers and model and temporal logics
Handbook of logic in artificial intelligence and logic programming by Dov M Gabbay( Book )

31 editions published between 1993 and 2002 in English and held by 508 WorldCat member libraries worldwide

Logical basic for the automation of reasoning : case studies / Larry Wos, Robeth Veroff / - Unification theory / Franz Baader, Jörg Siekmann / - Mathematical induction / Christoph Walther / - Higher orden logic / Daniel Leivant / - Meta-languages, reflection principles, and self-reference / Donald Perlis, V.S. Subrahmanian / - Classical vs non-classical logics (the universal-ity of classical logic) - D.M. Gabbay /
Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996 : proceedings by Dov M Gabbay( Book )

17 editions published in 1996 in English and held by 346 WorldCat member libraries worldwide

"This book constitutes the refereed proceedings of the International Conference on Formal and Applied Practical Reasoning, FAPR '96, held in Bonn, Germany, in June 1996. The 51 revised full papers included in the book together with eight posters were carefully selected for presentation at the conference. The book addresses current aspects of the highly interdisciplinary area of practical reasoning in artificial intelligence, philosophy, psychology, linguistics, software engineering, intelligent systems, and industrial applications. Among the topics addressed are user modeling, belief, legal reasoning, argumentation, dialogue logic, default reasoning, analogy, metareasoning, temporal and procedural reasoning, and many others."--PUBLISHER'S WEBSITE
Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings by Dov M Gabbay( Book )

24 editions published in 1994 in 3 languages and held by 327 WorldCat member libraries worldwide

"This volume constitutes the proceedings of the First International Conference on Temporal Logic (ICTL '94), held at Bonn, Germany in July 1994. Since its conception as a discipline thirty years ago, temporal logic is studied by many researchers of numerous backgrounds; presently it is in a stage of accelerated dynamic growth. This book, as the proceedings of the first international conference particularly dedicated to temporal logic, gives a thorough state-of-the-art report on all aspects of temporal logic research relevant for computer science and AI. It contains 27 technical contributions carefully selected for presentation at ICTL '94 as well as three surveys and position papers."--PUBLISHER'S WEBSITE
Handbook of the history of logic( Book )

23 editions published between 2003 and 2011 in English and held by 303 WorldCat member libraries worldwide

The present volume of the Handbook of the History of Logic is designed to establish 19th century Britain as a substantial force in logic, developing new ideas, some of which would be overtaken by, and other that would anticipate, the century's later capitulation to the mathematization of logic. British Logic in the Nineteenth Century is indispensable reading and a definitive research resource for anyone with an interest in the history of logic. - Detailed and comprehensive chapters covering the entire range of modal logic - Contains the latest scholarly discoveries and interpretative insights that answer many questions in the field of logic
Handbook of quantum logic and quantum structures : quantum structures by Kurt Engesser( Book )

26 editions published between 2007 and 2011 in English and held by 203 WorldCat member libraries worldwide

Quantum mechanics is said to be the most successful physical theory ever. It is, in fact, unique in its success when applied to concrete physical problems. On the other hand, however, it raises profound conceptual problems which are equally unprecedented. Quantum logic, the topic of this volume, can be described as an attempt to cast light on the puzzle of quantum mechanics from the point of view of logic. Since its inception in the famous 1936 paper by Birkhoff and von Neumann entitled "The logic of quantum mechanics", quantum logic has undergone an enormous development. Various schools of thought and approaches have emerged and there are a variety of technical results. The chapters of this volume constitute a comprehensive presentation of the main schools, approaches and results in the field of quantum logic. Authored by eminent scholars in the field. Material presented is of recent origin representing the frontier of the subject. Provides the most comprehensive and varied discussion of Quantum Mechanics available
Many-dimensional modal logics : theory and applications by Dov M Gabbay( Book )

17 editions published between 2003 and 2006 in English and held by 193 WorldCat member libraries worldwide

Modal logics, originally conceived in philosophy, have recently found many applications in computer science, artificial intelligence, the foundations of mathematics, linguistics and other disciplines. Celebrated for their good computational behaviour, modal logics are used as effective formalisms for talking about time, space, knowledge, beliefs, actions, obligations, provability, etc. However, the nice computational properties can drastically change if we combine some of these formalisms into a many-dimensional system, say, to reason about knowledge bases developing in time or moving objects
Mathematical problems from applied logic : logics for the XXIst century by Dov M Gabbay( Book )

32 editions published between 2006 and 2011 in English and Undetermined and held by 165 WorldCat member libraries worldwide

"The book contains interesting contributions concerning the role of logic today, including some unexpected aspects of contemporary logic and the application of logic. This should be of interest to logicians and mathematicians in general."--BOOK JACKET
Logic programming by Dov M Gabbay( Book )

23 editions published between 1993 and 2005 in 3 languages and held by 108 WorldCat member libraries worldwide

The Handbook of Logic in Artificial Intelligence and Logic Programming is a multi-volume work covering all major areas of the application of logic to artificial intelligence and logic programming. The authors are chosen on an international basis and are leaders in the fields covered. Volume 5 is the last in this well-regarded series. Logic is now widely recognized as one of the foundational disciplines of computing. It has found applications in virtually all aspects of the subject, from software and hardware engineering to programming languages and artificial intelligence. In response to the growing need for an in-depth survey of these applications the Handbook of Logic in Artificial Intelligence and its companion, the Handbook of Logic in Computer Science have been created. The Handbooks are a combination of authoritative exposition, comprehensive survey, and fundamental research exploring the underlying themes in the various areas. Some mathematical background is assumed, and much of the material will be of interest to logicians and mathematicians. Volume 5 focuses particularly on logic programming.; The chapters, which in many cases are of monograph length and scope, emphasize possible unifying themes
Approaches to legal rationality by Dov M Gabbay( Book )

15 editions published between 2010 and 2011 in English and German and held by 108 WorldCat member libraries worldwide

Legal theory, political sciences, sociology, philosophy, logic, artificial intelligence: there are many approaches to legal argumentation. Each of them provides specific insights into highly complex phenomena. Different disciplines, but also different traditions in disciplines (e.g. analytical and continental traditions in philosophy) find here a rare occasion to meet. The present book contains contributions, both historical and thematic, from leading researchers in several of the most important approaches to legal rationality. One of the main issues is the relation between logic and law: the way logic is actually used in law, but also the way logic can make law explicit. An outstanding group of philosophers, logicians and jurists try to meet this issue. The book is more than a collection of papers. However different their respective conceptual tools may be, the authors share a common conception: legal argumentation is a specific argumentation context
Neural-symbolic cognitive reasoning by Artur S D'Avila Garcez( Book )

9 editions published between 2007 and 2009 in English and Undetermined and held by 90 WorldCat member libraries worldwide

"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 integrate the two most fundamental phenomena of cognition: our ability to learn from experience, and our ability to reason from what has been learned. This book is the first to offer a self-contained presentation of neural network models for a number of computer science logics, including modal, temporal and epistemic logics. By using a graphical presentation, it explains neural networks through a sound neural-symbolic integration methodology, and it focuses on the benefits of integrating effective robust learning with expressive reasoning capabilities."--Jacket
Logical tools for handling change in agent-based systems by Dov M Gabbay( Book )

16 editions published between 2009 and 2013 in English and held by 88 WorldCat member libraries worldwide

Agents act on the basis of their beliefs and these beliefs change as they interact with other agents. In this book the authors propose and explain general logical tools for handling change. These tools include preferential reasoning, theory revision, and reasoning in inheritance systems, and the authors use these tools to examine nonmonotonic logic, deontic logic, counterfactuals, modal logic, intuitionistic logic, and temporal logic. This book will be of benefit to researchers engaged with artificial intelligence, and in particular agents, multiagent systems and nonmonotonic logic
Proof theory for fuzzy logics by George Metcalfe( Book )

16 editions published in 2009 in English and held by 75 WorldCat member libraries worldwide

Fuzzy logics are many-valued logics that are well suited to reasoning in the context of vagueness. This book focuses on the development and applications of 'proof-theoretic' presentations of fuzzy logics
The functional interpretation of logical deduction by Ruy J. G. B. de Queiroz( Book )

6 editions published in 2012 in English and Undetermined and held by 73 WorldCat member libraries worldwide

Conditionals and modularity in general logics by Dov M Gabbay( Book )

14 editions published between 2011 and 2014 in English and held by 62 WorldCat member libraries worldwide

"This text centers around three main subjects. The first is the concept of modularity and independence in classical logic and nonmonotonic and other nonclassical logic, and the consequences on syntactic and semantical interpolation and language change. In particular, we will show the connection between interpolation for nonmonotonic logic and manipulation of an abstract notion of size. Modularity is essentially the ability to put partial results achieved independently together for a global result. The second aspect of the book is the authors' uniform picture of conditionals, including many-valued logics and structures on the language elements themselves and on the truth value set. The third topic explained by the authors is neighbourhood semantics, their connection to independence, and their common points and differences for various logics, e.g., for defaults and deontic logic, for the limit version of preferential logics, and for general approximation"--Publisher
Handbook of logic in computer science by Thomas S. E Maibaum( Book )

17 editions published in 2000 in English and Undetermined and held by 41 WorldCat member libraries worldwide

This handbook volume covers fundamental topics of semantics in logic and computation. The chapters (some monographic in length), were written following years of co-ordination and follow a thematic point of view. The volume brings the reader up to front line research, and is indispensable to any serious worker in the areas
Revision, acceptability and context : theoretical and algorithmic aspects by Dov M Gabbay( Book )

7 editions published between 2010 and 2013 in English and held by 36 WorldCat member libraries worldwide

An important aspect in the formalisation of common-sense reasoning is the construction of a model of what an agent believes the world to be like to help in her reasoning process. This model is often incomplete or inaccurate, but new information can be used to refine it. The study of techniques that achieve this in a rational way is the task of the discipline of belief revision, with which this book is concerned. There are three key elements to the book's approach. Firstly, the methodology of logic by translation. A specific instance of this is the idea of revision by translation. Revision for a foreign logic is done via its translation into a well-known logic, usually classic logic. Secondly, the technique of meta-level/object-level movement, where we bring some operation defined at the meta-level of a logic into its object level. In this book, we bring the operation of deletion to the object level. Finally, through Labelled Deductive Systems, we use the context of the revision to finetune its operation and illustrate the idea through the presentation of various algorithms. The book is suitable for researchers and postgraduates in the areas of artificial intelligence, database theory, and logic
Reactive Kripke Semantics by Dov M Gabbay( Book )

12 editions published between 2013 and 2016 in English and held by 24 WorldCat member libraries worldwide

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 investigate the properties and axiomatisations of this new and most effective semantics, and we offer a wide landscape of applications of the idea of reactivity. Applied topics include reactive automata, reactive grammars, reactive products, reactive deontic logic and reactive preferential structures. Reactive Kripke semantics is the next step in the evolution of possible world semantics for non-classical logics, and this book, written by one of the leading authorities in the field, is essential reading for graduate students and researchers in applied logic, and it offers many research opportunities for PhD students
Interactive logic : selected papers from the 7th Augustus de Morgan workshop, London by Johan Van Benthem( Book )

14 editions published between 2007 and 2008 in 3 languages and held by 18 WorldCat member libraries worldwide

In november 2005 werd de zevende editie van de Augustus Morgan Workshop gehouden. Hierin werd de focus van het logicaonderzoek op het terrein van de interactieve logica behandeld. Maar ook de rijkdom van de belangrijkste toepassingen op dit gebied; logische benaderingen van games en social software. Uit de workshop is de nieuwe serie 'Texts in Logic and Games' ontstaan. Het eerste deel, Interactive Logic, is een collectie uitmuntende onderzoeksopstellen op het gebied van logica, wiskunde, computerwetenschappen en gametheorie
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.60 (from 0.02 for Logic prog ... to 0.73 for Practical ...)

Logic programming
Alternative Names
Dov Gabbay British logician

Dov Gabbay Brits filosoof

Dov Gabbay englischer Logiker und Informatiker

Gabai, Dov M.

Gabai Dov M. 1945-....

Gabbay, D.

Gabbay, D. 1945-

Gabbay, D. (Dov), 1945-

Gabbay, D. (Dov M.), 1945-

Gabbay, D. M.

Gabbay, D.M. 1945-

Gabbay, D.M. (Dov M.), 1945-

Gabbay, Dov.

Gabbay, Dov 1945-

Gabbay, Dov (Dov M.), 1945-

Gabbay, Dov M.

Gabbay, Dove M. 1945-

גבאי, דב 1945-

Languages
English (482)

Dutch (7)

Italian (4)

German (2)

Covers
Handbook of logic in computer scienceHandbook of logic in artificial intelligence and logic programmingPractical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996 : proceedingsTemporal logic : first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedingsHandbook of the history of logicHandbook of quantum logic and quantum structures : quantum structuresMany-dimensional modal logics : theory and applicationsMathematical problems from applied logic : logics for the XXIst century