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
- Multilingual Terminology Acquisition for Ontology-based Information Extraction + (978 - 84 - 695 - 4333 - 7)
- Runtime Characterisation of Triple Stores + (978-0-7695-4914-9)
- Logic on MARS: Ontologies for generalised property graphs + (978-0-9992411-0-3)
- Out of the Lab, Into the Wild: Growing Open Source Communities Around Academic Projects + (978-1-105-51493-7)
- A Brief Introduction to Formal Concept Analysis + (978-1-4200-6062-1)
- Languages, Decidability, and Complexity + (978-1-4471-4275-1)
- Supervisory Control with Complete Observations + (978-1-4471-4275-1)
- Supervisory Control of Distributed Discrete-Event Systems + (978-1-4471-4275-1)
- Coordination Control of Distributed Discrete-Event Systems + (978-1-4471-4275-1)
- A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies + (978-1-4503-0632-4)
- Proceedings of the 31st ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS 2012) + (978-1-4503-1248-6)
- A Logical Geo-Ontology Design Pattern for Quantifying over Types + (978-1-4503-1691-0)
- Flag & Check: Data Access with Monadically Defined Queries + (978-1-4503-2066-5)
- Expressiveness of guarded existential rule languages + (978-1-4503-2375-8)
- A Two-tier Index Architecture for Fast Processing Large RDF Data over Distributed Memory + (978-1-4503-2954-5)
- A Journey to the Frontiers of Query Rewritability + (978-1-4503-9260-0)
- Multilevel coordination control of modular DES + (978-1-4673-5714-2)
- On a Distributed Computation of Supervisors in Modular Supervisory Control + (978-1-4673-7177-3)
- Relative Observability in Coordination Control + (978-1-4673-8182-6)
- Efficiently Handling Skew in Outer Joins on Distributed Systems + (978-1-4799-2784-5)
- A bridge between decentralized and coordination control + (978-1-4799-3409-6)
- An Ontology Selection and Ranking System Based on the Analytic Hierarchy Process. + (978-1-4799-8447-3)
- Multilevel Coordination Control of Partially Observed Modular DES + (978-1-4799-8686-6)
- Efficient Data Redistribution to Speedup Big Data Analytics in Large Systems + (978-1-5090-5411-4)
- Terminological Reasoning in SHIQ with Ordered Binary Decision Diagrams + (978-1-57735-368-3)
- The Fast and the Numerous - Combining Machine and Community Intelligence + (978-1-57735-383-6)
- Status QIO: Conjunctive Query Entailment is Decidable + (978-1-57735-451-2)
- Efficient Rule-Based Inferencing for OWL EL + (978-1-57735-515-1)
- Computing Stable Models for Nonmonotonic Existential Rules + (978-1-57735-633-2)
- Exact Learning of Lightweight Description Logic Ontologies + (978-1-57735-657-8)
- Membership Constraints in Formal Concept Analysis + (978-1-57735-738-4)
- On the Computational Complexity of Naive-based Semantics for Abstract Dialectical Frameworks + (978-1-57735-738-4)
- The Combined Approach to Query Answering Beyond the OWL 2 Profiles + (978-1-57735-738-4)
- The Combined Approach to Query Answering in Horn-ALCHOIQ + (978-1-57735-803-9)
- General Acyclicity and Cyclicity Notions for the Disjunctive Skolem Chase (Extended Technical Report) + (978-1-57735-880-0)
- Formalizing Ontology Alignment and its Operations with Category Theory + (978-1-58603-685-0)
