Artificial Intelligence is a scientific journal on artificial intelligence research. It was established in 1970 and is published by Elsevier. The journal is abstracted and indexed in Scopus and Science Citation Index. The 2009 Impact Factor for this journal is 3.036 and the 5-Year Impact Factor is 4.277.
|Edited by||R. Dechter, P. Doherty|
|Partial; after 4 years|
The Alan Turing Centenary Conference was an academic conference celebrating the life and research of Alan Turing by bringing together distinguished scientists to understand and analyse the history and development of Computer Science and Artificial intelligence.
The conference was organised by Andrei Voronkov and hosted by the School of Computer Science, University of Manchester where Turing worked from 1948 until 1954. It ran from June 22 to June 25, 2012 as part of Alan Turing Year in Manchester Town Hall.Belief revision
Belief revision is the process of changing beliefs to take into account a new piece of information. The logical formalization of belief revision is researched in philosophy, in databases, and in artificial intelligence for the design of rational agents.
What makes belief revision non-trivial is that several different ways for performing this operation may be possible. For example, if the current knowledge includes the three facts " is true", " is true" and "if and are true then is true", the introduction of the new information " is false" can be done preserving consistency only by removing at least one of the three facts. In this case, there are at least three different ways for performing revision. In general, there may be several different ways for changing knowledge..Bentham Science Publishers
Bentham Science Publishers is a company that publishes scientific, technical, and medical journals and e-books. It publishes 140 subscription-based academic journals and over 60 open access journals. It is based at Sharjah in the United Arab Emirates, and has operating units in the United States, Japan, China, India, and the Netherlands. The company workforce is outsourced to China, India, Japan and Pakistan.Bentham Open, its open-access branch, has received some criticism for its questionable peer-review practices, and was listed as a "potential, possible, or probable predatory scholarly open-access publisher" in Jeffrey Beall's list of Predatory Publishers.European Conference on Artificial Intelligence
The biennial European Conference on Artificial Intelligence (ECAI) is the leading conference in the field of Artificial Intelligence in Europe, and is commonly listed together with IJCAI and AAAI as one of the three major general AI conferences worldwide. The conference series has been held without interruption since 1974, originally under the name AISB.The conferences are held under the auspices of the European Coordinating Committee for Artificial Intelligence (ECCAI) and organized by one of the member societies. The journal AI Communications, sponsored by the same society, regularly publishes special issues in which conference attendees report on the conference.Publication of a paper in ECAI is considered by some journals to be archival, meaning that the paper should be considered equivalent to a journal publication and that the contents of ECAI papers cannot be reformulated as separate journal submissions unless a significant amount of new material is added.Jim Davies (cognitive scientist)
Jim Davies is an American/Canadian cognitive scientist, playwright, artist, and author. He received his bachelor's degree in philosophy from the State University of New York at Oswego, his masters in psychology and his Ph.D. in computer science from the Georgia Institute of Technology. He is a full professor of Cognitive Science at the Institute of Cognitive Science and the School of Computer Science at Carleton University in Ottawa, Ontario where he is the director of the Science of Imagination Laboratory. His research focuses on visual reasoning, analogy, and imagination.John Nerbonne
John Nerbonne (born October 5, 1951 in Boston) is an American computational linguist. He was a professor of humanities computing at the University of Groningen until January 2017, when he gave his valedictory address at the celebration of the 30th anniversary of his department there.Journal of Experimental and Theoretical Artificial Intelligence
The Journal of Experimental and Theoretical Artificial Intelligence is a quarterly peer-reviewed scientific journal published by Taylor and Francis. It covers all aspects of artificial intelligence and was established in 1989. The editor-in-chief is Eric Dietrich (Binghamton University).Journal ranking
Journal ranking is widely used in academic circles in the evaluation of an academic journal's impact and quality. Journal rankings are intended to reflect the place of a journal within its field, the relative difficulty of being published in that journal, and the prestige associated with it. They have been introduced as official research evaluation tools in several countries.Karen Myers
Karen L. Myers is the program director and principal scientist in SRI International's Artificial Intelligence Center, where she has worked since 1991.Kevin Leyton-Brown
Kevin Leyton-Brown (born May 12, 1975) is a Professor of Computer Science at the University of British Columbia. He received his Ph.D. at Stanford University in 2003. He was the recipient of a 2014 NSERC E.W.R. Steacie Memorial Fellowship, a 2013/14 Killam Teaching Prize, and a 2013 Outstanding Young Computer Science Researcher Prize from the Canadian Association of Computer Science.
Leyton-Brown co-teaches a popular game theory course on Coursera.org, along with Matthew O. Jackson and Yoav Shoham. Leyton-Brown serves as an associate editor for the Journal of Artificial Intelligence Research, the Artificial Intelligence journal, and ACM Transactions on Economics and Computation', and was program chair for the ACM Conference on Electronic Commerce in 2012.
Leyton-Brown and coauthors have received the IJCAI-JAIR Best Paper Prize and numerous medals in international SAT competitions (2003–12).Leyton-Brown's research is at the intersection of computer science and microeconomics, addressing computational problems in economic contexts and incentive issues in multiagent systems. He also studies the application of machine learning to the automated design and analysis of algorithms for solving hard computational problems.List of computer science journals
Below is a list of computer science journals.Logical Investigations (Husserl)
Logical Investigations (German: Logische Untersuchungen) is a work of philosophy by Edmund Husserl, in which the author discusses logic and mathematics and provides a critique of psychologism. The book, which has been compared to the work of the philosopher Immanuel Kant, influenced Martin Heidegger and the development of phenomenology and continental philosophy.Meaning-text theory
Meaning-text theory (MTT) is a theoretical linguistic framework, first put forward in Moscow by Aleksandr Žolkovskij and Igor Mel’čuk, for the construction of models of natural language. The theory provides a large and elaborate basis for linguistic description and, due to its formal character, lends itself particularly well to computer applications, including machine translation, phraseology, and lexicography. General overviews of the theory can be found in Mel’čuk (1981) and (1988).Minds and Machines
Minds and Machines is a peer-reviewed academic journal covering artificial intelligence, philosophy, and cognitive science.The journal was established in 1991 with James Henry Fetzer as founding editor-in-chief. It is published by Springer Science+Business Media on behalf of the Society for Machines and Mentality, a special interest group within the International Association for Computing and Philosophy. The current editor-in-chief is Mariarosaria Taddeo (University of Oxford).Quantum cognition
Quantum cognition is an emerging field which applies the mathematical formalism of quantum theory to model cognitive phenomena such as information processing by the human brain, language, decision making, human memory, concepts and conceptual reasoning, human judgment, and perception. The field clearly distinguishes itself from the quantum mind as it is not reliant on the hypothesis that there is something micro-physical quantum mechanical about the brain. Quantum cognition is based on the quantum-like paradigm or generalized quantum paradigm or quantum structure paradigm that information processing by complex systems such as the brain, taking into account contextual dependence of information and probabilistic reasoning, can be mathematically described in the framework of quantum information and quantum probability theory.
Quantum cognition uses the mathematical formalism of quantum theory to inspire and formalize models of cognition that aim to be an advance over models based on traditional classical probability theory. The field focuses on modeling phenomena in cognitive science that have resisted traditional techniques or where traditional models seem to have reached a barrier (e.g., human memory), and modeling preferences in decision theory that seem paradoxical from a traditional rational point of view (e.g., preference reversals). Since the use of a quantum-theoretic framework is for modeling purposes, the identification of quantum structures in cognitive phenomena does not presuppose the existence of microscopic quantum processes in the human brain.Roger Penrose
Sir Roger Penrose (born 8 August 1931) is an English mathematical physicist, mathematician and philosopher of science. He is Emeritus Rouse Ball Professor of Mathematics in the University of Oxford and Emeritus Fellow of Wadham College, Oxford.
Penrose has made contributions to the mathematical physics of general relativity and cosmology. He has received several prizes and awards, including the 1988 Wolf Prize for physics, which he shared with Stephen Hawking for the Penrose–Hawking singularity theorems.Semantic decomposition (natural language processing)
A semantic decomposition is an algorithm that breaks down the meanings of phrases or concepts into less complex concepts. The result of a semantic decomposition is a representation of meaning. This representation can be used for tasks, such as those related to artificial intelligence or machine learning. Semantic decomposition is common in natural language processing applications.
The basic idea of a semantic decomposition is taken from the learning skills of adult humans, where words are explained using other words. It is based on Meaning-text theory. Meaning-text theory is used as a theoretical linguistic framework= to describe the meaning of concepts with other concepts.Social robot
A social robot is an autonomous robot that interacts and communicates with humans or other autonomous physical agents by following social behaviors and rules attached to its role. Like other robots, a social robot is physically embodied (avatars or on-screen synthetic social characters are not embodied and thus distinct). Some synthetic social agents are designed with a screen to represent the head or 'face' to dynamically communicate with users. In these cases, the status as a social robot depends on the form of the 'body' of the social agent; if the body has and uses some physical motors and sensor abilities, then the system could be considered a robot.