Related Research Articles
Cyc is a long-term artificial intelligence project that aims to assemble a comprehensive ontology and knowledge base that spans the basic concepts and rules about how the world works. Hoping to capture common sense knowledge, Cyc focuses on implicit knowledge that other AI platforms may take for granted. This is contrasted with facts one might find somewhere on the internet or retrieve via a search engine or Wikipedia. Cyc enables semantic reasoners to perform human-like reasoning and be less "brittle" when confronted with novel situations.
The International Mathematical Union (IMU) is an international non-governmental organization devoted to international cooperation in the field of mathematics across the world. It is a member of the International Science Council (ISC) and supports the International Congress of Mathematicians (ICM). Its members are national mathematics organizations from more than 80 countries.
WordNet is a lexical database of semantic relations between words that links words into semantic relations including synonyms, hyponyms, and meronyms. The synonyms are grouped into synsets with short definitions and usage examples. It can thus be seen as a combination and extension of a dictionary and thesaurus. While it is accessible to human users via a web browser, its primary use is in automatic text analysis and artificial intelligence applications. It was first created in the English language and the English WordNet database and software tools have been released under a BSD style license and are freely available for download from that WordNet website. There are now WordNets in more than 200 languages.
A computer algebra system (CAS) or symbolic algebra system (SAS) is any mathematical software with the ability to manipulate mathematical expressions in a way similar to the traditional manual computations of mathematicians and scientists. The development of the computer algebra systems in the second half of the 20th century is part of the discipline of "computer algebra" or "symbolic computation", which has spurred work in algorithms over mathematical objects such as polynomials.
John Florian Sowa is an American computer scientist, an expert in artificial intelligence and computer design, and the inventor of conceptual graphs.
PlanetMath is a free, collaborative, mathematics online encyclopedia. The emphasis is on rigour, openness, pedagogy, real-time content, interlinked content, and also community of about 24,000 people with various maths interests. Intended to be comprehensive, the project is currently hosted by the University of Waterloo. The site is owned by a US-based nonprofit corporation, "PlanetMath.org, Ltd".
Question answering (QA) is a computer science discipline within the fields of information retrieval and natural language processing (NLP) that is concerned with building systems that automatically answer questions that are posed by humans in a natural language.
Wolfram Research, Inc. is an American multinational company that creates computational technology. Wolfram's flagship product is the technical computing program Wolfram Mathematica, first released on June 23, 1988. Other products include WolframAlpha, Wolfram SystemModeler, Wolfram Workbench, gridMathematica, Wolfram Finance Platform, webMathematica, the Wolfram Cloud, and the Wolfram Programming Lab. Wolfram Research founder Stephen Wolfram is the CEO. The company is headquartered in Champaign, Illinois, United States.
Eric Wolfgang Weisstein is an American mathematician and encyclopedist who created and maintains the encyclopedias MathWorld and ScienceWorld. In addition, he is the author of the CRC Concise Encyclopedia of Mathematics. He works for Wolfram Research.
Bruno Buchberger is Professor of Computer Mathematics at Johannes Kepler University in Linz, Austria. In his 1965 Ph.D. thesis, he created the theory of Gröbner bases, and has developed this theory throughout his career. He named these objects after his advisor Wolfgang Gröbner. Since 1995, he has been active in the Theorema project at the University of Linz.
The School of Accounting and Finance (SAF) at University of Waterloo is a professional school within the Faculty of Arts. The School was established in 1980 under the name 'School of Accountancy'. Its name was changed in 2008 to better reflect its program offering. Today, more than 1,600 students are enrolled in the School's programs. In September 2009, a new 52,000 square feet (5,000 m2) building was officially opened to house the School.
Simple Knowledge Organization System (SKOS) is a W3C recommendation designed for representation of thesauri, classification schemes, taxonomies, subject-heading systems, or any other type of structured controlled vocabulary. SKOS is part of the Semantic Web family of standards built upon RDF and RDFS, and its main objective is to enable easy publication and use of such vocabularies as linked data.
Michael Kohlhase is a German computer scientist and professor at University of Erlangen–Nuremberg, where he is head of the KWARC research group.
Digital curation is the selection, preservation, maintenance, collection, and archiving of digital assets. Digital curation establishes, maintains, and adds value to repositories of digital data for present and future use. This is often accomplished by archivists, librarians, scientists, historians, and scholars. Enterprises are starting to use digital curation to improve the quality of information and data within their operational and strategic processes. Successful digital curation will mitigate digital obsolescence, keeping the information accessible to users indefinitely. Digital curation includes digital asset management, data curation, digital preservation, and electronic records management.
Computational thinking (CT) refers to the thought processes involved in formulating problems so their solutions can be represented as computational steps and algorithms. In education, CT is a set of problem-solving methods that involve expressing problems and their solutions in ways that a computer could also execute. It involves automation of processes, but also using computing to explore, analyze, and understand processes.
Dr A.R.D. Prasad is an Indian Library and Information Science Academic, Information professional and Information scientist. Dr Prasad teaches at Documentation Research and Training Centre (DRTC), Bangalore as Professor of Library and Information Science and he is retired Head of DRTC, which is India's only proper ischool with a very strong research program. His areas of specialisation include Artificial intelligence-Applications in LIS, Natural language processing, Digital Libraries, Hypertext and Multimedia applications, Institutional repository, Open-source software used in Libraries, Open Access to Information, Semantic Web Technology, Free and open source software etc. His other area of interests are Mythology, Buddhism, Philosophy and Indian History. He is pioneer in the promotion and development of Open-source software used in Libraries and Information Centres in India, Open access (publishing) and Open Access movement. He is visiting Faculty of University of Trento, Italy.
Taxonomy is the practice and science of categorization or classification.
In natural language processing, entity linking, also referred to as named-entity linking (NEL), named-entity disambiguation (NED), named-entity recognition and disambiguation (NERD) or named-entity normalization (NEN) is the task of assigning a unique identity to entities mentioned in text. For example, given the sentence "Paris is the capital of France", the idea is to determine that "Paris" refers to the city of Paris and not to Paris Hilton or any other entity that could be referred to as "Paris". Entity linking is different from named-entity recognition (NER) in that NER identifies the occurrence of a named entity in text but it does not identify which specific entity it is.
Patrick D. F. Ion is an American mathematician whose main interest is in mathematical knowledge management.
References
- ↑ "The Global Digital Mathematical Library Working Group (GDML WG) - "The World Digital Mathematics Library" (WDML)".
- ↑ Council, National Research (18 March 2014). "Developing a 21st Century Global Library for Mathematics Research". doi:10.17226/18619.
- ↑ "Fields Institute - Semantic Representation of Mathematical Knowledge Workshop".
- ↑ "Computable Archive of Mathematics: Wolfram Foundation Project (or Program)".