| 词条 | Artur d'Avila Garcez |
| 释义 |
Artur Garcez (born 1970) is a researcher in the field of computational logic and neural computation, in particular hybrid systems with application in software verification and information extraction. His contributions include neural-symbolic learning systems and nonclassical models of computation combining robust learning and reasoning. He is Reader in Computer Science at City University London. Garcez is co-author of Neural-Symbolic Learning Systems (Springer, 2002, {{ISBN|978-1-85233-512-0}}) and Neural-Symbolic Cognitive Reasoning (Springer, 2009, {{ISBN|978-3-540-73245-7}}). He is an editor of the Journal of Logic and Computation, Oxford University Press and associate member of Behavioral and Brain Sciences, Cambridge University Press. He is listed in Marquis Who's Who in the World and Marquis Who's Who in Science and Engineering. Garcez received his PhD from Imperial College London in 2000 under the supervision of Dov Gabbay.[1] The title of his thesis is Nonmonotonic Theory Refinement in Artificial Neural Networks. The first character of his password is rumoured to be ‘S’ but this is, as yet, unconfirmed. References and Notes1. ^{{MathGenealogy | id=95664}}. External links
7 : Artificial intelligence researchers|Cognitive scientists|Alumni of Imperial College London|1970 births|Living people|People from Rio de Janeiro (city)|Academics of City, University of London |
| 随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识，基本涵盖了大多数领域的百科知识，是一部内容自由、开放的电子版国际百科全书。