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
- Winter Term 2016/17 + (Winter Term 2016/17)
- Wissen als Code: Die Welt der Wissensgraphen und Ontologien + (Wissen als Code: Die Welt der Wissensgraphen und Ontologien)
- Wissensbasierte Systeme + (Wissensbasierte Systeme)
- Wissensbasierte Systeme: Abgeschlossene Arbeiten + (Wissensbasierte Systeme: Abgeschlossene Arbeiten)
- Wissensch. Mitarbeiter/in + (Wissensch. Mitarbeiter/in)
- Wissensch. Mitarbeiter/in + (Wissensch. Mitarbeiter/in)
- Wissensch. Mitarbeiter/in: Knowledge-Aware Computing + (Wissensch. Mitarbeiter/in: Knowledge-Aware Computing)
- Wissensch. Mitarbeiter/in: Künstliche Intelligenz + (Wissensch. Mitarbeiter/in: Künstliche Intelligenz)
- Wissensch. Mitarbeiter/in: Künstliche Intelligenz + (Wissensch. Mitarbeiter/in: Künstliche Intelligenz)
- Wissenschaftl. Mitarbeiter + (Wissenschaftl. Mitarbeiter)
- Wissensverarbeitung + (Wissensverarbeitung)
- Wissensverarbeitung: Abgeschlossene Arbeiten + (Wissensverarbeitung: Abgeschlossene Arbeiten)
- Witnessing Subsystems for Probabilistic Systems with Low Tree Width + (Witnessing Subsystems for Probabilistic Systems with Low Tree Width)
- Wolpertinger + (Wolpertinger)
- Wolpertinger + (Wolpertinger)
- Wolpertinger: A Fixed-Domain Reasoner + (Wolpertinger: A Fixed-Domain Reasoner)
- Working with Knowledge Graphs + (Working with Knowledge Graphs)
- Workshop Deduktion der 20. Jahrestagung für Künstliche Intelligenz + (Workshop Deduktion der 20. Jahrestagung für Künstliche Intelligenz)
- Workshop on Human Reasoning and Computational Logic + (Workshop on Human Reasoning and Computational Logic)
- Workshop on Human Reasoning and Computational Logic + (Workshop on Human Reasoning and Computational Logic)
- Workshop on Human Reasoning and Computational Logic + (Workshop on Human Reasoning and Computational Logic)
- Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting + (Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting)
- Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting + (Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting)
- Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting + (Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting)
- Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting + (Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting)
- Worst-case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2 + (Worst-case Optimal Reasoning for the Horn-DL Fragments of OWL 1 and 2)
- Ye Yuxin + (Ye Yuxin)
- Ye Yuxin + (Ye Yuxin)
- Young Scientist's Third International Workshop on Trends in Information Processing (YSIP3) + (Young Scientist's Third International Workshop on Trends in Information Processing (YSIP3))
- Young Scientist's Third International Workshop on Trends in Information Processing (YSIP3) + (Young Scientist's Third International Workshop on Trends in Information Processing (YSIP3))
- Your Stay in Dresden + (Your Stay in Dresden)
- Yue Ma + (Yue Ma)
- Yue Ma + (Yue Ma)
- Zertifizierung medizinischer Software mit symbolischer KI grundlegend verbessern + (Zertifizierung medizinischer Software mit symbolischer KI grundlegend verbessern)
- Zoltan Esik + (Zoltan Esik)
- Zoltan Esik + (Zoltan Esik)
- Zur Integration von fall- und regelbasierten Verfahren im Entwicklungssystem FAENSY + (Zur Integration von fall- und regelbasierten Verfahren im Entwicklungssystem FAENSY)
- adf-bdd + (adf-bdd)
- adf-bdd + (adf-bdd)
- cf2 Semantics Revisited + (cf2 Semantics Revisited)
- cfaed + (cfaed)
- cfaed + (cfaed)
- conexp-clj + (conexp-clj)
- conexp-clj + (conexp-clj)
- dARe -- Using Argumentation to Explain Conclusions from a Controlled Natural Language Knowledge Base + (dARe -- Using Argumentation to Explain Conclusions from a Controlled Natural Language Knowledge Base)
- flexABle – System Description for ICCMA 2023 + (flexABle – System Description for ICCMA 2023)
- foaf:homepage + (foaf:homepage)
- foaf:knows + (foaf:knows)
- foaf:name + (foaf:name)
- goDIAMOND 0.6.6 - ICCMA 2017 System Description + (goDIAMOND 0.6.6 - ICCMA 2017 System Description)