Languages
Gabbay, Dov M.
Overview
| Works: | 2 works in 9 publications in 1 languages | |
|---|---|---|
Titles
Analysis and Synthesis of Logics = How to Cut and Paste Reasoning Systems /
by:
Gouveia, Paula.; Carnielli, Walter.; Sernadas, Cristina.; SpringerLink (Online service); Coniglio, Marcelo.; Gabbay, Dov M.
(Electronic resources)
Interpolation and Definability = Modal and Intuitionistic Logics
by:
Maksimova, Larisa; Gabbay, Dov M.; Oxford University Press.
(Electronic resources)
Neural-symbolic cognitive reasoning
by:
Gabbay, Dov M.; Lamb, Luis C.; D'Avila Garcez, Artur S.; SpringerLink (Online service)
(Electronic resources)
Handbook of philosophical logic.. Volume 16
by:
Gabbay, Dov M.; Guenthner, Franz.; SpringerLink (Online service)
(Electronic resources)
Logical tools for handling change in agent-based systems
by:
SpringerLink (Online service); Schlechta, Karl.; Gabbay, Dov M.
(Electronic resources)
Conditionals and modularity in general logics
by:
SpringerLink (Online service); Gabbay, Dov M.; Schlechta, Karl.
(Electronic resources)
Revision, acceptability and context = theoretical and algorithmic aspects /
by:
SpringerLink (Online service); Rodrigues, Odinaldo T.; Russo, Alessandra.; Gabbay, Dov M.
(Electronic resources)
Handbook of philosophical logic
by:
Gabbay, Dov M.; SpringerLink (Online service); Guenthner, Franz.
(Electronic resources)
Subjects
Modality (Logic)
Electronic books.
Intelligent agents (Computer software)
Interpolatie.
Neural networks (Computer science)
Theory of Computation.
Medical ethics.
Computer Science.
Logic.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Computer Imaging, Vision, Pattern Recognition and Graphics.
Database Management.
Philosophy.
Artificial intelligence.
Computation by Abstract Devices.
Artificial Intelligence (incl. Robotics)
Nonmonotonic reasoning.
Definieerbaarheid.
Mathematics.
Linguistics (general)
Logic, Symbolic and mathematical.
Definability theory (Mathematical logic)
Intui¨tionisme.
Conditionals (Logic)
Logic
Medicine- Philosophy.
Modale logica.
Interpolation.
Pattern Recognition.