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

• Access Policy Design Supported by FCA Methods  + (5662)
• Description Logics  + (5689)
• Wikidata: a free collaborative knowledgebase  + (57)
• From Tableaux to Automata for Description Logics  + (57)
• Deciding Unifiability and Computing Local Unifiers in the Description Logic EL without Top Constructor  + (57)
• The Triguarded Fragment of First-Order Logic  + (57)
• The Weak Completion Semantics and Equality  + (57)
• On the probabilistic bisimulation spectrum with silent moves  + (57)
• The effect of tossing coins in omega-automata  + (5710)
• A Terminological Knowledge Representation System with Complete Inference Algorithms  + (572)
• Unification in Varieties of Completely Regular Semigroups  + (572)
• Unification Theory  + (572)
• Orel: Database-Driven Reasoning for OWL 2 Profiles  + (573)
• Complexity of Axiom Pinpointing in the DL-Lite Family  + (573)
• Correcting Access Restrictions to a Consequence  + (573)
• LATPub439  + (573)
• Putting ABox Updates into Action  + (5749)
• Runtime Verification Using a Temporal Description Logic  + (5749)
• Formal Verification for Components and Connectors  + (5751)
• Logics and Networks for Human Reasoning  + (5769)
• Quantitative analysis under fairness constraints  + (5799)
• On the Complexity of Universality for Partially Ordered NFAs  + (58)
• Piecewise Testable Languages and Nondeterministic Automata  + (58)
• The Bayesian Ontology Language BEL  + (58)
• A Generic Approach for Large-Scale Ontological Reasoning in the Presence of Access Restrictions to the Ontology's Axioms  + (5823)
• Classifying Software Bug Reports Using Methods from Formal Concept Analysis  + (59)
• Denotational Linear Time Semantics and Sequential Composition  + (59)
• Probabilistic $ømega$-Automata  + (59)
• An Approach to Exploring Description Logic Knowledge Bases  + (5986)
• Hardness of Enumerating Pseudo-Intents in the Lectic Order  + (5986)

• A Closer Look at the Semantic Relationship between Datalog and Description Logics  + (6)
• A Formal Definition for the Expressive Power of Terminological Knowledge Representation Languages  + (6)
• BCU Mathematics Contest 2001 — Problems and Solutions  + (6)
• Efficient Skew Handling for Outer Joins in a Cloud Computing Environment  + (6)
• Kontraktionssätze auf verallgemeinerten metrischen Räumen  + (6)
• Linear Deductive Planning  + (6)
• Models and temporal logical specifications for timed component connectors  + (6)
• Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean Formulas  + (6)
• Smoke Test Planning using Answer Set Programming  + (6)
• The two cultures: mashing up Web 2.0 and the Semantic Web  + (6)
• Unification in the Description Logic EL  + (6)

• Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator  + (60)
• Deciding Bisimilarity and Similarity for Probabilistic Processes  + (60)
• Using Sums-of-Products for Non-standard Reasoning  + (6031)
• Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures  + (607)
• A Generic Approach for Correcting Access Restrictions to a Consequence  + (6088)
• On conditional decomposability  + (61)
• Modeling component connectors in Reo by constraint automata  + (61)
• Towards Approximative Most Specific Concepts by Completion for EL with Subjective Probabilities  + (613)
• Proceedings of the First International Workshop on Uncertainty in Description Logics  + (613)
• Conceptual Knowledge Acquisition Using Automatically Generated Large-Scale Semantic Networks  + (6208)
• Complexity in Union-Free Regular Languages  + (6224)
• The Credo Methodology (Extended Version)  + (6286)
• Complexity of Infimal Observable Superlanguages  + (63)
• Complexity of Verifying Nonblockingness in Modular Supervisory Control  + (63)
• A Core Method for the Weak Completion Semantics with Skeptical Abduction  + (63)
• A Rule-Based Language for Complex Event Processing and Reasoning  + (6333)
• On the Semantic Relationship between Datalog and Description Logics  + (6333)
• Query-Based Access Control for Ontologies  + (6333)
• Efficient Inferencing for OWL EL  + (6341)
• On model checking techniques for randomized distributed systems  + (6396)