Group items tagged

KSL conducts research in the areas of knowledge representation and automated reasoning in the Artificial Intelligence Laboratory of the Department of Computer Science at Stanford University. Current work focuses on enabling technology for the Semantic Web, hybrid reasoning, explaining answers from heterogeneous applications, deductive question-answering, representing and reasoning with multiple contexts, knowledge aggregation, ontology engineering, and knowledge-based technology for intelligence analysts and other knowledge workers.

"WI-Prolog offers a comprehensive free Prolog environment. Since its start in 1987, SWI-Prolog development has been driven by the needs of real world applications. SWI-Prolog is widely used in research and education as well as commercial applications. Join over a million users who have downloaded SWI-Prolog."

"Loom is a language and environment for constructing intelligent applications. The heart of Loom is a knowledge representation system that is used to provide deductive support for the declarative portion of the Loom language. Declarative knowledge in Loom consists of definitions, rules, facts, and default rules. A deductive engine called a classifier utilizes forward-chaining, semantic unification and object-oriented truth maintainance technologies in order to compile the declarative knowledge into a network designed to efficiently support on-line deductive query processing."

The objective of INSEMTIVES is to bridge the gap bet­ween human and computational intell­igence in the current semantic content authoring R&D land­scape. The project aims at pro­ducing metho­dologies, methods and tools that enable the massive creation and feasible manage­ment of semantic cont­ent in order to facilitate the world-­wide up­take of semantic tech­nologies.

MIT Press CISnet brings together many of the MIT Press?s recent and classic titles in computer and information science in a fully searchable online library. Subscribers have access to a growing collection of MIT Press books on topics including programming, artificial intelligence, machine learning, human computer interaction, databases, digital libraries, networking, and robotics. CISnet is accessible from any computer with an Internet connection and from Web-enabled handhelds including the iPhone.

Artificial intelligence (AI) is a branch of computer science that deals with intelligent behavior, learning, and adaptation in machines. Research in AI is concerned with producing machines to automate tasks requiring intelligent behavior.

The journal serves as a forum favoring the dissemination of interdependent and interdisciplinary research involved in information retrieval, database, human-machine communication and artificial intelligence. The recent developments in these fields call for cross-discipline collaborations and perspectives. The I3 journal intends to promote inter-disciplinarity working at the development of common terminology, concepts, typologies, methods and ontologies and aiming at the identification of a unified perspective on research issues. The journal is disseminated both as a traditional paper publication (published by Cépaduès http://www.cepadues.com/) and as an electronic journal on the web (http://www.journal-i3.org/).

The Automated Mathematician (AM) is one of the earliest successful discovery systems. It was created by Doug Lenat in Lisp, and in 1977 led to Lenat being awarded the IJCAI Computers and Thought Award. AM worked by generating and modifying short Lisp programs which were t

The Oycib infrastructure is based in the ethnographic observation model based agents called e-Xploration. The infrastructure allows the analysis, interpretation and visualization of profiles and digital practices. Furthermore, we propose work in the context-awareness to enhance the collaboration and cooperation among people and groups.

"automatic exploratory data analysis Making sense of data is one of the great challenges of the information age we live in. While it is becoming easier to collect and store all kinds of data, from personal medical data, to scientific data, to public data, and commercial data, there are relatively few people trained in the statistical and machine learning methods required to test hypotheses, make predictions, and otherwise create interpretable knowledge from this data. The Automatic Statistician project aims to build an artificial intelligence for data science, helping people make sense of their data."

"Our mission is to preserve your brain well enough to keep all its memories intact: from that great chapter of your favorite book to the feeling of cold winter air, baking an apple pie, or having dinner with your friends and family. If memories can truly be preserved by a sufficiently good brain banking technique, we believe that within the century it could become feasible to digitize your preserved brain and use that information to recreate your mind. How close are we to this possibility? Currently, we can preserve the connectomes of animal brains and are working on extending our techniques to human brains in a research context. This is an important first step towards the development of a verified memory preservation protocol, as the connectome plays a vital role in memory storage."

"Magenta is a Google Brain project to ask and answer the questions, "Can we use machine learning to create compelling art and music? If so, how? If not, why not?" Our work is done in TensorFlow, and we regularly release our models and tools in open source. These are accompanied by demos, tutorial blog postings and technical papers. To follow our progress, watch our GitHub and join our discussion group."

"My name's Hal. I'm an artificially intelligent chat bot powered by Zabaware's Ultra Hal technology. You can communicate with me in plain English just by typing in the text box below. Go ahead and try typing something to me, or if you want to learn more about me, check out these links:"

starting page of CIFAR AI with name of other insitution

Quid is from the Latin quid, what. In current English use quid is best known from the phrase quid pro quo, which literally means "what for what." More commonly, quid pro quo is used to suggest one thing in place for another; a fair exchange. The less well known Latin phrase quid nunc? means "What next?" and is used to refer to an inquisitive person, one who is constantly asking, "What's the news?"

There was a time when machine learning datasets were scarce. Now, with the advancement in this field, datasets are readily available across the internet, but still, machine learning experts find it difficult to get relevant datasets for project ideas. By this post, we wish to change that.

"Our long-term goal is to democratize AI. We want to level the playing field for startups to ensure that innovation doesn't get locked up in large companies like Google or Facebook. If you're starting an AI company, we want to help you succeed. Apply here and mention this post in your application."

"Embed the Google Assistant in any device Bring voice control, natural language understanding, Google's smarts, and more to your devices. A developer preview of the SDK is available today for everyone interested in tinkering with platforms such as the Raspberry Pi 3. Later this year, commercial device makers will also be able to use the SDK across a wide range of hardware."

"TensorFlow™ is an open source software library for numerical computation using data flow graphs. Nodes in the graph represent mathematical operations, while the graph edges represent the multidimensional data arrays (tensors) communicated between them. The flexible architecture allows you to deploy computation to one or more CPUs or GPUs in a desktop, server, or mobile device with a single API. TensorFlow was originally devel"