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