Suche mittels Attribut

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

Algorithmic Game Theory + (Counterfactual Regret Minimisation)
Advanced Topics in Complexity Theory + (Counting Complexity)
Courses by the KRR Group + (Courses by the KRR Group)
Craig Interpolation and Access Interpolation with Clausal First-Order Tableaux + (Craig Interpolation and Access Interpolation with Clausal First-Order Tableaux)
Craig Interpolation and Query Reformulation with Clausal First-Order Tableaux + (Craig Interpolation and Query Reformulation with Clausal First-Order Tableaux)
Credo Methodology: Modeling and Analyzing a Peer-to-Peer System in Credo + (Credo Methodology: Modeling and Analyzing a Peer-to-Peer System in Credo)
Cut-Free Calculi and Relational Semantics for Temporal STIT Logics + (Cut-Free Calculi and Relational Semantics for Temporal STIT Logics)
Knowledge Graphs + (Cypher)
Knowledge Graphs + (Cypher / Knowledge Graph Quality)
D1.1.1 Conceptual models for enterprise knowledge (Initial Models) + (D1.1.1 Conceptual models for enterprise knowledge (Initial Models))
D1.1.1 Networked Ontology Model + (D1.1.1 Networked Ontology Model)
D1.1.2: Conceptual Models for Enterprise Knowledge (Final Models and Evaluation) + (D1.1.2: Conceptual Models for Enterprise Knowledge (Final Models and Evaluation))
D1.3.1: Collaborative Articulation of Enterprise Knowledge (Early prototypes) + (D1.3.1: Collaborative Articulation of Enterprise Knowledge (Early prototypes))
D1.3.2: Collaborative Articulation of Enterprise Knowledge (Demonstrator) + (D1.3.2: Collaborative Articulation of Enterprise Knowledge (Demonstrator))
D1.4.1 Initial Framework for Measuring and Evaluating Heuristic Problem Solving + (D1.4.1 Initial Framework for Measuring and Evaluating Heuristic Problem Solving)
D1.4.2: Knowledge leveraging and repair Demonstrator + (D1.4.2: Knowledge leveraging and repair Demonstrator)
D3.1.1 Context Languages - State of the Art + (D3.1.1 Context Languages - State of the Art)
DIAMOND 3.0 - A Native C++ Implementation of DIAMOND + (DIAMOND 3.0 - A Native C++ Implementation of DIAMOND)
DIAMOND 3.0 -- A Native C++ Implementation of DIAMOND + (DIAMOND 3.0 -- A Native C++ Implementation of DIAMOND)
DIG 2.0 – Towards a Flexible Interface for Description Logic Reasoners + (DIG 2.0 – Towards a Flexible Interface for Description Logic Reasoners)
DLP isn't so bad after all + (DLP isn't so bad after all)
DNA-Computing - ein funktionales Modell im laborpraktischen Experiment + (DNA-Computing - ein funktionales Modell im laborpraktischen Experiment)
DOM-ARCADE: Assistance services for construction, evaluation, and adaptation of design layouts + (DOM-ARCADE: Assistance services for construction, evaluation, and adaptation of design layouts)
DOM-ArC: An Active Decision Support System for Quality Assessment of Cases + (DOM-ArC: An Active Decision Support System for Quality Assessment of Cases)
DOM: An Active Assistance System for Architectural and Engineering Design + (DOM: An Active Assistance System for Architectural and Engineering Design)

DOM: Domain Ontology Modelling for Architectural Engineering Design + (DOM: Domain Ontology Modelling for Architectural Engineering Design)

Theoretische Informatik und Logik + (Das Halteproblem und Reduktionen)
Theoretische Informatik und Logik + (Das Halteproblem und Reduktionen)
Theoretische Informatik und Logik + (Das Halteproblem und Reduktionen)
Formale Systeme + (Das Pumping Lemma kontextfreier Sprachen)
Formale Systeme + (Das Pumping Lemma kontextfreier Sprachen)
Formale Systeme + (Das Pumping Lemma kontextfreier Sprachen)
Formale Systeme + (Das Wortproblem für kontextfreie Sprachen)
Formale Systeme + (Das Wortproblem kontextfreier Sprachen)
Formale Systeme + (Das Wortproblem kontextfreier Sprachen)
Data Complexity in Expressive Description Logics With Path Expressions + (Data Complexity in Expressive Description Logics With Path Expressions)
Data Complexity in the EL family of DLs + (Data Complexity in the EL family of DLs)
Data Complexity in the EL family of Description Logics + (Data Complexity in the EL family of Description Logics)
Database Theory + (Data Complexity of FO Query Answering)
Database Theory + (Data Complexity of FO Query Answering)
Knowledge Graphs + (Data quality)
Data, Ontologies, Rules, and the Return of the Blank Node + (Data, Ontologies, Rules, and the Return of the Blank Node)
Database Theory + (Database Theory)
Database Theory + (Database Theory)
Database Theory + (Database Theory)
Database Theory + (Database Theory)
Database Theory + (Database Theory)
Database Theory + (Database Theory)
Database Theory + (Database Theory)
Database Theory + (Database Theory)
Database Theory + (Database Theory)