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 + (Foundations of Semantic Web Technologies: The Web: Needles in a Haystack (Exercise))
- Foundations of Semantic Web Technologies + (Foundations of Semantic Web Technologies: RDFS – Rule-based Reasoning (Lecture))
- Foundations of Semantic Web Technologies + (Foundations of Semantic Web Technologies: RDFS – Rule-based Reasoning (Lecture))
- Foundations of Semantic Web Technologies + (Foundations of Semantic Web Technologies: Exercise: SPARQL on the Web (Exercise))
- Foundations of Semantic Web Technologies + (Foundations of Semantic Web Technologies: Tutorial: Hypertableau (Exercise))
- Foundations of Semantic Web Technologies + (Foundations of Semantic Web Technologies: Tutorial: Hypertableau (Exercise))
- Foundations of Semantic Web Technologies + (Foundations of Semantic Web Technologies: OWL: Decidability+Profiles (Lecture))
- Foundations of Semantic Web Technologies + (Foundations of Semantic Web Technologies: Tutorial: Entailment Regimes (Exercise))
- Foundations of Semantic Web Technologies + (Foundations of Semantic Web Technologies: OWL – Semantics via Description Logics (Lecture))
- Foundations of Semantic Web Technologies + (Foundations of Semantic Web Technologies: OWL – Semantics via Description Logics (Lecture))
- Foundations of Semantic Web Technologies + (Foundations of Semantic Web Technologies: OWL – Syntax and Intuition (Lecture))
- Foundations of Semantic Web Technologies + (Foundations of Semantic Web Technologies: OWL – Syntax and Intuition (Lecture))
- Foundations of Semantic Web Technologies + (Foundations of Semantic Web Technologies: RDF: Theory and hands on (Exercise))
- Foundations of Semantic Web Technologies + (Foundations of Semantic Web Technologies: Whatever is left over from the last tutorials :) (Exercise))
- Foundations of Semantic Web Technologies + (Foundations of Semantic Web Technologies: Tutorial: SPARQL (Evaluating Queries) (Exercise))
- Foundations of Semantic Web Technologies + (Foundations of Semantic Web Technologies: Tutorial & Question and Answer Session (Exercise))
- Foundations of Semantic Web Technologies + (Foundations of Semantic Web Technologies: Question and Answer Session (Exercise))
- Foundations of Semantic Web Technologies + (Foundations of Semantic Web Technologies: Tutorial: RDFS & Logic (Exercise))
- Foundations of Semantic Web Technologies + (Foundations of Semantic Web Technologies: RDFS - Syntax and Intuition (Lecture))
- Foundations of Semantic Web Technologies + (Foundations of Semantic Web Technologies: SPARQL – Entailment Regimes (Lecture))
- Foundations of Semantic Web Technologies + (Foundations of Semantic Web Technologies: SPARQL – Entailment Regimes (Lecture))
- Framework for the Specification and Execution of parallel Clustering Algorithms + (Framework for the Specification and Execution of parallel Clustering Algorithms)
- From Classical to Consistent Query Answering under Existential Rules + (From Classical to Consistent Query Answering under Existential Rules)
- From Data to Knowledge: Extending Database Techniques for Knowledge Graphs + (From Data to Knowledge: Extending Database Techniques for Knowledge Graphs)
- From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment + (From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment)
- From Logic Programs to Iterated Function Systems + (From Logic Programs to Iterated Function Systems)
- From Provenance Polynomials to Provenance Patterns: More Mileage for Mere Mortals + (From Provenance Polynomials to Provenance Patterns: More Mileage for Mere Mortals)
- Functional models and Data Complexity for FL0 + (Functional models and Data Complexity for FL0)
- Award1016 + (Future Fellowship Award by the Australian Research Council)
- GPTKB: Comprehensively Materializing Factual LLM Knowledge + (GPTKB: Comprehensively Materializing Factual LLM Knowledge)
- General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase + (General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase)
- Award1004 + (General Game Playing World Championship)
- Generalized Consistent Query Answering under Existential Rules + (Generalized Consistent Query Answering under Existential Rules)
- Generalized Ultrametric Spaces in Quantitative Domain Theory + (Generalized Ultrametric Spaces in Quantitative Domain Theory)
- Generating molecule graphs from mass spectrometry results using Answer-Set-Programming + (Generating molecule graphs from mass spectrometry results using Answer-Set-Programming)
- Genetische Algorithmen und SAT-Probleme + (Genetische Algorithmen und SAT-Probleme)
- Geometry and Axiomatics of Commonsense: Fragments + (Geometry and Axiomatics of Commonsense: Fragments)
- Award1006 + (Georg-Helm Award)
- Award1012 + (Georg-Helm Award)
- Getting the most out of Wikidata: Semantic Technology Usage in Wikipedia’s Knowledge Graph + (Getting the most out of Wikidata: Semantic Technology Usage in Wikipedia’s Knowledge Graph)
- Giuseppina Monterosso besucht die Gruppe Logische Programmierung und Argumentation + (Giuseppina Monterosso visits the Logic Programming and Argumentation Group)
- Graph Structure and Monadic Second-Order Logic + (Graph Structure and Monadic Second-Order Logic)
- Grounded Circumscription in Description Logics + (Grounded Circumscription in Description Logics)
- Grounded Circumscription in Description Logics + (Grounded Circumscription in Description Logics)
- Forschende der ICCL mit Best Paper Award ausgezeichnet + (HSCC 2024 Awards Best Paper to ICCL-Researchers)
- HUGS – A Lightweight Graph Partitioning Approach + (HUGS – A Lightweight Graph Partitioning Approach)
- Happy Birthday Steffen! + (Happy Birthday Steffen!)
- Happy World Logic Day 2021! + (Happy World Logic Day 2021!)
- Happy World Logic Day 2022! + (Happy World Logic Day 2022!)
- Honorable Mention bei LPNMR 2022 + (Honorable Mention at LPNMR 2022)
- Award1008 + (Honorary Doctoral Degree)