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
- Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs + (Is Your Ontology as Hard as You Think? Rewriting Ontologies into Simpler DLs)
- Iterative Ontology Update with Minimum Change + (Iterative Ontology Update with Minimum Change)
- Iterative Ontology Update with Minimum Change + (Iterative Ontology Update with Minimum Change)
- Iterative Variable Reordering: Taming Huge System Families + (Iterative Variable Reordering: Taming Huge System Families)
- Jahresbericht + (Jahresbericht)
- Jakob Piribauer + (Jakob Piribauer)
- Jan Hladik + (Jan Hladik)
- Jan Hladik + (Jan Hladik)
- Jan Otop + (Jan Otop)
- Jan Otop + (Jan Otop)
- Jens Claßen + (Jens Claßen)
- Jens Claßen + (Jens Claßen)
- Jim Lipton + (Jim Lipton)
- Jim Lipton + (Jim Lipton)
- Job Offers + (Job Offers)
- Johannes K. Fichte + (Johannes K. Fichte)
- Johannes K. Fichte + (Johannes K. Fichte)
- Johannes Lehmann + (Johannes Lehmann)
- Joint Proceedings of the 1st Joint International Workshop on Semantic Sensor Networks and Terra Cognita (SSN-TC 2015) and the 4th International Workshop on Ordering and Reasoning (OrdRing 2015) + (Joint Proceedings of the 1st Joint International Workshop on Semantic Sensor Networks and Terra Cognita (SSN-TC 2015) and the 4th International Workshop on Ordering and Reasoning (OrdRing 2015))
- Joint Proceedings of the 3rd Stream Reasoning (SR 2016) and the 1st Semantic Web Technologies for the Internet of Things (SWIT 2016) workshops + (Joint Proceedings of the 3rd Stream Reasoning (SR 2016) and the 1st Semantic Web Technologies for the Internet of Things (SWIT 2016) workshops)
- Jonas Karge + (Jonas Karge)
- Jonas Karge + (Jonas Karge)
- Jonas Karge Wins Student Best Paper Award at PRIMA24 + (Jonas Karge Wins Student Best Paper Award at PRIMA24)
- Jonas Karge gewinnt Student Best Paper Award auf der PRIMA24 + (Jonas Karge gewinnt Student Best Paper Award auf der PRIMA24)
- Journal of Web Semantics calls for papers on "Knowledge Graphs" + (Journal of Web Semantics calls for papers on "Knowledge Graphs")
- Journal of Web Semantics erbittet Einreichungen zum Thema "Knowledge Graphs" + (Journal of Web Semantics erbittet Einreichungen zum Thema "Knowledge Graphs")
- Julia Koppenhagen + (Julia Koppenhagen)
- Julia Koppenhagen + (Julia Koppenhagen)
- Julian Mendez + (Julian Mendez)
- Julian Mendez + (Julian Mendez)
- Julius Gonsior + (Julius Gonsior)
- Julius Gonsior + (Julius Gonsior)
- Just: a Tool for Computing Justifications w.r.t. EL Ontologies + (Just: a Tool for Computing Justifications w.r.t. EL Ontologies)
- Justifications for the Description Logics Knowledge Bases under the Fixed-Domain Semantics + (Justifications for the Description Logics Knowledge Bases under the Fixed-Domain Semantics)
- Justifications under the Fixed-Domain Semantics + (Justifications under the Fixed-Domain Semantics)
- Justifications under the Fixed-Domain Semantics + (Justifications under the Fixed-Domain Semantics)
- Justifying All Differences Using Pseudo-Boolean Reasoning + (Justifying All Differences Using Pseudo-Boolean Reasoning)
- Justifying All Differences Using Pseudo-Boolean Reasoning + (Justifying All Differences Using Pseudo-Boolean Reasoning)
- Jörg Siekmann + (Jörg Siekmann)
- Jörg Siekmann + (Jörg Siekmann)
- KARaML: Integrating Knowledge-Based and Machine Learning Approaches to Solve the Winograd Schema Challenge + (KARaML: Integrating Knowledge-Based and Machine Learning Approaches to Solve the Winograd Schema Challenge)
- KBS Seminar + (KBS Seminar)
- KBS group present student topics + (KBS group present student topics)
- KEIM: A Toolkit for Automated Deduction + (KEIM: A Toolkit for Automated Deduction)
- KI 2001: Advances in Artificial Intelligence, Proceedings of the Joint German/Austrian Conference on AI (KI 2001) + (KI 2001: Advances in Artificial Intelligence, Proceedings of the Joint German/Austrian Conference on AI (KI 2001))
- KI 2015: Advances in Artificial Intelligence - Proceedings of the 38th Annual German Conference on AI + (KI 2015: Advances in Artificial Intelligence - Proceedings of the 38th Annual German Conference on AI)
- KI Nachwuchsgruppe für Sarah Gaggl + (KI Nachwuchsgruppe für Sarah Gaggl)
- KI-96: Abvances in Artificial Intelligence + (KI-96: Abvances in Artificial Intelligence)
- KI-96: Lecture Notes in Artificial Intelligence + (KI-96: Lecture Notes in Artificial Intelligence)
- KI-Forschungsführer 1998 + (KI-Forschungsführer 1998)
- KIMEDS + (KIMEDS)
- KIMEDS + (KIMEDS)