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

• 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)
• Design and Verification of Systems with Exogenous Coordination Using Vereofy  + (10.1007/978-3-642-16561-0_15)
• The Credo Methodology (Extended Version)  + (10.1007/978-3-642-17071-3_3)
• SPARQL Beyond Subgraph Matching  + (10.1007/978-3-642-17746-0_16)
• Integrated Metamodeling and Diagnosis in OWL 2  + (10.1007/978-3-642-17746-0_17)
• Semantic MediaWiki  + (10.1007/978-3-642-19797-0_16)
• Modeling and Verification of Components and Connectors  + (10.1007/978-3-642-21455-4_4)
• Strong Equivalence for Argumentation Semantics Based on Conflict-Free Sets  + (10.1007/978-3-642-22152-1)
• State Complexity of Projected Languages  + (10.1007/978-3-642-22600-7_16)
• A Compositional Framework for Controller Synthesis  + (10.1007/978-3-642-23217-6_34)
• Web Reasoning and Rule Systems - 5th International Conference (RR 2011)  + (10.1007/978-3-642-23580-1)
• Towards Farsighted Dependencies for Existential Rules  + (10.1007/978-3-642-23580-1_4)
• Hierarchical Modeling and Formal Verification: An Industrial Case Study Using Reo and Vereofy  + (10.1007/978-3-642-24431-5_17)
• Concurrent Classification of EL Ontologies  + (10.1007/978-3-642-25073-6_20)
• ShareAlike Your Data: Self-referential Usage Policies for the Semantic Web  + (10.1007/978-3-642-25073-6_23)
• Graph Structures for Knowledge Representation and Reasoning - Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers  + (10.1007/978-3-642-29449-5)
• Extending Description Logic Rules  + (10.1007/978-3-642-30284-8_30)
• On the State and Computational Complexity of the Reverse of Acyclic Minimal DFAs  + (10.1007/978-3-642-31606-7_20)
• Waiting for Locks: How Long Does It Usually Take?  + (10.1007/978-3-642-32469-7_4)
• Playing Stochastic Games Precisely  + (10.1007/978-3-642-32940-1_25)