0 antall prosjekter

IKTPLUSS-IKT og digital innovasjon

International Industrial Ontologies Workshops 2019

IOF 2019 vil samle nasjonale og internasjonale initiativer innenfor ontologi-støttet digitalisering: - Norsk olje og gass-industri, som er ledende innenfor bruk av ontologier innen industrielle produksjonssystemer. De sentrale aktørene er partnere i SIRIUS SFI - Et ledende internasjonalt forskern...

Tildelt: kr 55 999

Prosjektperiode: 2019-2019

Sted: Ukjent Fylke

SFI-Sentre for forskningsdrevet innovasjon

SIRIUS - Centre for Scalable Data Access

SIRIUS-senteret for forskningsdrevet innovasjon støtter opp om digitalisering av kunnskapsintensive arbeidsprosesser. Her er aksess til data en flaskehals. Dessverre er informasjon som brukes i industri vanskelig å aksessere. Den er spredt over mange databaser og har inkonsistente formater. Overf...

Tildelt: kr 96,0 mill.

Prosjektperiode: 2015-2024

Sted: Ukjent Fylke

VERDIKT-Kjernekomp.og verdiskaping IKT

Semantic Days 2010

...

Tildelt: kr 49 999

Prosjektperiode: 2010-2010

Sted: Ukjent Fylke

VERDIKT-Kjernekomp.og verdiskaping IKT

First-order Theorem Proving (FTP 2009)

...

Tildelt: kr 19 999

Prosjektperiode: 2009-2010

Sted: Ukjent Fylke

FRITEK-Teknologi

The 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Oslo 2009

The TABLEAUX conference is the natural annual meeting point for researchers with an interest in deduction methods based on systems of tableaux. Research in this area spans a wide range of themes in computer science, mathematics, and philosophy, including both theoretical works, use of logical met...

Tildelt: kr 99 999

Prosjektperiode: 2009-2009

Sted: Ukjent Fylke

F-INF-Naturvitenskap, informatikk

Tableaux with Accelerated Search

Automated deduction in non-classical logics is an important field of research in areas of computer science such as software verification and security analysis. The project is in the heart of this field and addresses systems of tableaux. Among the virtues of this family of deduction systems are (1...

Tildelt: kr 1,8 mill.

Prosjektperiode: 2005-2008

Sted: Ukjent Fylke