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

• Wikidata: a free collaborative knowledgebase  + (78-85)
• On the Logical Characterisation of Performability Properties  + (780--792)
• Two Power-Decreasing Derivation Restrictions in Generalized Scattered Context Grammars  + (783-793)
• Positive Subsumption in Fuzzy EL with General t-norms  + (789-795)
• Die Zukunft der Wikis: Semantic Web  + (789-810)
• On conditionals  + (79--92)
• Kontraktionssätze auf verallgemeinerten metrischen Räumen  + (79-88)
• On Efficient Decision Preserving Translations of Score Systems into Probabilistic Systems.  + (79-93)
• Humans Reason Skeptically  + (797--832)
• Quantified Linear Temporal Logic over Probabilistic Systems with an Application to Vacuity Checking  + (7:1--7:18)
• Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features.  + (7:1–7:31)
• KRIS: Knowledge Representation and Inference System, System Description  + (8-14)
• The Bayesian Ontology reasoner is BORN!  + (8-14)
• Logik-basierte Wissensrepräsentation  + (8-16)
• On the complexity of entailment in existential conjunctive first-order logic with atomic negation  + (8-31)
• Description Logic Rules  + (80--84)
• Instance-based Non-standard Inferences in EL with Subjective Probabilities  + (80-98)
• LIFT-UP: Lifted First-Order Planning Under Uncertainty  + (80-99)
• Abstract Dialectical Frameworks Revisited  + (803--809)
• Cut-Free Calculi and Relational Semantics for Temporal STIT Logics  + (803-819)
• KEIM: A Toolkit for Automated Deduction  + (807-810)
• Terminological Logics with Modal Operators  + (808-814)
• The Connection between an Event Structure Semantics and an Operational Semantics for TCSP  + (81--104)
• A Suggestion for an n-ary Description Logic  + (81-85)
• Some Complexity Results about Essential Closed Sets  + (81-92)
• Fixed-Domain Reasoning for Description Logics  + (819 - 827)

• "Most of" leads to undecidability: Failure of adding frequencies to LTL  + (82--101)
• Formal Verification for Components and Connectors  + (82--101)

• Using Causal Relationships to Deal with the Ramification Problem in Action Formalisms Based on Description Logics  + (82-96)
• How Fuzzy is my Fuzzy Description Logic?  + (82-96)
• Approximating Resultants of Existential Second-Order Quantifier Elimination upon Universal Relational First-Order Formulas  + (82-98)
• Satisfiability of ECTL* with Constraints  + (826 - 855)
• Temporal Query Answering in the Description Logic EL (extended abstract)  + (83--87)
• FABEL  + (83-101)
• Integrating Reactive and Reflective Reasoning by Generating Rational Models  + (83-94)
• Simple restriction in context-free rewriting  + (837-846)
• Temporal Query Answering in a Fuzzy World  + (84-87)
• Conservative Extensions in the Lightweight Description Logic EL  + (84-99)
• PSPACE Reasoning for Graded Modal Logics  + (85-106)
• Logics and Networks for Human Reasoning  + (85-94)
• Decidability and Complexity of Fuzzy Description Logics  + (85–90)
• Instantiating Knowledge Bases in Abstract Dialectical Frameworks  + (86--101)
• Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access  + (86--103)
• Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes  + (86--94)
• Modeling and Querying Video Data: A Hybrid Approach  + (86-90)
• Effective algorithm for parameter back calculation - Geotechnical applications  + (86-97)
• Unification, Weak Unification, Upper Bound, Lower Bound and Generalization Problems  + (86-97)
• Atomic Cut Elimination for Classical Logic  + (86-97)
• Inconsistency Measurement based on Variables in Minimal Unsatisfiable Subsets  + (864-869)
• Multidimensional Data Models and Aggregation  + (87-106)
• Admissibility in Probabilistic Argumentation  + (87-98)
• System BV is NP-complete  + (87-99)