Languages
Gabbay, Dov M.
Overview
Works: | 1 works in 4 publications in 1 languages |
---|
Titles
Handbook of philosophical logic.Volume 16
by:
Gabbay, Dov M.; Guenthner, Franz.; SpringerLink (Online service)
(Electronic resources)
A new perspective on nonmonotonic logics
by:
Gabbay, Dov M.; Schlechta, Karl.; SpringerLink (Online service)
(Electronic resources)
Interpolation and Definability :Modal and Intuitionistic Logics
by:
Gabbay, Dov M.; Maksimova, Larisa; Oxford University Press.
(Electronic resources)
Neural-symbolic cognitive reasoning
by:
D'Avila Garcez, Artur S.; Gabbay, Dov M.; Lamb, Luis C.; SpringerLink (Online service)
(Electronic resources)
Revision, acceptability and contexttheoretical and algorithmic aspects /
by:
Gabbay, Dov M.; Rodrigues, Odinaldo T.; Russo, Alessandra.; SpringerLink (Online service)
(Electronic resources)
Analysis and Synthesis of Logics :How to Cut and Paste Reasoning Systems /
by:
Carnielli, Walter.; Coniglio, Marcelo.; Gabbay, Dov M.; Gouveia, Paula.; Sernadas, Cristina.; SpringerLink (Online service)
(Electronic resources)
Handbook of philosophical logic
by:
Gabbay, Dov M.; Guenthner, Franz.; SpringerLink (Online service)
(Electronic resources)
Handbook of philosophical logic.Volume 18
by:
Gabbay, Dov M.; Guenthner, Franz.; SpringerLink (Online service)
(Electronic resources)
Proof theory for fuzzy logics
by:
Gabbay, Dov M.; Metcalfe, George.; Olivetti, Nicola.; SpringerLink (Online service)
(Electronic resources)
Conditionals and modularity in general logics
by:
Gabbay, Dov M.; Schlechta, Karl.; SpringerLink (Online service)
(Electronic resources)
Handbook of philosophical logic.Volume 17
by:
Gabbay, Dov M.; Guenthner, Franz.; SpringerLink (Online service)
(Electronic resources)
Logical tools for handling change in agent-based systems
by:
Gabbay, Dov M.; Schlechta, Karl.; SpringerLink (Online service)
(Electronic resources)
Qualitative and quantitative practical reasoningfirst International Joint Conference on Qualitative and Quantitative Practical Reasoning ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997, proceedings /
by:
(1998 :); Gabbay, Dov M.; SpringerLink (Online service)
(Electronic resources)
Show more
Fewer
Subjects
Logic.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Theory of Computation.
Philosophy.
Logic, Symbolic and mathematical.
Pattern Recognition.
Fuzzy logic.
Linguistics (general)
Linguistics, general.
Intui¨tionisme.
Definability theory (Mathematical logic)
Artificial intelligence.
Artificial Intelligence (incl. Robotics)
Computation by Abstract Devices.
Database Management.
Logic
Medicine
Interpolation.
Mathematics.
Neural networks (Computer science)
Nonmonotonic reasoning.
Qualitative reasoning
Medical ethics.
Modale logica.
Modality (Logic)
Proof theory.
Order, Lattices, Ordered Algebraic Structures.
Computer Imaging, Vision, Pattern Recognition and Graphics.
Definieerbaarheid.
Computer Science.
Electronic books.
Interpolatie.
Problem solving
Intelligent agents (Computer software)
Conditionals (Logic)
Philosophy of Science.
Modern Philosophy.