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