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

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