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

• Em engineering methods AG  + (Em engineering methods AG)
• Em engineering methods AG  + (Em engineering methods AG)
• 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)
• Embodied Terminology: Language, Knowledge, and Cognition  + (Embodied Terminology: Language, Knowledge, and Cognition)
• Embodied Terminology: Language, Knowledge, and Cognition  + (Embodied Terminology: Language, Knowledge, and Cognition)
• Emmanuelle-Anna Dietz Saldanha  + (Emmanuelle-Anna Dietz Saldanha)
• Emmanuelle-Anna Dietz Saldanha  + (Emmanuelle-Anna Dietz Saldanha)
• Empirical evaluation of reasoning in lightweight DLs on life science ontologies  + (Empirical evaluation of reasoning in lightweight DLs on life science ontologies)
• Employing DL-Lite reasoners for fuzzy query answering: Take a FLite!  + (Employing DL-Lite reasoners for fuzzy query answering: Take a FLite!)
• Employing DL-Lite reasoners for fuzzy query answering: Take a FLite!  + (Employing DL-Lite reasoners for fuzzy query answering: Take a FLite!)
• 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)
• EnTS - a new Entropy-based Tree-indexing System  + (EnTS - a new Entropy-based Tree-indexing System)
• EnTS - a new Entropy-based Tree-indexing System  + (EnTS - a new Entropy-based Tree-indexing System)
• Enabling Fine-grained RDF Data Completeness Assessment  + (Enabling Fine-grained RDF Data Completeness Assessment)
• Enabling Fine-grained RDF Data Completeness Assessment  + (Enabling Fine-grained RDF Data Completeness Assessment)
• Encoding Belief Revision Operators in Abstract Dialectical Frameworks  + (Encoding Belief Revision Operators in Abstract Dialectical Frameworks)
• Encoding Belief Revision Operators in Abstract Dialectical Frameworks  + (Encoding Belief Revision Operators in Abstract Dialectical Frameworks)
• Encoding Closure Operators into Neural Networks  + (Encoding Closure Operators into Neural Networks)
• Encoding monotonic multi-set preferences using CI-nets: preliminary report  + (Encoding monotonic multi-set preferences using CI-nets: preliminary report)
• Encoding monotonic multiset preferences using CI-nets  + (Encoding monotonic multiset preferences using CI-nets)
• Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking  + (Energy-Utility Analysis for Resilient Systems Using Probabilistic Model Checking)
• Energy-Utility Analysis of Probabilistic Systems with Exogenous Coordination  + (Energy-Utility Analysis of Probabilistic Systems with Exogenous Coordination)

• Energy-Utility Quantiles  + (Energy-Utility Quantiles)

• Enhancing Probabilistic Model Checking with Ontologies  + (Enhancing Probabilistic Model Checking with Ontologies)
• Enrico Franconi  + (Enrico Franconi)
• Enrico Franconi  + (Enrico Franconi)
• Enrolment  + (Enrolment)
• Ensuring Soundness for SPARQL with Negation Using Completeness Statements  + (Ensuring Soundness for SPARQL with Negation Using Completeness Statements)
• Ensuring Soundness for SPARQL with Negation Using Completeness Statements  + (Ensuring Soundness for SPARQL with Negation Using Completeness Statements)
• Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes  + (Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes)
• Enterprise Management in the Presence of Data  + (Enterprise Management in the Presence of Data)
• Enterprise Management in the Presence of Data  + (Enterprise Management in the Presence of Data)
• Entropic Risk for Turn-Based Stochastic Games  + (Entropic Risk for Turn-Based Stochastic Games)
• Enumerating Satisfiable Propositional Formulae  + (Enumerating Satisfiable Propositional Formulae)
• Epistemic Answer Set Programming  + (Epistemic Answer Set Programming)
• Epistemic Answer Set Programming  + (Epistemic Answer Set Programming)
• Epistemic Queries for OWL  + (Epistemic Queries for OWL)
• Epistemic Queries for OWL Knowledge Bases  + (Epistemic Queries for OWL Knowledge Bases)
• Equational Logic and Theories of Action  + (Equational Logic and Theories of Action)
• Erfolg für ICCL und TU Dresden: CPEC für vier Jahre weiter gefördert  + (Erfolg für ICCL und TU Dresden: CPEC für vier Jahre weiter gefördert)
• Erik Zenker  + (Erik Zenker)
• Erik Zenker  + (Erik Zenker)
• Erklärung zur Barrierefreiheit  + (Erklärung zur Barrierefreiheit)
• Error-Tolerant Reasoning in the Description Logic EL  + (Error-Tolerant Reasoning in the Description Logic EL)
• Error-Tolerant Reasoning in the Description Logic EL  + (Error-Tolerant Reasoning in the Description Logic EL)
• Erweiterung des RNN-Modelles um SHRUTI-Konzepte: Vom aussagenlogischen zum prädikatenlogischen Schließen  + (Erweiterung des RNN-Modelles um SHRUTI-Konzepte: Vom aussagenlogischen zum prädikatenlogischen Schließen)
• Erweiterung des RNN-Modelles um SHRUTI-Konzepte: Vom aussagenlogischen zum prädikatenlogischen Schließen  + (Erweiterung des RNN-Modelles um SHRUTI-Konzepte: Vom aussagenlogischen zum prädikatenlogischen Schließen)
• Establishing Qualitative Properties for Probabilistic Lossy Channel Systems: An Algorithmic Approach  + (Establishing Qualitative Properties for Probabilistic Lossy Channel Systems: An Algorithmic Approach)