0 antall prosjekter

Dato fra ny til gammel

IKTPLUSS-IKT og digital innovasjon

37th Intl. Workshop on Description Logics

...International Workshop on Description Logic (DL) is the major annual event of...forum where AI researchers interested in description logics and their applications meet to...for the successful FRIPRO project “Learning Description Logic Ontologies” currently in...

Tildelt: kr 99 999

Prosjektperiode: 2024-2024

Sted: Vestland

FRIPRO-Fri prosjektstøtte

Learning Description Logic Ontologies

...new automated strategies for building ontologies—which are explainable knowledge...of interest. This proposal is based on learning models from computational learning theory....second is a differentiable way of learning ontologies in the probably approximately correct...

Tildelt: kr 7,9 mill.

Prosjektperiode: 2021-2025

Sted: Vestland

IKTPLUSS-IKT og digital innovasjon

International Research School AI in Bergen

...the school is: Knowledge Graphs and Machine Learning. In particular, the research school will...information. Knowledge Graphs and Machine Learning are research topics with many recent...Research Council within the project “Learning Description Logic Ontologies”. The research...

Tildelt: kr 99 999

Prosjektperiode: 2022-2022

Sted: Vestland

IS-AUR-Samarb.progr. Norge Frankrike

Learning and Reasoning in Knowledge Graph Embeddings

...accuracy results of the underlying machine learning models. However such accuracy is often based...data, which can result in corrupted machine learning models that can make wrong predictions in...at improving KGEs by taking advantage of ontologies, which are logical theories that formalize...

Tildelt: kr 0,10 mill.

Prosjektperiode: 2023-2024

Sted: Vestland

SFF-Sentre for fremragende forskn

Integreat - The Norwegian centre for knowledge-driven machine learning

...learning (ML) is the mathematical and computational...(AI), and as such a fundamental force of technological progress in our increasingly digital,...centre for knowledge-driven machine learning, will contribute to the radical...

Tildelt: kr 155,6 mill.

Prosjektperiode: 2023-2033

Sted: Oslo

IKTPLUSS-IKT og digital innovasjon

Logic-based Artificial Intelligence Everywhere: Tsetlin Machines in Hardware

...Machines (TMs) are a new machine learning (ML) approach founded on the Tsetlin...of magnitude reduced energy and faster learning, compared to NNs alike. Logic-driven...to small-scale ML problems. 2) Reinforcement learning (RL) is key to many ML problems, such as...

Tildelt: kr 14,6 mill.

Prosjektperiode: 2020-2026

Sted: Agder

PES2020-Prosj.etabl.støtte H2020

Ontology Representation for Basic security of Information Systems

...and its targets. It will integrate existing ontologies, taxonomies, models and sharing platforms...to create a uniform language for the description of individual techniques and procedures in...

Tildelt: kr 69 999

Prosjektperiode: 2020-2020

Sted: Telemark

NAERINGSPH-Nærings-phd

Threat Ontologies for Cyber Security Analytics

...for starting a Ph.D project on Threat Ontologies for Cybersecurity Analytics which aims at...and discovery of cyberthreats based on...

Tildelt: kr 1,6 mill.

Prosjektperiode: 2016-2020

Sted: Oslo

SIP-NHD-Strategiske instituttprogram finansiert av NHD

Making Rich Media Accessible for Generations

...provide the framework, the metadata and the ontologies needed to improve the state of the art in...models. The layer will consist of upper ontologies, domain specific ontologies and terminal...

Tildelt: kr 6,0 mill.

Prosjektperiode: 2007-2009

Sted: Oslo

IKTPLUSS-IKT og digital innovasjon

Leveraging information standards and terminologies for the Learning Healthcare System

...-Exploiting medical standards and ontologies such as openEHR and SNOMED-CT for secondary...

Tildelt: kr 49 999

Prosjektperiode: 2017-2018

Sted: Troms - Romsa - Tromssa

VERDIKT-Kjernekomp.og verdiskaping IKT

Cooperative Mining of Independent Document Repositories

...from several repositories has been to logically merge the collections before performing...be based on the use of different schemas or ontologies, making merging non-trivial. The general...

Tildelt: kr 8,6 mill.

Prosjektperiode: 2008-2012

Sted: Trøndelag - Trööndelage

VERDIKT-Kjernekomp.og verdiskaping IKT

Semi-semantic models for cross-sector portals

...procedures for semi-automatic generation of ontologies from unstructured text indexes for use as...of these semi-automatically generated ontologies to integrate multiple large scale content...

Tildelt: kr 11,7 mill.

Prosjektperiode: 2008-2011

Sted: Oslo

FRIPRO-Fri prosjektstøtte

AutoCSP: Self-Supervised Neuro-Symbolic Solvers for Constraint Satisfaction

...This system combines data-driven machine learning (ML) models and logic-driven constraint...

Tildelt: kr 3,8 mill.

Prosjektperiode: 2021-2024

Sted: Oslo

FRINATEK-Fri prosj.st. mat.,naturv.,tek

Context Switching Reconfigurable Hardware for Communication Systems

...parallel to this development, reconfigurable logic devices (Field Programmable Gate Arrays -...and contain a larger amount of confi gurable logic as well. There is a growing interest in...for computing rather than only as glue logic between processing elements. In this project,...

Tildelt: kr 10,0 mill.

Prosjektperiode: 2009-2014

Sted: Oslo

F-INF-Naturvitenskap, informatikk

Modifications and Applications of Alternating-time Temporal Epistemic Logic

...project...

Tildelt: kr 1,6 mill.

Prosjektperiode: 2005-2007

Sted: Vestland

BIOMOL-Molekylær biovitenskap og bioteknologi

An improved method for comparing the 3-D electronic structure of molecules in rational drug design

...are suggested: - The use of inductive logic programming (ILP) which is a non-attribute...we are investigating the u se of inductive logic programming (ILP) which is very suitable for...

Tildelt: kr 1,7 mill.

Prosjektperiode: 2003-2007

Sted: Trøndelag - Trööndelage

FRIHUMSAM-Fri prosj.st. hum og sam

Anti-Exceptionalism About Logic

...Logic isn't special. Its theories are continuous...its method continuous with scientific method. Logic isn't a priori, nor are its truths analytic...are the tenets of anti-exceptionalism about logic. The position was first suggested by W. V....

Tildelt: kr 6,9 mill.

Prosjektperiode: 2016-2021

Sted: Vestland

PES-EU-Prosjektetablererstøtte EU (bedrift)

e-WOK - energy Web Ontologies Knowledge

...will be integrated on to p of common ontologies and interoperability services. Our S&T main...thanks to semantic web technologies i.e. ontologies and the corresponding web services. We...

Tildelt: kr 0,12 mill.

Prosjektperiode: 2005-2005

Sted: Oslo

FRIPRO-Fri prosjektstøtte

CaReLearner: Causal Reasoning with Logical Interpretable Learning

...increasing evidence that machine learning models based on correlation are brittle....for decision-making. The traditional fields of logical engineering, causal inference, and deep...each paradigm, dealing with the unresolved learning challenge in logical engineering, the...

Tildelt: kr 12,0 mill.

Prosjektperiode: 2023-2027

Sted: Agder

FRINATEK-Fri prosj.st. mat.,naturv.,tek

Logical and categorical methods in data transformation

...the term, including transforming to or from ontologies). Basic theoretical machinery and...

Tildelt: kr 3,1 mill.

Prosjektperiode: 2014-2020

Sted: Oslo

FRINATEK-Fri prosj.st. mat.,naturv.,tek

Automating Coherent Logic

...an automated reasoning system for first-order logic (FOL) by translating reasoning problems to a...field with many applications in mathematics, logic and computer science (e.g., the verification...The strong point of CL as compared to weaker logics (for example, resolution logic) is that CL...

Tildelt: kr 4,9 mill.

Prosjektperiode: 2007-2012

Sted: Vestland

SUP-NHD-Strategiske UoH-progr.fin.NHD

Integration of Data Processing in Oil and Gas Drilling and Completion

...will provide new knowledge about modelling ontologies and methodologies in the drilling area....at the university level on semantic web and ontologies. OLF considers these research tasks to be...

Tildelt: kr 4,5 mill.

Prosjektperiode: 2008-2012

Sted: Rogaland

FRITEK-Teknologi

CSL'11 - the 20-th Annual Conference of the European Association for Computer Science Logic

...Science Logic is the interdisciplinary field between...the European Association of Computer Science Logic (EACSL, www.eacsl.org). The EACSL promote s...

Tildelt: kr 0,12 mill.

Prosjektperiode: 2011-2011

Sted: Vestland

KOSK-Katalyse og organisk syntetisk kjemi

Reaction mechanism elucidations in carbocation mediated hydrocarbon reactions over acidic zeolite type catalysts

...insight obtained from a quantum chemical description of the system under investigation....in the broad range of methods in use. Learning to use theoretical tools is as demanding as...

Tildelt: kr 0,19 mill.

Prosjektperiode: 2004-2006

Sted: Oslo

FUGE-Funksjonell genomforskn.i Norg

From trust to hope.The interface between science and society in late modernity.

...which may be characterized as a move from a logic of trust towards a logic of hope. Trust was...desperate need to be contained within a trust logic-it needs hope. What are the dynamics of this...Through investigating how the dynamics of the logic of hope is unfolding at different levels of...

Tildelt: kr 1,00 mill.

Prosjektperiode: 2009-2010

Sted: Vestland

IKTPLUSS-IKT og digital innovasjon

Welcome to the Clean Tech Revolution

...and energy are morphing, a new industry logic emerges. This event will dive into and...in a report for open distribution. The key learnings will be worked into a case study to be used...

Tildelt: kr 20 999

Prosjektperiode: 2016-2016

Sted: Rogaland

F-INF-Naturvitenskap, informatikk

Tableaux with Accelerated Search

...deduction in non-classical logics is an important field of research in areas...to a large class of non-classical logics - three crucially important points for a...in a new tableau system for classical logic and extending the methods to a wide range of...

Tildelt: kr 1,8 mill.

Prosjektperiode: 2005-2008

Sted: Oslo

IKTPLUSS-IKT og digital innovasjon

Machine Teaching for Explainable AI

...that are often opaque, such as deep learning. These are black-box systems used to predict...to obtain “meaningful explanations of the logic involved” when automated decision-making...considered as an inverse problem to machine learning where the goal is for the teacher to find...

Tildelt: kr 10,0 mill.

Prosjektperiode: 2022-2026

Sted: Vestland

PES2020-Prosj.etabl.støtte H2020

PES Advanced Technology for EXtreme-SCALE Big-Data Analytics (EXSCALE)

...cloud, dedicated). 2. Second, novel machine learning algorithms for distributed unsupervised...of recent advances in, for example, Deep Learning, to extract new insights from extreme-scale...the following responsibilities: # Title Description 1 Project Management 2 Use Case...

Tildelt: kr 69 999

Prosjektperiode: 2019-2020

Sted: Oslo

FINNUT-Forskning og innovasjon i utdanningssektoren

Measuring competence development in vocational education and training (MECVET)

...and stimulated research on assessment for learning. Efforts have also been made to construct...consensus and criterion-related guidance - a logic also to be found in recent OECD prototypes...In the MECVET we will address the methodological challenges associated with prototyping a...

Tildelt: kr 6,1 mill.

Prosjektperiode: 2012-2017

Sted: Akershus

1 16 17 18 19 20 103