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

• A Data Warehouse Conceptual Data Model for Multidimensional Aggregation: a preliminary report  + (1)
• A Method of Estimating Oriented Surface Elements from Stereo Images  + (1)
• Answer-set programming encodings for argumentation frameworks  + (1)
• Dimensions of neural-symbolic integration — a structured survey  + (1)
• Employing Description Logics in Ambient Intelligence for Modeling and Reasoning about Complex Situations  + (1)
• Medizinische Aus- und Weiterbildung: Mit dem Computer lernen  + (1)
• Scale-Out Processing of Large RDF Datasets  + (1)
• The Subsumption Problem in the Fuzzy Description Logic ALC_FH  + (1)

• Leftmost Derivations of Propagating Scattered Context Grammars: A New Proof  + (10)
• Reasoning About Structured Objects: Knowledge Representation Meets Databases  + (10)
• PSpace Reasoning with the Description Logic ALCF(D)  + (10)
• FABEL  + (10)
• The Weak Completion Semantics and Counterexamples  + (10)
• Domain equations for probabilistic processes  + (10)
• A uniform framework for weighted decision diagrams and its implementation  + (10)
• Stochastic Timed Automata  + (10)
• The 10, 000 Facets of MDP Model Checking  + (10000)
• Inconsistency management in reactive multi-context systems  + (10021)
• The Concept Difference for EL-Terminologies using Hypergraphs  + (1008)
• SOFSEM 2017: Theory and Practice of Computer Science - 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings  + (10139)
• Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 201  + (1014)
• Rough EL Classification  + (1014)
• Towards Practical Uniform Interpolation and Forgetting for ALC TBoxes  + (1014)
• LATPub527  + (1014)
• About Subsumption in Fuzzy EL  + (1014)
• Hybrid EL-Unification is NP-Complete  + (1014)
• Axiomatizing EL^_gfp-General Concept Inclusions in the Presence of Untrusted Individuals  + (1014)
• Temporal Query Answering in DL-Lite  + (1014)
• SROIQ Syntax Approximation by Using Nominal Schemas  + (1014)
• Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code  + (102)
• Maximizing the Conditional Expected Reward for Reaching the Goal  + (10206)
• Rule-Based OWL Modeling with ROWLTab Protégé Plugin  + (10249)
• A computational logic approach to the belief bias in human syllogistic reasoning  + (10257)
• dARe -- Using Argumentation to Explain Conclusions from a Controlled Natural Language Knowledge Base  + (10351)
• Contextual reasoning: Usually birds can abductively fly  + (10377)
• A Medvedev Characterization of Recognizable Tree Series  + (10396)
• Regulated Nondeterminism in Pushdown Automata: The Non-Regular Case  + (104)
• Descriptional complexity of semi-conditional grammars  + (104)
• Reasoning About Actions: Steady Versus Stabilizing State Constraints  + (104)
• Not too Big, Not too Small…Complexities of Fixed-Domain Reasoning in First-Order and Description Logics  + (10423)
• Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes  + (10426)
• Towards Automated Variant Selection for Heterogeneous Tiled Architectures  + (10460)
• Computing Conditional Probabilities: Implementation and Evaluation  + (10469)
• Synthesis of Optimal Resilient Control Strategies  + (10482)
• Metric Temporal Description Logics with Interval-Rigid Names  + (10483)
• The Boolean Solution Problem from the Perspective of Predicate Logic  + (10483)
• Delayed-Choice Semantics for Pomset Families and Message Sequence Graphs  + (10500)
• Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms  + (10503)
• Proceedings of the International Workshop "What can FCA do for Artificial Intelligence?" (FCA4AI at IJCAI 2013), Beijing, China, August 5, 2013  + (1058)