Semanlink - Artificial Intelligence AND Science

> an overview of the material covered in a course taught at Stanford in the spring quarter of 2018. The course draws upon **insight from cognitive and systems neuroscience to implement hybrid connectionist and symbolic reasoning systems** that leverage and extend the state of the art in machine learning **by integrating human and machine intelligence**. As a concrete example we focus on digital assistants that learn from continuous dialog with an expert software engineer while providing initial value as powerful analytical, computational and mathematical savants.

> [#Dehaene](/tag/stanislas_dehaene)'s work extends the [#Global Workspace Theory](/tag/global_workspace_theory) of Bernard Baars. Dehaene’s version of the theory combined with Yoshua Bengio’s concept of a [#consciousness prior](/tag/consciousness_prior.html) and deep reinforcement learning suggest a model for constructing and maintaining the cognitive states that arise and persist during complex problem solving.

2019-11-12 About

Restoring ancient text using deep learning: a case study on Greek epigraphy | DeepMind

Tags:

2019-10-18 About

[1910.03524] Beyond Vector Spaces: Compact Data Representation as Differentiable Weighted Graphs

Tags:

2019-10-09 About

Sebastian Ruder sur Twitter : "1/ Our paper Episodic Memory in Lifelong Language Learning..."

Tags:

2019-09-08 About

Exploring DNA with Deep Learning

Tags:

2019-08-17 About

[1908.01580] The HSIC Bottleneck: Deep Learning without Back-Propagation

Tags:

2019-08-15 About

France is AI 2018: Lenka Zdeborova - Statistical physics modelling of machine learning - YouTube

Tags:

2019-08-15 About

Knowledge Graph Reasoning Papers

Tags:

2019-08-09 About

[1907.03950] Learning by Abstraction: The Neural State Machine

Tags:

2019-07-10 About

Hamiltonian Neural Networks

Tags:

2019-06-11 About

[1905.12149] SATNet: Bridging deep learning and logical reasoning using a differentiable satisfiability solver

Tags:

2019-05-31 About

kheyer/Genomic-ULMFiT: ULMFiT for Genomic Sequence Data

Tags:

2019-04-02 About

Microsoft Academic

Tags:

2019-02-25 About

The memories around us – François Chollet – Medium

Tags:

2018-12-30 About

The intertwined quest for understanding biological intelligence and creating artificial intelligence

Tags:

2018-12-29 About

Julie Grollier - personal website: Nanodevices - Bio-inspired computing - Spin Transfer Torque - Memristors

Tags:

2018-10-27 About

Julie Grollier - Spin Transfer Torque

Tags:

2018-10-27 About

Towards bridging the gap between deep learning and brains

Tags:

2018-10-23 About

Overcoming device unreliability with continuous learning in a population coding based computing system (2018 - Journal of Applied Physics)

Tags:

2018-10-21 About

Cracking big data with statistical physics

Tags:

2018-10-18 About

From Deep Learning of Disentangled Representations to Higher-level Cognition - YouTube

Tags:

2018-09-28 About

HyperE: Hyperbolic Embeddings for Entities

Tags:

2018-07-27 About

Tutorial on Poincaré Embeddings (Jupyter Notebook )

Tags:

2018-05-20 About

Implementing Poincaré Embeddings | RARE Technologies

Tags:

2018-05-20 About

Emmanuel Macron Q&A: France's President Discusses Artificial Intelligence Strategy | WIRED

Tags:

2018-03-31 About

Intelligence artificielle : ce qu’il faut retenir du rapport de Cédric Villani

Tags:

Mission Villani sur l'IA

2018-03-29 About

AI for humanity

Tags:

Mission Villani sur l'IA

2018-03-28 About

Sommet intelligence artificielle à Paris

Tags:

Mission Villani sur l'IA

2018-03-28 About

Stanford Seminar - "Can the brain do back-propagation?" - Geoffrey Hinton

Tags:

2018-01-22 About

[1705.08039] Poincaré Embeddings for Learning Hierarchical Representations

Tags:

2017-12-16 About

Distilling Free-Form Natural Laws from Experimental Data | Science

Tags:

2017-10-22 About

[1709.08568] The Consciousness Prior

Tags:

2017-09-29 About

Facial Recognition: Cracking the Brain’s Code | CNRS News

Tags:

2017-09-07 About

Computational Neuroscience: Why does the brain adopt mechanisms like sparse coding to represent the environment? - Quora

Tags:

2017-06-19 About

[1611.04228] Learning Sparse, Distributed Representations using the Hebbian Principle

Tags:

2017-04-28 About

How Mimicking Brain Function is Revolutionising NLP - Dataconomy

Tags:

2017-04-28 About

Electronic synapses that can learn : towards an artificial brain ? - CNRS Web site

Tags:

2017-04-03 About

The Clever Machine | Topics in Computational Neuroscience & Machine Learning

Tags:

2016-09-17 About

Single Artificial Neuron Taught to Recognize Hundreds of Patterns

Tags:

2016-04-25 About

The Hunt for the Algorithms That Drive Life on Earth | WIRED

Tags:

2016-02-08 About

Neural backpropagation - Wikipedia, the free encyclopedia

Tags:

2016-01-03 About

Why Neurons Have Thousands of Synapses, A Theory of Sequence Memory in Neocortex - Single Artificial Neuron Taught to Recognize Hundreds of Patterns | MIT Technology Review

Tags:

2015-11-18 About

IBM's 'Rodent Brain' Chip Could Make Our Phones Hyper-Smart | WIRED

Tags:

2015-08-18 About

Machine Learning Reveals Genetic Control System | Quanta Magazine

Tags:

2014-12-20 About

SWEET Semantic Web for Earth and Environmental Terminology

Tags:

2014-10-26 About

Finding perfection in the imperfect: Applying Darwinian neuro-evolution to robotics | Robohub

Tags:

2014-03-26 About

Numenta: Hierarchical Temporal Memory, including HTM cortical learning algorithms

Tags:

2014-01-19 About

L'implémentation neuronale des mécanismes Bayésiens - Psychologie cognitive expérimentale - Stanislas Dehaene - Collège de France

Tags:

2013-12-22 About

Modeling the Evolution of Science

Tags:

2013-08-29 About

Generating documentation from RDFS and/or OWL vocabularies - ANSWERS

Tags:

RDF-OWL documentation tool

2013-08-28 About

RDF2RDFa-izer

Tags:

2013-08-27 About

The Man Behind the Google Brain: Andrew Ng and the Quest for the New AI | Wired Enterprise | Wired.com

Tags:

2013-05-25 About

Jeff Hawkins: How brain science will change computing - CornellCast

Tags:

2013-05-25 About

Launching the Quantum Artificial Intelligence Lab

Tags:

2013-05-17 About

Parrot, a RIF and OWL documentation service

Tags:

Parrot

2013-03-12 About

SKOS Now Interoperates with OWL 2 | AI3:::Adaptive Information

Tags:

2013-02-07 About

LODE - Live OWL Documentation Environment

Tags:

2012-11-23 About

ldodds/dowl · GitHub

Tags:

2012-09-02 About

Probabilistic Analysis of the 4000-year-old Indus Script

Tags:

2012-06-02 About

Mathematics Subject Classification MSC2010

Tags:

2012-02-23 About

A Semantic Web Representation of a Product Range Specification based on Constraint Satisfaction Problem in the Automotive Industry

Tags:

2011-10-25 About

Geological Survey Austria launches thesaurus project |The Semantic Puzzle

Tags:

2011-10-18 About

A Semantic Web Representation of a Product Range Specification based on Constraint Satisfaction Problem in the Automotive Industry

Tags:

2011-08-20 About

ontology-browser - An OWL Ontology and RDF (Linked Open Data) Browser - Google Project Hosting

Tags:

2011-07-19 About

Semai » Blog Archive » OWL 2 for RDF vocabularies

Tags:

2011-07-17 About

QUDT - Quantities, Units, Dimensions and Data Types in OWL and XML

Tags:

2011-07-11 About

Putting OWL in Order: Patterns for Sequences in OWL

Tags:

2011-07-05 About

CSP - A vocabulary to represent Constraint Satisfaction Problems. | DERI Vocabularies

Tags:

2011-06-29 About

Installing Graphviz for protegé

Tags:

2011-06-08 About

Thinking ‘Inside the Box’ with Description Logics » AI3:::Adaptive Information

Tags:

2011-01-05 About

WHERE OWL fails

Tags:

2010-12-17 About

How do I know when to use OWL and when to Rules? How can I use them both together?

Tags:

2010-10-17 About

Bridging the Gap Between OWL and Relational Databases

Tags:

2010-09-06 About

Expressing Constraints using RDF/OWL or something else? - Semantic Overflow

Tags:

2010-09-06 About

Model Driven Development with Semantic Web Technologies

Tags:

2010-09-06 About

S is for Semantics: Extending OWL RL

Tags:

2010-08-27 About

Bridge between SW communities: OWL RL « Ivan’s private site

Tags:

OWL RL

2010-08-27 About

Submission Request to W3C: OWLlink Protocol

Tags:

2010-07-20 About

Probabilistic Reasoning in the Semantic Web using Markov Logic

Tags:

2010-07-19 About

skoseditor

Tags:

2010-05-07 About

Memristor minds: The future of artificial intelligence - New Scientist

Tags:

2009-07-15 About

"Semantic Web for the Working Ontologist" - bobdc.blog

Tags:

2009-05-28 About

Semantic Technologies for Archaeological Resources

Tags:

2009-04-20 About

"E Pluribus Unum", or "Inversely Functional Identity", or "Smooshing Without the Stickiness" (re-updated)

Tags:

2008-12-17 About

W3C Semantic Web Activity News - Eleven W3C Publications Related to OWL 2

Tags:

2008-12-08 About

Relational Database Integration with RDF/OWL

Tags:

2008-08-01 About

alphaWorks : Scalable Highly Expressive Reasoner : Overview

Tags:

2008-07-19 About

Experiences with the conversion of SenseLab databases to RDF/OWL

Tags:

2008-06-12 About

Structured Objects in OWL: Representation and Reasoning. In Proc. of the 17th Int. World Wide Web Conference (WWW 2008), Beijing

Tags:

Very good presentation at WWW 2008. Nominated for the best paper award<br/>
Abstract: Applications of semantic technologies often require the representation of and reasoning with structured objects—that is, objects composed of parts connected in complex ways. Although OWL is a general and powerful language, its class descriptions and axioms cannot be used to describe arbitrarily connected structures. An OWL representation of structured objects can thus be underconstrained, which reduces the inferences that can be drawn and causes performance problems in reasoning. To address these problems, we extend OWL with description graphs, which allow for the description of structured objects in a simple and precise way. To represent conditional aspects of the domain, we also allow for SWRL-like rules over description graphs. Based on an observation about the nature of structured objects, we ensure decidability of our formalism. We also present a hypertableau-based decision procedure, which we implemented in the HermiT reasoner. To evaluate its performance, we have extracted description graphs from the GALEN and FMA ontologies, classified them successfully, and even detected a modeling error in GALEN.

2008-04-23 About

GRDDL in OwlSight | Thinking Clearly

Tags:

2008-04-11 About

MyCarEvent - Terminology and Methodology for populating the generic information model

Tags:

MyCarEvent

2008-01-20 About

UserRequirements - owl1-1 - Google Code

Tags:

2008-01-08 About

MYCAREVENT: OWL and the automotive repair information supply chain - Proceedings of Extreme Markup Languages®

Tags:

MyCarEvent

2007-10-05 About

OWL 1.1 Web Ontology Language Overview

Tags:

OWL 1.1

2007-09-19 About

Submission Request to W3C: OWL 1.1 Web Ontology Language

Tags:

2007-09-19 About

OWL Web Ontology Language Guide

Tags:

2007-09-19 About

bobdc.blog: Some great W3C explanations of basic ontology concepts

Tags:

2007-08-06 About

CO-ODE

Tags:

2007-07-26 About

SKOS Extensions [RDF/OWL Description]

Tags:

2007-07-18 About

"Semantic Web Technologies in Technical Automotive" - CEUR-WS.org/Vol-258 - OWL: Experiences and Directions 2007

Tags:

2007-07-13 About

CEUR-WS.org/Vol-258 - OWL: Experiences and Directions 2007

Tags:

OWLED 2007

2007-07-13 About

DESCRIPTION LOGICS course - Enrico Franconi

Tags:

Description Logic

2007-07-09 About

An introduction to Description Logics - Daniele Nardi, Ronald J. Brachman

Tags:

Description Logic

2007-07-09 About

P2NotesOwled2007 - owl1-1 - Google Code

Tags:

OWLED 2007 AND fps

2007-06-29 About

S1NotesOwled2007 - owl1-1 - Google Code

Tags:

OWLED 2007 AND fps

2007-06-29 About

owl1-1 - Google Code

Tags:

2007-06-27 About

OWLED 2007 - LeibnizWiki

Tags:

OWLED 2007 AND fps

2007-06-23 About

Structured Ontology Format

Tags:

2007-06-07 About

OWLED 2007 Program

Tags:

OWLED 2007

2007-06-04 About

EasyChair. Login Page for OWLED 2007

Tags:

OWLED 2007

2007-05-05 About

An OWL model for managing ontologies in the agricultural domain

Tags:

2007-04-02 About

OWL: Experiences and Directions - OWLED 2007

Tags:

OWLED 2007

2007-03-04 About

Horst, Herman J. ter: Completeness, decidability and complexity of entailment for RDF Schema and a semantic extension involving the OWL vocabulary

Tags:

We prove that entailment for RDFS (RDF Schema) is decidable, NP-complete, and in P if the target graph does not contain blank nodes.We show that the standard set of entailment rules for RDFS is incomplete and that this can be corrected by allowing blank nodes in predicate position. We define semantic extensions of RDFS that involve datatypes and a subset of the OWL vocabulary that includes the property-related vocabulary (e.g. Functional- Property), the comparisons (e.g. sameAs and differentFrom) and the value restrictions (e.g. allValuesFrom). These semantic extensions are in line with the 'if-semantics' of RDFS and weaker than the 'iff-semantics' of D-entailment and OWL (DL or Full). For these semantic extensions we present entailment rules, prove completeness results, prove that consistency is in P and that, just as for RDFS, entailment is NP-complete, and in P if the target graph does not contain blank nodes. There are no restrictions on use to obtain decidability: classes can be used as instances.

2007-02-06 About

ProtegeWiki: Modeling Tips And Tricks

Tags:

2006-12-23 About

A Framework for Ontological Description of Archaeological Scientific Publications

Tags:

2006-12-23 About

Integrating Description Logics and Relational Databases

Tags:

2006-12-16 About

On the properties of metamodeling in OWL

Tags:

Abstract: A common practice in conceptual modeling is to separate the intensional from the extensional model. Although very intuitive, this approach is inadequate for many complex domains, where the borderline between the two models is not clear-cut. Therefore, OWL-Full, the most expressive of the Semantic Web ontology languages, allows combining the intensional and the extensional model by a feature we refer to as metamodeling. In this paper, we show that the semantics of metamodeling adopted in OWL-Full leads to undecidability of basic inference problems, due to free mixing of logical and metalogical symbols. Based on this result, we propose two alternative semantics for metamodeling: the contextual and the HiLog semantics. We show that SHOIQ— a description logic underlying OWL-DL— extended with metamodeling under either semantics is decidable. Finally, we show how the latter semantics can be used in practice to axiomatize the logical interaction between concepts and metaconcepts.
<br/><br/>
Eagle is a type of RedListSpecies. Thus, RedListSpecies acts as a
metaconcept for Eagle
<br/>
The examples such as the one given above are often dismissed with an argument that “eagle as a species” and “eagle as a set of all individual eagles”
are not the one and the same thing, and should not be referred to using the
same symbol...we simply observe that the word “eagle” in most people’s minds invokes a notion of a “mighty bird of prey.” The interpretation of
this notion as a concept or as an individual is secondary and is often context-dependent, so using different symbols for the same intuitive notion makes the
model unnecessarily complex.

2006-12-01 About

PR-OWL: A Bayesian Framework for the Semantic Web

Tags:

2006-11-07 About

PR-OWL: A Bayesian Ontology Language for the Semantic Web

Tags:

2006-09-07 About

UMBC eBiquity - Publications - Probabilistic Framework for Semantic Web - OWL and Bayesian Networks

Tags:

2006-05-01 About

alphaWorks : IBM Web Ontology Manager

Tags: