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
- Responsibility and verification: Importance value in temporal logics + (Responsibility and verification: Importance value in temporal logics)
- Restricted Chase (Non)Termination for Existential Rules with Disjunctions + (Restricted Chase (Non)Termination for Existential Rules with Disjunctions)
- Restricted Chase (Non)Termination for Existential Rules with Disjunctions + (Restricted Chase (Non)Termination for Existential Rules with Disjunctions)
- Restricted Chase Acyclicity: A Novel Acyclicity Notion for Description Logics + (Restricted Chase Acyclicity: A Novel Acyclicity Notion for Description Logics)
- Restricted Chase Acyclicity: A Novel Acyclicity Notion for Description Logics + (Restricted Chase Acyclicity: A Novel Acyclicity Notion for Description Logics)
- Restricted Role-value-maps in a Description Logic with Existential Restrictions and Terminological Cycles + (Restricted Role-value-maps in a Description Logic with Existential Restrictions and Terminological Cycles)
- Restricted chase (non)termination for existential rules with disjunctions + (Restricted chase (non)termination for existential rules with disjunctions)
- Retractable Complex Event Processing and Stream Reasoning + (Retractable Complex Event Processing and Stream Reasoning)
- Reusing Ontological Background Knowledge in Semantic Wikis + (Reusing Ontological Background Knowledge in Semantic Wikis)
- Revisiting Acyclicity and Guardedness Criteria for Decidability of Existential Rules + (Revisiting Acyclicity and Guardedness Criteria for Decidability of Existential Rules)
- Revisiting Circumscription + (Revisiting Circumscription)
- Revisiting Circumscription + (Revisiting Circumscription)
- Revisiting Grounded Circumscription in Description Logics + (Revisiting Grounded Circumscription in Description Logics)
- Revisiting Semantics for Epistemic Extensions of Description Logics + (Revisiting Semantics for Epistemic Extensions of Description Logics)
- Revisiting Semantics for Epistemic Extensions of Description Logics + (Revisiting Semantics for Epistemic Extensions of Description Logics)
- Rewrite Systems for Varieties of Semigroups + (Rewrite Systems for Varieties of Semigroups)
- Rewriting Concepts Using Terminologies + (Rewriting Concepts Using Terminologies)
- Rewriting Concepts Using Terminologies + (Rewriting Concepts Using Terminologies)
- Rewriting Concepts Using Terminologies – Revisited + (Rewriting Concepts Using Terminologies – Revisited)
- Rewriting Concepts Using Terminologies – Revisited + (Rewriting Concepts Using Terminologies – Revisited)
- Rewriting Concepts using Terminologies + (Rewriting Concepts using Terminologies)
- Rewriting the Description Logic ALCHIQ to Disjunctive Existential Rules + (Rewriting the Description Logic ALCHIQ to Disjunctive Existential Rules)
- Riss - including Pcasso and Priss + (Riss - including Pcasso and Priss)
- Riss - including Pcasso and Priss + (Riss - including Pcasso and Priss)
- Riss 4.27 + (Riss 4.27)
- Riss 4.27 BlackBox + (Riss 4.27 BlackBox)
- Robert Hein + (Robert Hein)
- Robert Hein + (Robert Hein)
- Robin Ziemek + (Robin Ziemek)
- Robust and Efficient Large-large Table Outer Joins on Distributed Infrastructures + (Robust and Efficient Large-large Table Outer Joins on Distributed Infrastructures)
- Robust and Skew-resistant Parallel Joins in Shared-nothing Systems + (Robust and Skew-resistant Parallel Joins in Shared-nothing Systems)
- Robust mobile robot localisation from sparse and noisy proximity readings using Hough transform and probability grids + (Robust mobile robot localisation from sparse and noisy proximity readings using Hough transform and probability grids)
- Role-depth Bounded Least Common Subsumers for EL+ and ELI + (Role-depth Bounded Least Common Subsumers for EL+ and ELI)
- Romy Thieme + (Romy Thieme)
- Romy Thieme + (Romy Thieme)
- Room APB 1004 + (Room APB 1004)
- Room APB 2004 + (Room APB 2004)
- Room APB 2017 + (Room APB 2017)
- Room APB 2018 + (Room APB 2018)
- Room APB 2021 + (Room APB 2021)
- Room APB 2031 + (Room APB 2031)
- Room APB 2034 + (Room APB 2034)
- Room APB 2039 + (Room APB 2039)
- Room APB 2048 + (Room APB 2048)
- Room APB 3004 + (Room APB 3004)
- Room APB 3005 + (Room APB 3005)
- Room APB 3006 + (Room APB 3006)
- Room APB 3007 + (Room APB 3007)
- Room APB 3008 + (Room APB 3008)
- Room APB 3009 + (Room APB 3009)
- Room APB 3010 + (Room APB 3010)
- Room APB 3010 + (Room APB 3010)