Semantische Suche
Aus International Center for Computational Logic
Lehrveranstaltungen
- Knowledge Representation and Reasoning Seminar (SS 2019)
- Formale Systeme (WS 2018)
- Science of Computational Logic (WS 2018)
- SudokuSAT (WS 2018)
Dieser Abschnitt enthält einige Links, die erklären, wie man die #ask-Syntax verwendet.
p: zur Aktivierung einer Attributsuche (z. B. [[p:Hat …)c: zur Aktivierung einer Kategoriesuchecon: zur Aktivierung einer Konzeptsuche