Current Research Projects
Current Research Projects
cfaed
CENTER FOR ADVANCING ELECTRONICS DRESDEN
CPEC
Center for Perspicuous Computing
DeciGUT
A Grand Unified Theory of Decidability in Logic-Based Knowledge Representation
InnoSale
Innovating Sales and Planning of Complex Industrial Products Exploiting Artificial Intelligence
KIMEDS
AI Assisted Certification of Medical Software
M/EDGE
Secure Low Power Medical Edge Computing
NAVAS
Navigation Approaches for Answer Sets
Nemo
A fast, scalable, and reliable rule engine
QuantLA
Quantitative Logics and Automata
SECAI
School of Embedded Composite Artificial Intelligence
ScaDS.AI
Center for Scalable Data Analytics and Artificial Intelligence
Semantic MediaWiki
Popular open-source software for collaborative data management
Wikidata
Wikipedia's free, collaborative knowledge base
Wikidata SPARQL Logs
Access logs from the Wikidata SPARQL Query Service
Wolpertinger
Wolpertinger is a fixed-domain reasoner
Adf-bdd
Abstract Dialectical Frameworks solved with Binary Decision Diagrams