Suche mittels Attribut

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

• Knowledge Representation and Reasoning Seminar  + (Research Talk by Tobias Philipp about 'Mechanically-Verified SAT Encodings of At-Most-k and PB-Constraints')
• Academic Skills in Computer Science  + (Research and Publishing in Computer Science)
• Theoretische Informatik und Logik  + (Resolution)
• Theoretische Informatik und Logik  + (Resolution)
• Theoretische Informatik und Logik  + (Resolution (1))
• Theoretische Informatik und Logik  + (Resolution (2))
• Theoretische Informatik und Logik  + (Resolution (2))
• Theoretische Informatik und Logik  + (Resolution / Endliche Modelle)
• Resolution and Logic Programming in Algebraic Domains: Negation and Defaults  + (Resolution and Logic Programming in Algebraic Domains: Negation and Defaults)
• Knowledge Graphs  + (Resource Description Framework)
• Knowledge Graphs  + (Resource Description Framework)
• Responsibility Attribution in Parameterized Markovian Models  + (Responsibility Attribution in Parameterized Markovian Models)
• Responsibility and verification: Importance value in temporal logics  + (Responsibility and verification: Importance value in temporal logics)
• Restricted Chase Termination: You Want More than Fairness  + (Restricted Chase Termination: You Want More than Fairness)
• 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)
• Advanced Topics in Complexity Theory  + (Revision Circuits)
• Advanced Topics in Complexity Theory  + (Revision Randomized Computation)
• Seminar: Knowledge Representation  + (Revision: Propositional and First-Order Logic)
• Revisiting Acyclicity and Guardedness Criteria for Decidability of Existential Rules  + (Revisiting Acyclicity and Guardedness Criteria for Decidability of Existential Rules)
• 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)
• Complexity Theory  + (Rice's Theorem and PTime)
• Complexity Theory  + (Rice's Theorem for Recognizability)
• Riss 4.27  + (Riss 4.27)
• Riss 4.27 BlackBox  + (Riss 4.27 BlackBox)
• 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)
• LATPub439  + (Role-depth Bounded Least Common Subsumers by Completion for EL- and Prob-EL-TBoxes)
• Role-depth Bounded Least Common Subsumers for EL+ and ELI  + (Role-depth Bounded Least Common Subsumers for EL+ and ELI)
• LATPub527  + (Role-depth bounded Least Common Subsumer in Prob-EL with Nominals)
• Algorithmic Game Theory  + (Room occupied by RoboLab)
• Rough EL Classification  + (Rough EL Classification)
• Roughening the EL Envelope  + (Roughening the EL Envelope)
• Rule Extraction from Trained ANN: A Survey  + (Rule Extraction from Trained ANN: A Survey)
• Rule-Based OWL Modeling with ROWLTab Protégé Plugin  + (Rule-Based OWL Modeling with ROWLTab Protégé Plugin)
• Foundations of Semantic Web Technologies  + (Rules and N3)
• Knowledge Graphs  + (Rules for Querying Graphs)
• Foundations of Semantic Web Technologies  + (Rules on the Web)
• Runtime Characterisation of Triple Stores  + (Runtime Characterisation of Triple Stores)
• Runtime Verification Using a Temporal Description Logic  + (Runtime Verification Using a Temporal Description Logic)