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
- Foundations of Semantic Web Technologies + (Introduction to RDF)
- Foundations of Semantic Web Technologies + (Introduction to RDF)
- Seminar Logic-Based Knowledge Representation + (Introduction to Reasoning under Uncertainty (Pratishta))
- Seminar: Knowledge Representation + (Introduction to Reasoning under Uncertainty and Probability Theory)
- Knowledge Graphs + (Introduction to SPARQL)
- Introduction to the TPLP Special Issue on User-oriented Logic Programming and Reasoning Paradigms + (Introduction to the TPLP Special Issue on User-oriented Logic Programming and Reasoning Paradigms)
- Practical Planning for Angry Birds + (Introduction/Organisation)
- Database Theory + (Introduction/Relational Data Model)
- Database Theory + (Introduction/Relational Data Model)
- Database Theory + (Introduction/Relational Data Model)
- Database Theory + (Introduction/Relational Data Model)
- Database Theory + (Introduction/Relational Data Model)
- Database Theory + (Introduction/Relational Data Model)
- Database Theory + (Introduction/Relational Model)
- Foundations of Databases and Query Languages + (Introduction/Relational data model)
- Logical Modeling + (Introduction: ASP)
- Logical Modeling + (Introduction: FO(ID), IDP System)
- Logical Modeling + (Introduction: OWL)
- Introductions to Description Logics - A Guided Tour + (Introductions to Description Logics - A Guided Tour)
- Seminar Selected Topics in Database Theory + (Introductory Lecture 2)
- Seminar Selected Topics in Database Theory + (Introductory Lecture 2)
- Seminar Selected Topics in Database Theory + (Introductory Lecture 1)
- Seminar Selected Topics in Database Theory + (Introductory Lecture 1)
- Foundations of Knowledge Representation + (Introductory Meeting)
- Seminar: Knowledge Representation + (Introductory Session)
- Inverse Roles Make Conjunctive Queries Hard + (Inverse Roles Make Conjunctive Queries Hard)
- Investigating Distributed Approaches to Efficiently Extract Textual Evidences for Biomedical Ontologies + (Investigating Distributed Approaches to Efficiently Extract Textual Evidences for Biomedical Ontologies)
- Investigating Subclasses of Abstract Dialectical Frameworks + (Investigating Subclasses of Abstract Dialectical Frameworks)
- Investigating subclasses of abstract dialectical frameworks + (Investigating subclasses of abstract dialectical frameworks)
- Investigating the Dimensions of Spatial Language + (Investigating the Dimensions of Spatial Language)
- Is Tractable Reasoning in Extensions of the Description Logic EL Useful in Practice? + (Is Tractable Reasoning in Extensions of the Description Logic EL Useful in Practice?)
- Is Tractable Reasoning in Extensions of the Description Logic EL Useful in Practice? + (Is Tractable Reasoning in Extensions of the Description Logic EL Useful in Practice?)
- Is Your Database System a Semantic Web Reasoner? + (Is Your Database System a Semantic Web Reasoner?)
- 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 Variable Reordering: Taming Huge System Families + (Iterative Variable Reordering: Taming Huge System Families)
- 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)
- Academic Skills in Computer Science + (Judging Research Quality)
- Academic Skills in Computer Science + (Jundging Research Quality)
- 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)
- 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)
- 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-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)
- KRIS: Knowledge Representation and Inference System, System Description + (KRIS: Knowledge Representation and Inference System, System Description)
- KRIS: Knowledge Representation and Inference System, System Description + (KRIS: Knowledge Representation and Inference System, System Description)
- Theoretische Informatik und Logik + (Keine Vorlesung)