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
- 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)
- Description Logic Rules + (978-1-58603-891-5)
- cf2 Semantics Revisited + (978-1-60750-618-8)
- Description Logic Rules + (978-1-60750-654-6)
- Hierarchical control with partial observations: Sufficient conditions + (978-1-61284-800-6)
