語系
Gabbay, Dov M.
概要
作品: | 1 作品在 2 項出版品 1 種語言 |
---|
書目資訊
Handbook of philosophical logic.. Volume 16
by:
Gabbay, Dov M.; SpringerLink (Online service); Guenthner, Franz.
(書目-電子資源)
Revision, acceptability and context = theoretical and algorithmic aspects /
by:
Gabbay, Dov M.; Rodrigues, Odinaldo T.; Russo, Alessandra.; SpringerLink (Online service)
(書目-語言資料,印刷品)
A new perspective on nonmonotonic logics
by:
Gabbay, Dov M.; Schlechta, Karl.; SpringerLink (Online service)
(書目-電子資源)
Proof theory for fuzzy logics
by:
Gabbay, Dov M.; Olivetti, Nicola.; SpringerLink (Online service); Metcalfe, George.
(書目-語言資料,印刷品)
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.
(書目-語言資料,印刷品)
Handbook of philosophical logic.. Volume 17
by:
Gabbay, Dov M.; SpringerLink (Online service); Guenthner, Franz.
(書目-電子資源)
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 :)
(書目-語言資料,印刷品)
Logical tools for handling change in agent-based systems
by:
Schlechta, Karl.; SpringerLink (Online service); Gabbay, Dov M.
(書目-語言資料,印刷品)
Neural-symbolic cognitive reasoning
by:
Gabbay, Dov M.; Lamb, Luis C.; SpringerLink (Online service); D'Avila Garcez, Artur S.
(書目-語言資料,印刷品)
Interpolation and Definability = Modal and Intuitionistic Logics
by:
Maksimova, Larisa; Oxford University Press.; Gabbay, Dov M.
(書目-語言資料,印刷品)
更多
較少的
主題
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.