Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

• 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)