Search by property
From International Center for Computational Logic
This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.
List of results
- 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)
