語系
Gabbay, Dov M.
概要
| 作品: | 2 作品在 9 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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.
(書目-電子資源)
Interpolation and Definability = Modal and Intuitionistic Logics
by:
Maksimova, Larisa; Gabbay, Dov M.; Oxford University Press.
(書目-電子資源)
Neural-symbolic cognitive reasoning
by:
Gabbay, Dov M.; Lamb, Luis C.; D'Avila Garcez, Artur S.; SpringerLink (Online service)
(書目-電子資源)
Handbook of philosophical logic.. Volume 16
by:
Gabbay, Dov M.; Guenthner, Franz.; SpringerLink (Online service)
(書目-電子資源)
Logical tools for handling change in agent-based systems
by:
SpringerLink (Online service); Schlechta, Karl.; Gabbay, Dov M.
(書目-電子資源)
Conditionals and modularity in general logics
by:
SpringerLink (Online service); Gabbay, Dov M.; Schlechta, Karl.
(書目-電子資源)
Revision, acceptability and context = theoretical and algorithmic aspects /
by:
SpringerLink (Online service); Rodrigues, Odinaldo T.; Russo, Alessandra.; Gabbay, Dov M.
(書目-電子資源)
Handbook of philosophical logic
by:
Gabbay, Dov M.; SpringerLink (Online service); Guenthner, Franz.
(書目-電子資源)
主題
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.
Philosophy.
Database Management.
Artificial intelligence.
Computation by Abstract Devices.
Artificial Intelligence (incl. Robotics)
Nonmonotonic reasoning.
Definieerbaarheid.
Mathematics.
Linguistics (general)
Logic, Symbolic and mathematical.
Conditionals (Logic)
Intui¨tionisme.
Definability theory (Mathematical logic)
Logic
Medicine- Philosophy.
Interpolation.
Modale logica.
Pattern Recognition.