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

• Reasoning About Cost-Utility Constraints in Probabilistic Models  + (10.1007/978-3-319-24537-9_1)
• Modeling Role-Based Systems with Exogenous Coordination  + (10.1007/978-3-319-30734-3_10)
• Markov Chains and Unambiguous Büchi Automata  + (10.1007/978-3-319-41528-4_2)
• Efficient Large Outer Joins over MapReduce  + (10.1007/978-3-319-43659-3_25)
• Greener Bits: Formal Analysis of Demand Response  + (10.1007/978-3-319-46520-3_21)
• Proceedings of the 15th International Semantic Web Conference (ISWC 2016), Part I  + (10.1007/978-3-319-46523-4)
• Ontologies for Knowledge Graphs: Breaking the Rules  + (10.1007/978-3-319-46523-4_23)
• A Practical Acyclicity Notion for Query Answering Over Horn-SRIQ Ontologies  + (10.1007/978-3-319-46523-4_5)
• Proceedings of the 15th International Semantic Web Conference (ISWC 2016), Part II  + (10.1007/978-3-319-46547-0)
• Inconsistency management in reactive multi-context systems  + (10.1007/978-3-319-48758-8_35)
• 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  + (10.1007/978-3-319-51963-0)
• dARe -- Using Argumentation to Explain Conclusions from a Controlled Natural Language Knowledge Base  + (10.1007/978-3-319-60045-1_35)
• Towards Automated Variant Selection for Heterogeneous Tiled Architectures  + (10.1007/978-3-319-63121-9_19)
• Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes  + (10.1007/978-3-319-63387-9_8)
• Computing Conditional Probabilities: Implementation and Evaluation  + (10.1007/978-3-319-66197-1_22)
• Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms  + (10.1007/978-3-319-66335-7_12)
• Synthesis of Optimal Resilient Control Strategies  + (10.1007/978-3-319-68167-2_27)
• Delayed-Choice Semantics for Pomset Families and Message Sequence Graphs  + (10.1007/978-3-319-68270-9_4)
• Tractable Query Answering for Expressive Ontologies and Existential Rules  + (10.1007/978-3-319-68288-4_10)
• Attributed Description Logics: Ontologies for Knowledge Graphs  + (10.1007/978-3-319-68288-4_25)
• Deciding Universality of ptNFAs is PSpace-Complete  + (10.1007/978-3-319-73117-9_29)
• Foundations of Software Science and Computation Structures - 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings  + (10.1007/978-3-319-89366-2)
• Energy-Utility Analysis of Probabilistic Systems with Exogenous Coordination  + (10.1007/978-3-319-90089-6_3)
• The 10, 000 Facets of MDP Model Checking  + (10.1007/978-3-319-91908-9_21)
• Formal Techniques for Distributed Objects, Components, and Systems - 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings  + (10.1007/978-3-319-92612-4)

• Efficient Model Construction for Horn Logic with VLog  + (10.1007/978-3-319-94205-6_44)

• Justifications for the Description Logics Knowledge Bases under the Fixed-Domain Semantics  + (10.1007/978-3-319-99906-7_12)
• Faceted Answer-Set Navigation  + (10.1007/978-3-319-99906-7_14)
• Efficient Computation of Time-Bounded Reachability Probabilities in Uniform Continuous-Time Markov Decision Processes  + (10.1007/978-3-540-24730-2_5)
• Comparative Branching-Time Semantics  + (10.1007/978-3-540-45187-7_32)
• Alternating-Time Stream Logic for Multi-agent Systems  + (10.1007/978-3-540-68265-3_12)
• Die zwei Kulturen  + (10.1007/978-3-540-72216-8)
• Conjunctive Queries for a Tractable Fragment of OWL 1.1  + (10.1007/978-3-540-76298-0_23)
• On-the-Fly Stuttering in the Construction of Deterministic $ømega$-Automata  + (10.1007/978-3-540-76336-9_7)
• On Decision Problems for Probabilistic Büchi Automata  + (10.1007/978-3-540-78499-9_21)
• Generating compact MTBDD-representations from Probmela specifications  + (10.1007/978-3-540-85114-1_7)
• Cheap Boolean Role Constructors for Description Logics  + (10.1007/978-3-540-87803-2_30)
• Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog  + (10.1007/978-3-540-88564-1_28)
• ASPARTIX: Implementing Argumentation Frameworks Using Answer-Set Programming  + (10.1007/978-3-540-89982-2)
• Probabilistic acceptors for languages over infinite words  + (10.1007/978-3-540-95891-8_3)
• A Note on the Generative Power of Some Simple Variants of Context-Free Grammars Regulated by Context Conditions  + (10.1007/978-3-642-00982-2_47)
• Model checking linear-time properties of probabilistic systems  + (10.1007/978-3-642-01492-5_13)
• A uniform framework for modeling and verifying components and connectors  + (10.1007/978-3-642-02053-7_13)
• When are timed automata determinizable?  + (10.1007/978-3-642-02930-1_4)
• The effect of tossing coins in omega-automata  + (10.1007/978-3-642-04081-8_2)
• Formal Verification for Components and Connectors  + (10.1007/978-3-642-04167-9_5)
• Quantitative analysis under fairness constraints  + (10.1007/978-3-642-04761-9_12)
• Complexity in Union-Free Regular Languages  + (10.1007/978-3-642-14455-4_24)
• Efficient Inferencing for OWL EL  + (10.1007/978-3-642-15675-5_21)
• On the Semantic Relationship between Datalog and Description Logics  + (10.1007/978-3-642-15918-3_8)
• On model checking techniques for randomized distributed systems  + (10.1007/978-3-642-16265-7_1)