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

• P ≠ P: Why Some Reasoning Problems Are More Tractable Than Others  + (16:00:55, 24 May 2016)
• On Descriptional Complexity of Partially Parallel Grammars  + (16:00:56, 24 May 2016)
• On Properties and State Complexity of Deterministic State-Partition Automata  + (16:00:57, 24 May 2016)
• A Description Logic Primer  + (16:00:58, 24 May 2016)
• Descriptional Complexity of Three-Nonterminal Scattered Context Grammars: An Improvemen  + (16:00:58, 24 May 2016)
• On the Complexity of k-Piecewise Testability and the Depth of Automata  + (16:00:59, 24 May 2016)
• Relative Observability in Coordination Control  + (16:00:59, 24 May 2016)
• Computing Stable Models for Nonmonotonic Existential Rules  + (16:01:03, 24 May 2016)
• On a Distributed Computation of Supervisors in Modular Supervisory Control  + (16:01:06, 24 May 2016)
• Wikidata: a free collaborative knowledgebase  + (16:01:07, 24 May 2016)
• Description Logics  + (16:01:08, 24 May 2016)
• D1.3.1: Collaborative Articulation of Enterprise Knowledge (Early prototypes)  + (16:01:09, 24 May 2016)
• Querying formal contexts with answer set programs  + (16:01:12, 24 May 2016)
• Order matters! Harnessing a world of orderings for reasoning over massive data  + (16:01:13, 24 May 2016)
• Visualisierung räumlich-zeitlicher Inhalte aus Wikidata  + (16:01:14, 24 May 2016)
• Multilevel coordination control of modular DES  + (16:01:14, 24 May 2016)
• Practical Reasoning with Nominals in the EL Family of Description Logics  + (16:01:15, 24 May 2016)
• Descriptional Complexity of Grammars Regulated by Context Conditions  + (16:01:16, 24 May 2016)
• A Note on the Cooperation in Rewriting Systems with Context-Dependency Checking  + (16:01:20, 24 May 2016)
• A categorical view on algebraic lattices in formal concept analysis  + (16:01:21, 24 May 2016)
• OWL: Yet to arrive on the Web of Data?  + (16:01:21, 24 May 2016)
• Specification of a common framework for characterizing alignment  + (16:01:22, 24 May 2016)
• On a structural property in the state complexity of projected regular languages  + (16:01:22, 24 May 2016)
• Efficient Rule-Based Inferencing for OWL EL  + (16:01:24, 24 May 2016)
• Blackhole State-Controlled Regulated Pushdown Automata  + (16:01:24, 24 May 2016)

• A note on controllability of deterministic context-free systems  + (16:01:25, 24 May 2016)

• A Note on Undecidability of Observation Consistency for Non-Regular Languages  + (16:01:27, 24 May 2016)
• ELK Reasoner: Architecture and Evaluation  + (16:01:28, 24 May 2016)
• D1.1.1 Conceptual models for enterprise knowledge (Initial Models)  + (16:01:29, 24 May 2016)
• SPARQL Beyond Subgraph Matching  + (16:01:30, 24 May 2016)
• Control of Distributed Systems: Tutorial and Overview  + (16:01:30, 24 May 2016)
• Formalizing Ontology Alignment and its Operations with Category Theory  + (16:01:33, 24 May 2016)
• SmartWeb: Mobile Access to the Semantic Web  + (16:01:33, 24 May 2016)
• Die zwei Kulturen  + (16:01:35, 24 May 2016)
• On Pure Multi-Pushdown Automata that Perform Complete Pushdown Pops  + (16:01:36, 24 May 2016)
• Efficient Separability of Regular Languages by Subsequences and Suffixes  + (16:01:37, 24 May 2016)
• Nonmonotonic Existential Rules for Non-Tree-Shaped Ontological Modelling  + (16:01:39, 24 May 2016)
• Visualisierung räumlich-zeitlicher Inhalte aus Wikidata  + (16:01:40, 24 May 2016)
• Practical Reasoning with OWL and Rules  + (16:01:41, 24 May 2016)
• Regulated Nondeterminism in PDAs: The Non-Regular Case  + (16:01:43, 24 May 2016)
• On the Terminating Derivation Mode in Cooperating Distributed Grammar Systems with Forbidding Components  + (16:01:45, 24 May 2016)
• ICCL-Forscher erhalten Auszeichnung auf weltgrößter Konferenz für Künstliche Intelligenz  + (16:01:45, 24 May 2016)
• A Note on Relative Observability in Coordination Control  + (16:01:47, 24 May 2016)
• Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator  + (16:01:47, 24 May 2016)
• Joint Proceedings of the 1st Joint International Workshop on Semantic Sensor Networks and Terra Cognita (SSN-TC 2015) and the 4th International Workshop on Ordering and Reasoning (OrdRing 2015)  + (16:01:48, 24 May 2016)
• On Algorithms and Extensions of Coordination Control of Discrete-Event Systems  + (16:01:49, 24 May 2016)
• A Note on Limited Pushdown Alphabets in Stateless Deterministic Pushdown Automata  + (16:01:54, 24 May 2016)
• Topological Clones and the Computational Complexity of Constraint Satisfaction Problems  + (16:01:54, 24 May 2016)
• Descriptional complexity of semi-conditional grammars  + (16:01:55, 24 May 2016)
• Semantic Wikipedia  + (16:01:56, 24 May 2016)
• Runtime Characterisation of Triple Stores  + (16:01:57, 24 May 2016)