Search by property

This page provides a simple browsing interface for finding entities described by a property and a named value. Other available search interfaces include the page property search, and the ask query builder.

List of results

• 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)