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

• EMIL: Extracting Meaning from Inconsistent Language: Towards argumentation using a controlled natural language interface  + (EMIL: Extracting Meaning from Inconsistent Language: Towards argumentation using a controlled natural language interface)
• EMIL: Extracting Meaning from Inconsistent Language: Towards argumentation using a controlled natural language interface  + (EMIL: Extracting Meaning from Inconsistent Language: Towards argumentation using a controlled natural language interface)
• EP-SPARQL: A Unified Language for Event Processing and Stream Reasoning  + (EP-SPARQL: A Unified Language for Event Processing and Stream Reasoning)
• EQuIKa: Epistemic Querying in OWL 2 Ontologies  + (EQuIKa: Epistemic Querying in OWL 2 Ontologies)
• ETALIS: Rule-Based Reasoning in Event Processing  + (ETALIS: Rule-Based Reasoning in Event Processing)
• EU-Drittlandprogramme 2007-2013  + (EU-Drittlandprogramme 2007-2013)
• Concurrency Theory  + (Easter Monday)
• Effective algorithm for parameter back calculation - Geotechnical applications  + (Effective algorithm for parameter back calculation - Geotechnical applications)
• Effectiveness of Pre-computed Knowledge in Self-adaptation - A Robustness Study  + (Effectiveness of Pre-computed Knowledge in Self-adaptation - A Robustness Study)
• Effektiver Algorithmus zur Lösung von inversen Aufgabenstellungen - Anwendung in der Geotechnik  + (Effektiver Algorithmus zur Lösung von inversen Aufgabenstellungen - Anwendung in der Geotechnik)
• Concurrency Theory  + (Efficient Algorithms for Checking Bisimilarity)
• Concurrency Theory  + (Efficient Algorithms for Checking Bisimilarity (2))
• Efficient Axiom Pinpointing in EL using SAT Technology  + (Efficient Axiom Pinpointing in EL using SAT Technology)
• Efficient Computation of Time-Bounded Reachability Probabilities in Uniform Continuous-Time Markov Decision Processes  + (Efficient Computation of Time-Bounded Reachability Probabilities in Uniform Continuous-Time Markov Decision Processes)
• Efficient Data Redistribution to Speedup Big Data Analytics in Large Systems  + (Efficient Data Redistribution to Speedup Big Data Analytics in Large Systems)
• Efficient Dependency Analysis for Existential Rules  + (Efficient Dependency Analysis for Existential Rules)
• Efficient Dependency Analysis for Rule-Based Ontologies  + (Efficient Dependency Analysis for Rule-Based Ontologies)
• Efficient Feature Parameterisation for Visual SLAM Using Inverse Depth Bundles  + (Efficient Feature Parameterisation for Visual SLAM Using Inverse Depth Bundles)
• Efficient Inferencing for OWL EL  + (Efficient Inferencing for OWL EL)
• Efficient Inferencing for the Description Logic Underlying OWL EL  + (Efficient Inferencing for the Description Logic Underlying OWL EL)
• Efficient Large Outer Joins over MapReduce  + (Efficient Large Outer Joins over MapReduce)
• Efficient Model Construction for Horn Logic with VLog  + (Efficient Model Construction for Horn Logic with VLog)
• Efficient Model Construction for Horn Logic with VLog: Extended Abstract  + (Efficient Model Construction for Horn Logic with VLog: Extended Abstract)
• Efficient OWL Reasoning with Logic Programs - Evaluations  + (Efficient OWL Reasoning with Logic Programs - Evaluations)
• Efficient Parallel Dictionary Encoding for RDF Data  + (Efficient Parallel Dictionary Encoding for RDF Data)

• Efficient Reasoning in EL^+  + (Efficient Reasoning in EL^+)

• Efficient Rule-Based Inferencing for OWL EL  + (Efficient Rule-Based Inferencing for OWL EL)
• Efficient SAT-Encoding of Linear CSP Constraints  + (Efficient SAT-Encoding of Linear CSP Constraints)
• Efficient Separability of Regular Languages by Subsequences and Suffixes  + (Efficient Separability of Regular Languages by Subsequences and Suffixes)
• Efficient Skew Handling for Outer Joins in a Cloud Computing Environment  + (Efficient Skew Handling for Outer Joins in a Cloud Computing Environment)
• Efficient Symbolic Reasoning for First-Order MDPs  + (Efficient Symbolic Reasoning for First-Order MDPs)
• Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes  + (Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes)
• Efficiently Handling Skew in Outer Joins on Distributed Systems  + (Efficiently Handling Skew in Outer Joins on Distributed Systems)
• Finite and algorithmic model theory (22/23)  + (Ehrenfeucht–Fraïssé games)
• Einführung in die (theoretische) Informatik  + (Einführung in die (theoretische) Informatik)
• Einführung in die (theoretische) Informatik  + (Einführung in die (theoretische) Informatik)
• Theoretische Informatik und Logik  + (Einführung in die Komplexitätstheorie)
• Theoretische Informatik und Logik  + (Einführung in die Komplexitätstheorie)
• Theoretische Informatik und Logik  + (Einführung in die Komplexitätstheorie)
• Formale Systeme  + (Einleitung Kellerautomaten)
• Formale Systeme  + (Einleitung formale Sprachen)
• Theoretische Informatik und Logik  + (Einleitung und Übersicht)
• Theoretische Informatik und Logik  + (Einleitung, Übersicht, Turingmaschinen)
• Theoretische Informatik und Logik  + (Einleitung, Übersicht, Turingmaschinen)
• Seminar Rule-Based Paradigms in KR  + (Elevator Pitch)
• Embedding Defaults into Terminological Representation Systems  + (Embedding Defaults into Terminological Representation Systems)
• Embedding Defaults into Terminological Representation Systems  + (Embedding Defaults into Terminological Representation Systems)
• Embedding Defaults into Terminological Representation Systems  + (Embedding Defaults into Terminological Representation Systems)
• Empirical evaluation of reasoning in lightweight DLs on life science ontologies  + (Empirical evaluation of reasoning in lightweight DLs on life science ontologies)
• Employing DL-LiteR-Reasoners for Fuzzy Query Answering  + (Employing DL-LiteR-Reasoners for Fuzzy Query Answering)
• Employing Description Logics in Ambient Intelligence for Modeling and Reasoning about Complex Situations  + (Employing Description Logics in Ambient Intelligence for Modeling and Reasoning about Complex Situations)