Artur D'Avila Garcez
Artur d'Avila 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 a Professor of Computer Science at City, University London. Garcez is co-author of ''Neural-Symbolic Learning Systems'' (Springer, 2002, ) and ''Neural-Symbolic Cognitive Reasoning'' (Springer, 2009, ). 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.. The title of his thesis is ''Nonmonotonic Theory Refinement in Artificial Ne ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Computational Logic
Computational logic is the use of logic to perform or reason about computation. It bears a similar relationship to computer science and engineering as mathematical logic bears to mathematics and as philosophical logic bears to philosophy. It is synonymous with "logic in computer science". The term “computational logic” came to prominence with the founding of the ACM Transactions on Computational Logic in 2000. However, the term was introduced much earlier, by J.A. Robinson in 1970. The expression is used in the second paragraph with a footnote claiming that "computational logic" is ''"surely a better phrase than 'theorem proving', for the branch of artificial intelligence which deals with how to make machines do deduction efficiently"''. In 1972 the Metamathematics Unit at the University of Edinburgh was renamed “The Department of Computational Logic” in the School of Artificial Intelligence.http://homepages.inf.ed.ac.uk/bundy/ Professor Alan Bundy's website The term wa ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Imperial College London
Imperial College London (legally Imperial College of Science, Technology and Medicine) is a public research university in London, United Kingdom. Its history began with Prince Albert, consort of Queen Victoria, who developed his vision for a cultural area that included the Royal Albert Hall, Victoria & Albert Museum, Natural History Museum and royal colleges. In 1907, Imperial College was established by a royal charter, which unified the Royal College of Science, Royal School of Mines, and City and Guilds of London Institute. In 1988, the Imperial College School of Medicine was formed by merging with St Mary's Hospital Medical School. In 2004, Queen Elizabeth II opened the Imperial College Business School. Imperial focuses exclusively on science, technology, medicine, and business. The main campus is located in South Kensington, and there is an innovation campus in White City. Facilities also include teaching hospitals throughout London, and with Imperial College Healthcare ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Living People
Related categories * :Year of birth missing (living people) / :Year of birth unknown * :Date of birth missing (living people) / :Date of birth unknown * :Place of birth missing (living people) / :Place of birth unknown * :Year of death missing / :Year of death unknown * :Date of death missing / :Date of death unknown * :Place of death missing / :Place of death unknown * :Missing middle or first names See also * :Dead people * :Template:L, which generates this category or death years, and birth year and sort keys. : {{DEFAULTSORT:Living people 21st-century people People by status ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
1970 Births
Events January * January 1 – Unix time epoch reached at 00:00:00 UTC. * January 5 – The 7.1 Tonghai earthquake shakes Tonghai County, Yunnan province, China, with a maximum Mercalli intensity of X (''Extreme''). Between 10,000 and 14,621 were killed and 26,783 were injured. * January 14 – Biafra capitulates, ending the Nigerian Civil War. * January 15 – After a 32-month fight for independence from Nigeria, Biafran forces under Philip Effiong formally surrender to General Yakubu Gowon. February * February 1 – The Benavídez rail disaster near Buenos Aires, Argentina, kills 236. * February 10 – An avalanche at Val-d'Isère, France, kills 41 tourists. * February 11 – '' Ohsumi'', Japan's first satellite, is launched on a Lambda-4 rocket. * February 22 – Guyana becomes a Republic within the Commonwealth of Nations. March * March 1 – Rhodesia severs its last tie with the United Kingdom, declaring itself a republic. * March 4 — All 57 m ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Alumni Of Imperial College London
Alumni (singular: alumnus (masculine) or alumna (feminine)) are former students of a school, college, or university who have either attended or graduated in some fashion from the institution. The feminine plural alumnae is sometimes used for groups of women. The word is Latin and means "one who is being (or has been) nourished". The term is not synonymous with "graduate"; one can be an alumnus without graduating ( Burt Reynolds, alumnus but not graduate of Florida State, is an example). The term is sometimes used to refer to a former employee or member of an organization, contributor, or inmate. Etymology The Latin noun ''alumnus'' means "foster son" or "pupil". It is derived from PIE ''*h₂el-'' (grow, nourish), and it is a variant of the Latin verb ''alere'' "to nourish".Merriam-Webster: alumnus .. Separate, but from the ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
British Cognitive Scientists
British may refer to: Peoples, culture, and language * British people, nationals or natives of the United Kingdom, British Overseas Territories, and Crown Dependencies. ** Britishness, the British identity and common culture * British English, the English language as spoken and written in the United Kingdom or, more broadly, throughout the British Isles * Celtic Britons, an ancient ethno-linguistic group * Brittonic languages, a branch of the Insular Celtic language family (formerly called British) ** Common Brittonic, an ancient language Other uses *''Brit(ish)'', a 2018 memoir by Afua Hirsch *People or things associated with: ** Great Britain, an island ** United Kingdom, a sovereign state ** Kingdom of Great Britain (1707–1800) ** United Kingdom of Great Britain and Ireland (1801–1922) See also * Terminology of the British Isles * Alternative names for the British * English (other) * Britannic (other) * British Isles * Brit (other) * Briton (d ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Artificial Intelligence Researchers
Artificiality (the state of being artificial or manmade) is the state of being the product of intentional human manufacture, rather than occurring naturally through processes not involving or requiring human activity. Connotations Artificiality often carries with it the implication of being false, counterfeit, or deceptive. The philosopher Aristotle wrote in his ''Rhetoric'': However, artificiality does not necessarily have a negative connotation, as it may also reflect the ability of humans to replicate forms or functions arising in nature, as with an artificial heart or artificial intelligence. Political scientist and artificial intelligence expert Herbert A. Simon observes that "some artificial things are imitations of things in nature, and the imitation may use either the same basic materials as those in the natural object or quite different materials.Herbert A. Simon, ''The Sciences of the Artificial'' (1996), p. 4. Simon distinguishes between the artificial and the synth ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
DBLP
DBLP is a computer science bibliography website. Starting in 1993 at Universität Trier in Germany, it grew from a small collection of HTML files and became an organization hosting a database and logic programming bibliography site. Since November 2018, DBLP is a branch of Schloss Dagstuhl – Leibniz-Zentrum für Informatik (LZI). DBLP listed more than 5.4 million journal articles, conference papers, and other publications on computer science in December 2020, up from about 14,000 in 1995 and 3.66 million in July 2016. All important journals on computer science are tracked. Proceedings papers of many conferences are also tracked. It is mirrored at three sites across the Internet. For his work on maintaining DBLP, Michael Ley received an award from the Association for Computing Machinery (ACM) and the VLDB Endowment Special Recognition Award in 1997. Furthermore, he was awarded the ACM Distinguished Service Award for "creating, developing, and curating DBLP" in 2019. ''DBLP' ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Dov Gabbay
Dov M. Gabbay (; born October 23, 1945) is an Israeli logician. He is Augustus De Morgan Professor Emeritus of Logic at the Group of Logic, Language and Computation, Department of Computer Science, King's College London. Work Gabbay has authored over four hundred and fifty research papers and over thirty research monographs. He is editor of several international journals, and of many reference works and handbooks of logic, including the ''Handbook of Philosophical Logic'' (with Franz Guenthner), the ''Handbook of Logic in Computer Science]'' (with Samson Abramsky and T. S. E. Maibaum), and the ''Handbook of Logic in Artificial Intelligence and Logic Programming'' (with C.J. Hogger and J.A. Robinson). He is well-known for pioneering work on logic in computer science and artificial intelligence, especially the application of (executable) temporal logics in computer science, in particular formal verification, the logical foundations of non-monotonic reasoning and artificial intel ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Cambridge University Press
Cambridge University Press is the university press of the University of Cambridge. Granted letters patent by Henry VIII of England, King Henry VIII in 1534, it is the oldest university press A university press is an academic publishing house specializing in monographs and scholarly journals. Most are nonprofit organizations and an integral component of a large research university. They publish work that has been reviewed by schola ... in the world. It is also the King's Printer. Cambridge University Press is a department of the University of Cambridge and is both an academic and educational publisher. It became part of Cambridge University Press & Assessment, following a merger with Cambridge Assessment in 2021. With a global sales presence, publishing hubs, and offices in more than 40 Country, countries, it publishes over 50,000 titles by authors from over 100 countries. Its publishing includes more than 380 academic journals, monographs, reference works, school and uni ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Neural Computation
Neural computation is the information processing performed by networks of neurons. Neural computation is affiliated with the philosophical tradition known as Computational theory of mind, also referred to as computationalism, which advances the thesis that neural computation explains cognition. The first persons to propose an account of neural activity as being computational was Warren McCullock and Walter Pitts in their seminal 1943 paper, A Logical Calculus of the Ideas Immanent in Nervous Activity. There are three general branches of computationalism, including classicism, connectionism, and computational neuroscience. All three branches agree that cognition is computation, however, they disagree on what sorts of computations constitute cognition. The classicism tradition believes that computation in the brain is digital, analogous to digital computing. Both connectionism and computational neuroscience do not require that the computations that realize cognition are necessarily d ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |
|
Behavioral And Brain Sciences
''Behavioral and Brain Sciences'' is a bimonthly peer-reviewed scientific journal of Open Peer Commentary established in 1978 by Stevan Harnad and published by Cambridge University Press. It is modeled on the journal ''Current Anthropology'' (which was established in 1959 by the University of Chicago anthropologist, Sol Tax). The journal publishes "target articles" followed by 10 to 30 or more peer commentaries and the response of the authors of the target article. The journal covers all areas of the biobehavioral and cognitive sciences (psychology, neuroscience, behavioral biology, cognitive science, artificial intelligence, linguistics, philosophy) and articles are judged by four or more referees to be of sufficient importance and interdisciplinary scope to merit Open Peer Commentary. Volume 1 appeared in 1978 and issues appeared quarterly; as its popularity grew it switched to a bimonthly schedule in 1997. Abstracting and indexing According to the ''Journal Citation Reports' ... [...More Info...]       [...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]   |