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

• Probabilistic Aspects of Score Systems  + (007)

• The Incredible ELK: From Polynomial Procedures to Efficient Reasoning with ℰℒ Ontologies  + (1)
• Description Logics  + (1)
• Complexities of Horn Description Logics  + (1)
• Leveraging Non-Lexical Knowledge for the Linked Open Data Web  + (1)
• The two cultures: mashing up Web 2.0 and the Semantic Web  + (1)
• Type-elimination-based Reasoning for the Description Logic SHIQbs using Decision Diagrams and Disjunctive Datalog  + (1)
• On restricted context-free grammars  + (1)
• On the descriptional complexity of scattered context grammars  + (1)
• Self-Regulating Finite Automata  + (1)
• Descriptional complexity of semi-conditional grammars  + (1)
• A Closer Look at the Semantic Relationship between Datalog and Description Logics  + (1)
• Reasoning About Structured Objects: Knowledge Representation Meets Databases  + (1)
• Die Beweisentwicklungsumgebung Omega-MKRP  + (1)
• A Formal Definition for the Expressive Power of Terminological Knowledge Representation Languages  + (1)
• PSPACE Reasoning for Graded Modal Logics  + (1)
• DNA-Computing - ein funktionales Modell im laborpraktischen Experiment  + (1)
• Automata-Theoretic Decision Procedures for Information Logics  + (1)
• E-Connections of Abstract Description Systems  + (1)
• Temporal Tableaux  + (1)
• Quantitative Temporal Logics: PSpace and below  + (1)
• Formal representation of complex SNOMED CT expressions  + (1)
• Small is again Beautiful in Description Logics  + (1)
• Axiom Pinpointing in General Tableaux  + (1)
• The Complexity of Lattice-Based Fuzzy Description Logics  + (1)
• On Language Equations with One-sided Concatenation  + (1)
• Coordination control of discrete-event systems revisited  + (1)
• The Integration of Connectionism and First-Order Knowledge Representation and Reasoning as a Challenge for Artificial Intelligence  + (1)
• The Bayesian Ontology Language BEL  + (1)
• Decidability and Complexity of Fuzzy Description Logics  + (1)
• Complexity of Universality and Related Problems for Partially Ordered NFAs  + (1)
• Where do business students turn for help? An empirical study on dictionary use in foreign-language learning  + (1)
• Complexity of Infimal Observable Superlanguages  + (1)
• Multi-Context Reasoning in Continuous Data-Flow Environments  + (1)
• On the Correspondence between Nested Calculi and Semantic Systems for Intuitionistic Logics  + (1)
• Approximating Operators and Semantics for Abstract Dialectical Frameworks  + (1)
• Summary Report of The First International Competition on Computational Models of Argumentation  + (1)
• Weighted Regular Tree Grammars with Storage  + (1)
• Compositional matrix-space models of language: Definitions, properties, and learning methods  + (1)
• The Connection between an Event Structure Semantics and an Operational Semantics for TCSP  + (1)
• Deciding Bisimilarity and Similarity for Probabilistic Processes  + (1)
• Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes  + (1)
• Models and temporal logical specifications for timed component connectors  + (1)
• Performability assessment by model checking of Markov reward models  + (1)
• Probabilistic $ømega$-Automata  + (1)
• Synthesis of Reo Connectors for Strategies and Controllers  + (1)
• Locks: Picking key methods for a scalable quantitative analysis  + (1)
• ProFeat: feature-oriented engineering for family-based probabilistic model checking  + (1)
• Foundations of probability-raising causality in Markov decision processes  + (1)