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
- Tree Automata with Global and Non-Global Counting + (Vortrag)
- GPTKB: Comprehensively Materializing Factual LLM Knowledge + (Vortrag)
- Description Logic with Abstraction and Refinement + (Vortrag)
- Formalizing Possibly Infinite Trees of Bounded Degree + (Vortrag)
- 12. EMCL Workshop + (sonstige Veranstaltung)
- EMCL Student Workshop 2017 + (sonstige Veranstaltung)
- Second Workshop on Human Reasoning and Computational Logic + (sonstige Veranstaltung)
- Workshop on Human Reasoning and Computational Logic + (sonstige Veranstaltung)
