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
- Design and Evaluation of Parallel Hashing over Large-scale Data + (Design and Evaluation of Parallel Hashing over Large-scale Data)
- Design and Evaluation of Small-Large Outer Joins in Cloud Computing Environments + (Design and Evaluation of Small-Large Outer Joins in Cloud Computing Environments)
- Design and Results of the Second International Competition on Computational Models of Argumentation + (Design and Results of the Second International Competition on Computational Models of Argumentation)
- Design and Verification of Systems with Exogenous Coordination Using Vereofy + (Design and Verification of Systems with Exogenous Coordination Using Vereofy)
- Design and evaluation of an ontology-terminology model for the interchange of terminological data: an approach to multilingual conceptual modeling as exemplified in the domain of finance + (Design and evaluation of an ontology-terminology model for the interchange of terminological data: an approach to multilingual conceptual modeling as exemplified in the domain of finance)
- Design and results of the second international competition on computational models of argumentation + (Design and results of the second international competition on computational models of argumentation)
- Designing a Counter: Another case study of Dynamics and Activation Landscapes in Recurrent Networks + (Designing a Counter: Another case study of Dynamics and Activation Landscapes in Recurrent Networks)
- Detecting Cardinality Constraints in CNF + (Detecting Cardinality Constraints in CNF)
- Detecting Conjunctive Query Differences between ELHr-Terminologies using Hypergraphs + (Detecting Conjunctive Query Differences between ELHr-Terminologies using Hypergraphs)
- Detecting Emergent Phenomena in Cellular Automata Using Temporal Description Logics + (Detecting Emergent Phenomena in Cellular Automata Using Temporal Description Logics)
- Detecting Non-Existence of Finite Universal Models for Existential Rules + (Detecting Non-Existence of Finite Universal Models for Existential Rules)
- Detecting Non-Existence of Finite Universal Models for Existential Rules + (Detecting Non-Existence of Finite Universal Models for Existential Rules)
- Detecting Synonymous Properties by Shared Data-driven Definitions + (Detecting Synonymous Properties by Shared Data-driven Definitions)
- Determinacy of Real Conjunctive Queries. The Boolean Case + (Determinacy of Real Conjunctive Queries. The Boolean Case)
- Determinization and Limit-Determinization of Emerson-Lei Automata + (Determinization and Limit-Determinization of Emerson-Lei Automata)
- Development of Objective Functions for Soft Computing in Medical Applications + (Development of Objective Functions for Soft Computing in Medical Applications)
- Diana Troancă + (Diana Troancă)
- Diana Troancă + (Diana Troancă)
- Did I Damage my Ontology? A Case for Conservative Extensions in Description Logics + (Did I Damage my Ontology? A Case for Conservative Extensions in Description Logics)
- Die Beweisentwicklungsumgebung Omega-MKRP + (Die Beweisentwicklungsumgebung Omega-MKRP)
- Die Zukunft der Wikis: Semantic Web + (Die Zukunft der Wikis: Semantic Web)
- Die neuen Tools: Web 2.0, Semantic Wiki, Social Tagging & Co. + (Die neuen Tools: Web 2.0, Semantic Wiki, Social Tagging & Co.)
- Die zwei Kulturen + (Die zwei Kulturen)
- Dieter Hutter + (Dieter Hutter)
- Dieter Hutter + (Dieter Hutter)
- Different Approaches to the Semantics of Workflow + (Different Approaches to the Semantics of Workflow)
- Dimensions of neural-symbolic integration — a structured survey + (Dimensions of neural-symbolic integration — a structured survey)
- Dining Halls + (Dining Halls)
- Dirk Walther + (Dirk Walther)
- Dirk Walther + (Dirk Walther)
- Discovering Fine-Grained Semantics in Knowledge Graph Relations + (Discovering Fine-Grained Semantics in Knowledge Graph Relations)
- Discovering Fine-Grained Semantics in Knowledge Graph Relations + (Discovering Fine-Grained Semantics in Knowledge Graph Relations)
- Discovering Implicational Knowledge in Wikidata + (Discovering Implicational Knowledge in Wikidata)
- Discovering Implicational Knowledge in Wikidata + (Discovering Implicational Knowledge in Wikidata)
- Discovering Implicational Knowledge in Wikidata + (Discovering Implicational Knowledge in Wikidata)
- Discovering Implicational Knowledge in Wikidata + (Discovering Implicational Knowledge in Wikidata)
- Discovering Implicational Knowledge in Wikidata + (Discovering Implicational Knowledge in Wikidata)
- Discrete Linear Dynamical Systems: The Introduction. + (Discrete Linear Dynamical Systems: The Introduction.)
- Discrete Linear Dynamical Systems: The Introduction. + (Discrete Linear Dynamical Systems: The Introduction.)
- Disjunction in Resource-Oriented Deductive Planning + (Disjunction in Resource-Oriented Deductive Planning)
- Dismatching and Local Disunification in EL + (Dismatching and Local Disunification in EL)
- Dismatching and local disunification in EL + (Dismatching and local disunification in EL)
- Display to Labeled Proofs and Back Again for Tense Logics + (Display to Labeled Proofs and Back Again for Tense Logics)
- Distributed Splicing of RE with 6 Test Tubes + (Distributed Splicing of RE with 6 Test Tubes)
- Distributed computation of supremal conditionally-controllable sublanguages + (Distributed computation of supremal conditionally-controllable sublanguages)
- Distributed wait state tracking for runtime MPI deadlock detection + (Distributed wait state tracking for runtime MPI deadlock detection)
- Dmitrii V. Vinogradov + (Dmitrii V. Vinogradov)
- Dmitrii V. Vinogradov + (Dmitrii V. Vinogradov)
- Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination (Technical Report) + (Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination (Technical Report))
- Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination + (Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination)
- Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination + (Do Repeat Yourself: Understanding Sufficient Conditions for Restricted Chase Non-Termination)