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
- 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 + (Efficient Model Construction for Horn Logic with VLog)
- 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 Model Construction for Horn Logic with VLog: Extended Abstract + (Efficient Model Construction for Horn Logic with VLog: Extended Abstract)
- 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)
- Efficiently Solving Unbounded Integer Programs in the context of SMT Solvers + (Efficiently Solving Unbounded Integer Programs in the context of SMT Solvers)
- Efficiently Solving Unbounded Integer Programs in the context of SMT Solvers + (Efficiently Solving Unbounded Integer Programs in the context of SMT Solvers)
- Ein massiv paralleles Berechnungsmodell für normale logische Programme + (Ein massiv paralleles Berechnungsmodell für normale logische Programme)
- Ein massiv paralleles Berechnungsmodell für normale logische Programme + (Ein massiv paralleles Berechnungsmodell für normale logische Programme)
- Einführung in Wikidata + (Einführung in Wikidata)
- Einführung in die (theoretische) Informatik + (Einführung in die (theoretische) Informatik)
- Einführung in die (theoretische) Informatik + (Einführung in die (theoretische) Informatik)
- Einführung in die (theoretische) Informatik + (Einführung in die (theoretische) Informatik)
- Einführung in die (theoretische) Informatik + (Einführung in die (theoretische) Informatik)
- Elisa Böhl + (Elisa Böhl)
- Elisa Böhl + (Elisa Böhl)
- Elisa Böhl switches to NAVAS + (Elisa Böhl switches to NAVAS)
- Elisa Böhl wechselt zum NAVAS-Projekt + (Elisa Böhl wechselt zum NAVAS-Projekt)
- 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)