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
- EMCL (offered until 2017) + (European Master's Program in Computational Logic)
- Coprocessor + (Formula simplifier for CNF, QBF, MaxSAT and MUS formulas)
- GoAsQ + (Generating and Answering Ontological Queries)
- HAEC B08 + (High-Capacity Knowledge Processing Pipeline (HAEC Project B08))
- HAEC + (Highly Adaptive Energy-Efficient Computing (Collaborative Research Centre SFB 912))
- ICCL-SS-2015 + (ICCL Summer School 2015: Reasoning)
- InnoSale + (Innovating Sales and Planning of Complex Industrial Products Exploiting Artificial Intelligence)
- NAVAS + (Navigation Approaches for Answer Sets)
- PSAT + (Parallel Satisfiability Testing)
- Semantic MediaWiki + (Popular open-source software for collaborative data management)
- QuantLA + (Quantitative Logics and Automata)
- Riss - including Pcasso and Priss + (SAT Solver -- a programm that solves the satisfiability testing problem)
- SECAI + (School of Embedded Composite Artificial Intelligence)
- M/EDGE + (Secure Low Power Medical Edge Computing)
- SEMECO-Q1 + (Secure Medical Microsystems and Communications: Secure & Trustworthy System Architecture)
- SEMECO-Q2 + (Secure Medical Microsystems and Communications: AI-assisted Regulatory Affairs for Medicine and Cybersecurity)
- HAEC B02 + (Semantic Technology for Context Awareness (HAEC Teilprojekt B02))
- SOA-VBQP + (The Second-Order Approach and its Application to View-Based Query Processing)
- Wikidata + (Wikipedia's free, collaborative knowledge base)
- Wolpertinger + (Wolpertinger is a fixed-domain reasoner)
