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

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

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

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