Aktuelle Forschungsprojekte

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Toggle side column

Aktuelle Forschungsprojekte


Cfaed-logo.png

cfaed
CENTER FOR ADVANCING ELECTRONICS DRESDEN

CPEC-logo.png

CPEC
Grundlagen verständlicher Softwaresysteme

DeciGUT-logo-final.png

DeciGUT
A Grand Unified Theory of Decidability in Logic-Based Knowledge Representation

InnoSale Logo original.png

InnoSale
Innovating Sales and Planning of Complex Industrial Products Exploiting Artificial Intelligence

KIMEDS.jpg

KIMEDS
KI-assistierte Zertifizierung medizinischer Software

Screenshot from 2023-01-30 17-58-22.png

M/EDGE
Vertrauenswürdige und energiesparsame Edge-Elektronik für medizinische Anwendungen

NAVAS-logo.png

NAVAS
Navigation im Lösungsraum von Answer Sets

Nemo
Ein schnelles, skalierbares und verlässliches Regelsystem

Quantla-logo-png.png

QuantLA
Quantitative Logics and Automata

SECAI-SQUARE-SHORT.pdf

SECAI
School of Embedded Composite Artificial Intelligence

Scads-logo.png

ScaDS.AI
Center for Scalable Data Analytics and Artificial Intelligence

Semantic MediaWiki logo.png

Semantic MediaWiki
Beliebte Open-Source-Software zur gemeinsamen Datenverwaltung

Wikidata-logo-en.svg

Wikidata
Wikipedias freie, kollaborative Wissensbasis

Wikidata-sparql-logo-png.png

Wikidata SPARQL Logs
Zugriffsprotokolle des Wikidata SPARQL Query Service

Wolpert-github.png

Wolpertinger
Wolpertinger is a fixed-domain reasoner

Adf-bdd
Abstract Dialectical Frameworks mit Binary Decision Diagrammen lösen