Suche mittels Attribut
Aus International Center for Computational Logic
Diese Seite stellt eine einfache Suchoberfläche zum Finden von Objekten bereit, die ein Attribut mit einem bestimmten Datenwert enthalten. Andere verfügbare Suchoberflächen sind die Attributsuche sowie der Abfragengenerator.
Liste der Ergebnisse
- ScaDS.AI + (Center for Scalable Data Analytics and Artificial Intelligence)
- CeTI + (Centre for Tactile Internet with Human-in-the-Loop)
- DIAMOND + (Datenintegration und -abfrage durch die Zusammenführung von Ontologien und Datenbanken)
- SOA-VBQP + (Der Second-Order Ansatz und dessen Anwendung in der Sicht-basierten Anfrageverarbeitung)
- Nemo + (Ein schnelles, skalierbares und verlässliches Regelsystem)
- EMCL (offered until 2017) + (European Master's Program in Computational Logic)
- Coprocessor + (Formelvereinfachungen für CNF (SAT), QBF, MaxSAT und MUS Formeln)
- GoAsQ + (Generating and Answering Ontological Queries)
- CPEC + (Grundlagen verständlicher Softwaresysteme)
- HAEC B08 + (High-Capacity Knowledge Processing Pipeline (HAEC Teilprojekt B08))
- HAEC + (Highly Adaptive Energy-Efficient Computing (Sonderforschungsbereich 912))
- ICCL-SS-2015 + (ICCL Summer School 2015: Reasoning)
- InnoSale + (Innovating Sales and Planning of Complex Industrial Products Exploiting Artificial Intelligence)
- KIMEDS + (KI-assistierte Zertifizierung medizinischer Software)
- NAVAS + (Navigation im Lösungsraum von Answer Sets)
- PSAT + (Paralleles Lösen des Erfüllbarkeitproblems)
- QuantLA + (Quantitative Logics and Automata)
- Riss - including Pcasso and Priss + (SAT Solver - ein Programm, welches das Erfüllbarkeitsproblem löst)
- SECAI + (School of Embedded Composite Artificial Intelligence)
- HAEC B02 + (Semantic Technology for Context Awareness (HAEC Project B02))
- SEMECO-Q2 + (Sichere Medizinische Mikrosysteme und Kommunikation: KI-assistierte Regulatorik für Medizin und Cybersecurity)
- SEMECO-Q1 + (Sichere Medizinische Mikrosysteme und Kommunikation: Sichere & Vertrauenswürdige Systemarchitekturen)
- M/EDGE + (Vertrauenswürdige und energiesparsame Edge-Elektronik für medizinische Anwendungen)
- Wikidata + (Wikipedias freie, kollaborative Wissensbasis)
- Wolpertinger + (Wolpertinger is a fixed-domain reasoner)
- Wikidata SPARQL Logs + (Zugriffsprotokolle des Wikidata SPARQL Query Service)
